1 // Validation/SB changes why we fail
2 // compile-flags: -Zmiri-disable-validation -Zmiri-disable-stacked-borrows
4 // error-pattern: deallocating stack variable memory using Rust heap deallocation operation
8 let bad_box = unsafe { std::mem::transmute::<&i32, Box<i32>>(&x) };