src/tools/miri/tests/fail/stacked_borrows/illegal_read6.rs

   1 // Creating a shared reference does not leak the data to raw pointers.
   2 fn main() {
   3     unsafe {
   4         let x = &mut 0;
   5         let raw = x as *mut _;
   6         let x = &mut *x; // kill `raw`
   7         let _y = &*x; // this should not activate `raw` again
   8         let _val = *raw; //~ ERROR: /read access .* tag does not exist in the borrow stack/
   9     }
  10 }