// MIR for `main` 0 mir_map fn main() -> () { let mut _0: (); // return place in scope 0 at $DIR/issue-49232.rs:5:11: 5:11 let mut _1: (); // in scope 0 at $DIR/issue-49232.rs:5:1: 15:2 let _2: i32; // in scope 0 at $DIR/issue-49232.rs:7:13: 7:19 let mut _3: bool; // in scope 0 at $DIR/issue-49232.rs:8:19: 8:23 let mut _4: !; // in scope 0 at $DIR/issue-49232.rs:10:25: 10:30 let _5: (); // in scope 0 at $DIR/issue-49232.rs:13:9: 13:22 let mut _6: &i32; // in scope 0 at $DIR/issue-49232.rs:13:14: 13:21 scope 1 { debug beacon => _2; // in scope 1 at $DIR/issue-49232.rs:7:13: 7:19 } bb0: { goto -> bb1; // scope 0 at $DIR/issue-49232.rs:6:5: 14:6 } bb1: { falseUnwind -> [real: bb3, cleanup: bb4]; // scope 0 at $DIR/issue-49232.rs:6:5: 14:6 } bb2: { goto -> bb14; // scope 0 at $DIR/issue-49232.rs:15:2: 15:2 } bb3: { StorageLive(_2); // scope 0 at $DIR/issue-49232.rs:7:13: 7:19 StorageLive(_3); // scope 0 at $DIR/issue-49232.rs:8:19: 8:23 _3 = const true; // scope 0 at $DIR/issue-49232.rs:8:19: 8:23 // ty::Const // + ty: bool // + val: Value(Scalar(0x01)) // mir::Constant // + span: $DIR/issue-49232.rs:8:19: 8:23 // + literal: Const { ty: bool, val: Value(Scalar(0x01)) } FakeRead(ForMatchedPlace, _3); // scope 0 at $DIR/issue-49232.rs:8:19: 8:23 switchInt(_3) -> [false: bb5, otherwise: bb6]; // scope 0 at $DIR/issue-49232.rs:9:17: 9:22 } bb4 (cleanup): { resume; // scope 0 at $DIR/issue-49232.rs:5:1: 15:2 } bb5: { falseEdge -> [real: bb7, imaginary: bb6]; // scope 0 at $DIR/issue-49232.rs:9:17: 9:22 } bb6: { _0 = const (); // scope 0 at $DIR/issue-49232.rs:10:25: 10:30 // ty::Const // + ty: () // + val: Value(Scalar()) // mir::Constant // + span: $DIR/issue-49232.rs:10:25: 10:30 // + literal: Const { ty: (), val: Value(Scalar()) } goto -> bb8; // scope 0 at $DIR/issue-49232.rs:10:25: 10:30 } bb7: { _2 = const 4_i32; // scope 0 at $DIR/issue-49232.rs:9:26: 9:27 // ty::Const // + ty: i32 // + val: Value(Scalar(0x00000004)) // mir::Constant // + span: $DIR/issue-49232.rs:9:26: 9:27 // + literal: Const { ty: i32, val: Value(Scalar(0x00000004)) } goto -> bb12; // scope 0 at $DIR/issue-49232.rs:8:13: 11:14 } bb8: { StorageDead(_3); // scope 0 at $DIR/issue-49232.rs:12:10: 12:11 goto -> bb9; // scope 0 at $DIR/issue-49232.rs:10:25: 10:30 } bb9: { StorageDead(_2); // scope 0 at $DIR/issue-49232.rs:14:5: 14:6 goto -> bb2; // scope 0 at $DIR/issue-49232.rs:10:25: 10:30 } bb10: { unreachable; // scope 0 at $DIR/issue-49232.rs:10:25: 10:30 } bb11: { goto -> bb12; // scope 0 at $DIR/issue-49232.rs:8:13: 11:14 } bb12: { FakeRead(ForLet, _2); // scope 0 at $DIR/issue-49232.rs:7:13: 7:19 StorageDead(_3); // scope 0 at $DIR/issue-49232.rs:12:10: 12:11 StorageLive(_5); // scope 1 at $DIR/issue-49232.rs:13:9: 13:22 StorageLive(_6); // scope 1 at $DIR/issue-49232.rs:13:14: 13:21 _6 = &_2; // scope 1 at $DIR/issue-49232.rs:13:14: 13:21 _5 = const std::mem::drop::<&i32>(move _6) -> [return: bb13, unwind: bb4]; // scope 1 at $DIR/issue-49232.rs:13:9: 13:22 // ty::Const // + ty: fn(&i32) {std::mem::drop::<&i32>} // + val: Value(Scalar()) // mir::Constant // + span: $DIR/issue-49232.rs:13:9: 13:13 // + literal: Const { ty: fn(&i32) {std::mem::drop::<&i32>}, val: Value(Scalar()) } } bb13: { StorageDead(_6); // scope 1 at $DIR/issue-49232.rs:13:21: 13:22 StorageDead(_5); // scope 1 at $DIR/issue-49232.rs:13:22: 13:23 _1 = const (); // scope 0 at $DIR/issue-49232.rs:6:10: 14:6 // ty::Const // + ty: () // + val: Value(Scalar()) // mir::Constant // + span: $DIR/issue-49232.rs:6:10: 14:6 // + literal: Const { ty: (), val: Value(Scalar()) } StorageDead(_2); // scope 0 at $DIR/issue-49232.rs:14:5: 14:6 goto -> bb1; // scope 0 at $DIR/issue-49232.rs:6:5: 14:6 } bb14: { return; // scope 0 at $DIR/issue-49232.rs:15:2: 15:2 } }