// MIR for `match_bool` 0 mir_map fn match_bool(_1: bool) -> usize { debug x => _1; // in scope 0 at $DIR/simple-match.rs:5:15: 5:16 let mut _0: usize; // return place in scope 0 at $DIR/simple-match.rs:5:27: 5:32 bb0: { FakeRead(ForMatchedPlace, _1); // scope 0 at $DIR/simple-match.rs:6:11: 6:12 switchInt(_1) -> [false: bb3, otherwise: bb2]; // scope 0 at $DIR/simple-match.rs:7:9: 7:13 } bb1 (cleanup): { resume; // scope 0 at $DIR/simple-match.rs:5:1: 10:2 } bb2: { falseEdges -> [real: bb4, imaginary: bb3]; // scope 0 at $DIR/simple-match.rs:7:9: 7:13 } bb3: { _0 = const 20usize; // scope 0 at $DIR/simple-match.rs:8:14: 8:16 // ty::Const // + ty: usize // + val: Value(Scalar(0x00000014)) // mir::Constant // + span: $DIR/simple-match.rs:8:14: 8:16 // + literal: Const { ty: usize, val: Value(Scalar(0x00000014)) } goto -> bb5; // scope 0 at $DIR/simple-match.rs:6:5: 9:6 } bb4: { _0 = const 10usize; // scope 0 at $DIR/simple-match.rs:7:17: 7:19 // ty::Const // + ty: usize // + val: Value(Scalar(0x0000000a)) // mir::Constant // + span: $DIR/simple-match.rs:7:17: 7:19 // + literal: Const { ty: usize, val: Value(Scalar(0x0000000a)) } goto -> bb5; // scope 0 at $DIR/simple-match.rs:6:5: 9:6 } bb5: { goto -> bb6; // scope 0 at $DIR/simple-match.rs:10:2: 10:2 } bb6: { return; // scope 0 at $DIR/simple-match.rs:10:2: 10:2 } }