// Validation makes this fail in the wrong place
-// compile-flags: -Zmir-emit-validate=0
+// compile-flags: -Zmiri-disable-validation
#![feature(box_syntax)]
let x = box 42;
unsafe {
let f = std::mem::transmute::<Box<i32>, fn()>(x);
- f() //~ ERROR constant evaluation error
- //~^ NOTE tried to treat a memory pointer as a function pointer
+ f() //~ ERROR function pointer but it does not point to a function
}
}