]> git.proxmox.com Git - rustc.git/blobdiff - src/test/compile-fail/borrowck/borrowck-use-uninitialized-in-cast.rs
New upstream version 1.23.0+dfsg1
[rustc.git] / src / test / compile-fail / borrowck / borrowck-use-uninitialized-in-cast.rs
index 3f429bbd4b63473016bd91ff94b29bcce3fa119e..bdd90a3ce1ec2394dc7cbcdae50949d434b43c19 100644 (file)
@@ -8,11 +8,16 @@
 // option. This file may not be copied, modified, or distributed
 // except according to those terms.
 
+// revisions: ast mir
+//[mir]compile-flags: -Z emit-end-regions -Z borrowck-mir
+
 // Check that we detect unused values that are cast to other things.
 // The problem was specified to casting to `*`, as creating unsafe
 // pointers was not being fully checked. Issue #20791.
 
 fn main() {
     let x: &i32;
-    let y = x as *const i32; //~ ERROR use of possibly uninitialized variable: `*x`
+    let y = x as *const i32; //[ast]~ ERROR use of possibly uninitialized variable: `*x` [E0381]
+                             //[mir]~^ ERROR (Ast) [E0381]
+                             //[mir]~| ERROR (Mir) [E0381]
 }