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