// 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
    }
}