diff options
Diffstat (limited to 'src/tools/miri/tests/fail/function_pointers')
| -rw-r--r-- | src/tools/miri/tests/fail/function_pointers/execute_memory.rs | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/tools/miri/tests/fail/function_pointers/execute_memory.rs b/src/tools/miri/tests/fail/function_pointers/execute_memory.rs index 967933e769b..89d8d22a9dd 100644 --- a/src/tools/miri/tests/fail/function_pointers/execute_memory.rs +++ b/src/tools/miri/tests/fail/function_pointers/execute_memory.rs @@ -1,10 +1,8 @@ // Validation makes this fail in the wrong place //@compile-flags: -Zmiri-disable-validation -#![feature(box_syntax)] - fn main() { - let x = box 42; + let x = Box::new(42); unsafe { let f = std::mem::transmute::<Box<i32>, fn()>(x); f() //~ ERROR: function pointer but it does not point to a function |