Merge pull request #337 from JohnTitor/add-ices

Add 3 ICEs

Author: Alexendoo

ices/71212.rs

@@ -0,0 +1,7 @@
+#![feature(const_mut_refs)]
+
+const FOO: &mut i32 = &mut 4;
+
+fn main() {
+    *FOO = 2;
+}

ices/71297.rs

@@ -0,0 +1,3 @@
+async fn a(x | s: String) {}
+
+fn main() {}

ices/71316.sh

@@ -0,0 +1,16 @@
+#!/bin/bash
+
+rustc -Zunleash-the-miri-inside-of-you - << END
+
+#![feature(const_raw_ptr_deref)]
+#![feature(const_mut_refs)]
+#![allow(const_err)]
+
+use std::cell::UnsafeCell;
+
+// make sure we do not just intern this as mutable
+const MUTABLE_BEHIND_RAW: *mut i32 = &UnsafeCell::new(42) as *const _ as *mut _;
+
+fn main() {}
+
+END