| // MIR for `f` 0 mir_map |
| |
| fn f(_1: Void) -> ! { |
| debug v => _1; // in scope 0 at $DIR/issue-72181-1.rs:10:6: 10:7 |
| let mut _0: !; // return place in scope 0 at $DIR/issue-72181-1.rs:10:18: 10:19 |
| let mut _2: !; // in scope 0 at $DIR/issue-72181-1.rs:10:20: 12:2 |
| let mut _3: !; // in scope 0 at $DIR/issue-72181-1.rs:11:5: 11:15 |
| |
| bb0: { |
| StorageLive(_2); // scope 0 at $DIR/issue-72181-1.rs:10:20: 12:2 |
| StorageLive(_3); // scope 0 at $DIR/issue-72181-1.rs:11:5: 11:15 |
| FakeRead(ForMatchedPlace, _1); // scope 0 at $DIR/issue-72181-1.rs:11:11: 11:12 |
| unreachable; // scope 0 at $DIR/issue-72181-1.rs:11:11: 11:12 |
| } |
| |
| bb1: { |
| unreachable; // scope 0 at $DIR/issue-72181-1.rs:11:5: 11:15 |
| } |
| |
| bb2: { |
| StorageDead(_3); // scope 0 at $DIR/issue-72181-1.rs:11:14: 11:15 |
| unreachable; // scope 0 at $DIR/issue-72181-1.rs:10:20: 12:2 |
| } |
| |
| bb3: { |
| StorageDead(_2); // scope 0 at $DIR/issue-72181-1.rs:12:1: 12:2 |
| return; // scope 0 at $DIR/issue-72181-1.rs:12:2: 12:2 |
| } |
| } |