1 // This should fail even without validation
2 //@compile-flags: -Zmiri-disable-validation
3 //@require-annotations-for-level: ERROR
5 #![feature(never_type)]
6 #![allow(unused, invalid_value)]
10 pub struct Void(VoidI);
12 pub fn f(v: Void) -> ! {
13 match v.0 {} //~ ERROR: entering unreachable code
18 let v = unsafe { std::mem::transmute::<(), m::Void>(()) };
19 m::f(v); //~ NOTE: inside `main`