tests/mir-opt/issue_72181_1.rs

   1 // compile-flags: -Z mir-opt-level=1
   2 // Regression test for #72181, this ICE requires `-Z mir-opt-level=1` flags.
   3
   4 #![feature(never_type)]
   5 #![allow(unused, invalid_value)]
   6
   7 enum Void {}
   8
   9 // EMIT_MIR issue_72181_1.f.built.after.mir
  10 fn f(v: Void) -> ! {
  11     match v {}
  12 }
  13
  14 // EMIT_MIR issue_72181_1.main.built.after.mir
  15 fn main() {
  16     let v: Void = unsafe {
  17         std::mem::transmute::<(), Void>(())
  18     };
  19
  20     f(v);
  21 }