// MIR for `f` after built

fn f(_1: Void) -> ! {
    debug v => _1;
    let mut _0: !;

    bb0: {
        PlaceMention(_1);
        goto -> bb1;
    }

    bb1: {
        FakeRead(ForMatchedPlace(None), _1);
        unreachable;
    }

    bb2: {
        return;
    }
}