rust/tests/compile-fail/stack_free.rs
2020-03-19 08:25:08 +01:00

11 lines
326 B
Rust

// Validation/SB changes why we fail
// compile-flags: -Zmiri-disable-validation -Zmiri-disable-stacked-borrows
// error-pattern: deallocating `Stack` memory using `Machine(Rust)` deallocation operation
fn main() {
let x = 42;
let bad_box = unsafe { std::mem::transmute::<&i32, Box<i32>>(&x) };
drop(bad_box);
}