]> git.lizzy.rs Git - rust.git/blobdiff - src/test/ui/consts/miri_unleashed/mutable_references.rs
Bless miri unleashed test now that errors are mandatory
[rust.git] / src / test / ui / consts / miri_unleashed / mutable_references.rs
index 5f9888053a1965e1e0c1b1c753bc59e16588131c..59dafcbf4d50c06fef31a564b2491bf0285f6592 100644 (file)
@@ -6,12 +6,15 @@
 // a test demonstrating what things we could allow with a smarter const qualification
 
 static FOO: &&mut u32 = &&mut 42;
+//~^ WARN: skipping const checks
 
 static BAR: &mut () = &mut ();
+//~^ WARN: skipping const checks
 
 struct Foo<T>(T);
 
 static BOO: &mut Foo<()> = &mut Foo(());
+//~^ WARN: skipping const checks
 
 struct Meh {
     x: &'static UnsafeCell<i32>,
@@ -21,15 +24,15 @@ unsafe impl Sync for Meh {}
 
 static MEH: Meh = Meh {
     x: &UnsafeCell::new(42),
+    //~^ WARN: skipping const checks
 };
 
 static OH_YES: &mut i32 = &mut 42;
+//~^ WARN: skipping const checks
 
 fn main() {
     unsafe {
-        *MEH.x.get() = 99; //~ WARN skipping const checks
-        //~^ WARN skipping const checks
+        *MEH.x.get() = 99;
     }
     *OH_YES = 99; //~ ERROR cannot assign to `*OH_YES`, as `OH_YES` is an immutable static item
-    //~^ WARN skipping const checks
 }