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

   1 use std::ptr::NonNull;
   2
   3 fn main() {
   4     unsafe {
   5         let x = &mut 0;
   6         let mut ptr1 = NonNull::from(x);
   7         let mut ptr2 = ptr1.clone();
   8         let raw1 = ptr1.as_mut();
   9         let _raw2 = ptr2.as_mut();
  10         let _val = *raw1; //~ ERROR: /read access .* tag does not exist in the borrow stack/
  11     }
  12 }