ensure that -Zmiri-check-number-validity detects integers with provenance

[rust.git] / tests / compile-fail / ptr_integer_array_transmute.rs

// compile-flags: -Zmiri-check-number-validity

fn main() {
    let r = &mut 42;
    let _i: [usize; 1] = unsafe { std::mem::transmute(r) }; //~ ERROR encountered a pointer, but expected plain (non-pointer) bytes
}