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

   1 unsafe fn test(mut x: Box<i32>, y: *const i32) -> i32 {
   2     // We will call this in a way that x and y alias.
   3     *x = 5;
   4     std::mem::forget(x);
   5     *y //~ERROR: weakly protected
   6 }
   7
   8 fn main() {
   9     unsafe {
  10         let mut v = 42;
  11         let ptr = &mut v as *mut i32;
  12         test(Box::from_raw(ptr), ptr);
  13     }
  14 }