blob: 9815569b607f23645fa474c35d155f3b5a6491be [file] [log] [blame]
// Validation makes this fail in the wrong place
//@compile-flags: -Zmiri-disable-validation
fn main() {
let b = Box::new(42);
let g = unsafe { std::mem::transmute::<&Box<usize>, &fn(i32)>(&b) };
(*g)(42) //~ ERROR: it does not point to a function
}