1 - // MIR for `exhaustive_match` before MatchBranchSimplification
2 + // MIR for `exhaustive_match` after MatchBranchSimplification
4 fn exhaustive_match(_1: E) -> u8 {
5 debug e => _1; // in scope 0 at $DIR/matches_u8.rs:+0:25: +0:26
6 let mut _0: u8; // return place in scope 0 at $DIR/matches_u8.rs:+0:34: +0:36
7 let mut _2: isize; // in scope 0 at $DIR/matches_u8.rs:+2:9: +2:13
10 _2 = discriminant(_1); // scope 0 at $DIR/matches_u8.rs:+1:11: +1:12
11 switchInt(move _2) -> [0: bb3, 1: bb1, otherwise: bb2]; // scope 0 at $DIR/matches_u8.rs:+1:5: +1:12
15 _0 = const 1_u8; // scope 0 at $DIR/matches_u8.rs:+3:17: +3:18
16 goto -> bb4; // scope 0 at $DIR/matches_u8.rs:+3:17: +3:18
20 unreachable; // scope 0 at $DIR/matches_u8.rs:+1:11: +1:12
24 _0 = const 0_u8; // scope 0 at $DIR/matches_u8.rs:+2:17: +2:18
25 goto -> bb4; // scope 0 at $DIR/matches_u8.rs:+2:17: +2:18
29 return; // scope 0 at $DIR/matches_u8.rs:+5:2: +5:2