3 fn empty() -> Option<Empty> {
13 if let Some(bomb) = empty() {
22 // START rustc.main.UnreachablePropagation.before.mir
25 // _4 = move ((_2 as Some).0: Empty);
29 // switchInt(_6) -> [false: bb4, otherwise: bb5];
36 // _5 = const loop_forever() -> bb6;
45 // END rustc.main.UnreachablePropagation.before.mir
46 // START rustc.main.UnreachablePropagation.after.mir
49 // _4 = move ((_2 as Some).0: Empty);
56 // _5 = const loop_forever() -> bb5;
65 // END rustc.main.UnreachablePropagation.after.mir