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:11:25: 11:26
6 let mut _0: u8; // return place in scope 0 at $DIR/matches_u8.rs:11:34: 11:36
7 let mut _2: isize; // in scope 0 at $DIR/matches_u8.rs:13:9: 13:13
10 _2 = discriminant(_1); // scope 0 at $DIR/matches_u8.rs:13:9: 13:13
11 switchInt(move _2) -> [0_isize: bb2, otherwise: bb1]; // scope 0 at $DIR/matches_u8.rs:13:9: 13:13
15 _0 = const 1_u8; // scope 0 at $DIR/matches_u8.rs:14:17: 14:18
16 goto -> bb3; // scope 0 at $DIR/matches_u8.rs:12:5: 15:6
20 _0 = const 0_u8; // scope 0 at $DIR/matches_u8.rs:13:17: 13:18
21 goto -> bb3; // scope 0 at $DIR/matches_u8.rs:12:5: 15:6
25 return; // scope 0 at $DIR/matches_u8.rs:16:2: 16:2