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

   1 // Make sure that we cannot return a `&mut` that got already invalidated, not even in an `Option`.
   2 fn foo(x: &mut (i32, i32)) -> Option<&mut i32> {
   3     let xraw = x as *mut (i32, i32);
   4     let ret = unsafe { &mut (*xraw).1 }; // let-bind to avoid 2phase
   5     let ret = Some(ret);
   6     let _val = unsafe { *xraw }; // invalidate xref
   7     ret //~ ERROR: /retag .* tag does not exist in the borrow stack/
   8 }
   9
  10 fn main() {
  11     match foo(&mut (1, 2)) {
  12         Some(_x) => {}
  13         None => {}
  14     }
  15 }