1 // This should fail even without validation
2 // compile-flags: -Zmiri-disable-validation
4 #![feature(never_type)]
5 #![allow(unused, invalid_value)]
10 match v {} //~ ERROR entered unreachable code
14 let v: Void = unsafe {
15 std::mem::transmute::<(), Void>(())
17 f(v); //~ inside call to `f`