//@compile-flags: -Zmiri-permissive-provenance

// Make sure we cannot use raw ptrs to access a local that
// we took the direct address of.
fn main() {
    let mut x = 42;
    let raw = &mut x as *mut i32 as usize as *mut i32;
    let _ptr = &mut x;
    unsafe {
        *raw = 13; //~ ERROR: /write access .* no exposed tags/
    }
}