1 // Make sure that we cannot pass by argument a `&mut` that got already invalidated.
6 let xraw = x as *mut _;
7 let xref = unsafe { &mut *xraw };
8 let _val = unsafe { *xraw }; // invalidate xref
9 foo(xref); //~ ERROR: /retag .* tag does not exist in the borrow stack/