1 //@compile-flags: -Zmiri-permissive-provenance
3 // Make sure we cannot use raw ptrs to access a local that
4 // we took the direct address of.
7 let raw = &mut x as *mut i32 as usize as *mut i32;
10 *raw = 13; //~ ERROR: /write access .* no exposed tags/