blob: 7def08ece220b09d7babc4741428ada79e1ee3e3 [file] [log] [blame]
// 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(None), _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
}
}