// MIR for `f` after built

fn f(_1: Void) -> ! {
    debug v => _1;                       // in scope 0 at $DIR/issue_72181_1.rs:+0:6: +0:7
    let mut _0: !;                       // return place in scope 0 at $DIR/issue_72181_1.rs:+0:18: +0:19
    let mut _2: !;                       // in scope 0 at $DIR/issue_72181_1.rs:+0:20: +2:2
    let mut _3: !;                       // in scope 0 at $DIR/issue_72181_1.rs:+1:5: +1:15

    bb0: {
        StorageLive(_2);                 // scope 0 at $DIR/issue_72181_1.rs:+0:20: +2:2
        StorageLive(_3);                 // scope 0 at $DIR/issue_72181_1.rs:+1:5: +1:15
        FakeRead(ForMatchedPlace(None), _1); // scope 0 at $DIR/issue_72181_1.rs:+1:11: +1:12
        unreachable;                     // scope 0 at $DIR/issue_72181_1.rs:+1:11: +1:12
    }

    bb1: {
        unreachable;                     // scope 0 at $DIR/issue_72181_1.rs:+1:5: +1:15
    }

    bb2: {
        StorageDead(_3);                 // scope 0 at $DIR/issue_72181_1.rs:+1:14: +1:15
        unreachable;                     // scope 0 at $DIR/issue_72181_1.rs:+0:20: +2:2
    }

    bb3: {
        StorageDead(_2);                 // scope 0 at $DIR/issue_72181_1.rs:+2:1: +2:2
        return;                          // scope 0 at $DIR/issue_72181_1.rs:+2:2: +2:2
    }
}