src/tools/miri/tests/fail/never_transmute_void.rs

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