src/test/mir-opt/unreachable_diverging.rs

   1 pub enum Empty {}
   2
   3 fn empty() -> Option<Empty> {
   4     None
   5 }
   6
   7 fn loop_forever() {
   8     loop {}
   9 }
  10
  11 // EMIT_MIR unreachable_diverging.main.UnreachablePropagation.diff
  12 fn main() {
  13     let x = true;
  14     if let Some(bomb) = empty() {
  15         if x {
  16             loop_forever()
  17         }
  18         match bomb {}
  19     }
  20 }