// Test that the fake borrows for matches are removed after borrow checking.

// ignore-wasm32-bare

#![feature(nll)]

fn match_guard(x: Option<&&i32>, c: bool) -> i32 {
    match x {
        Some(0) if c => 0,
        _ => 1,
    }
}

fn main() {
    match_guard(None, true);
}

// END RUST SOURCE

// START rustc.match_guard.CleanupNonCodegenStatements.before.mir
// bb0: {
//     FakeRead(ForMatchedPlace, _1);
//     _3 = discriminant(_1);
//     switchInt(move _3) -> [1isize: bb5, otherwise: bb2];
// }
// bb1: {
//     goto -> bb7;
// }
// bb2: {
//     goto -> bb8;
// }
// bb3: {
//     unreachable;
// }
// bb4: {
//     goto -> bb2;
// }
// bb5: {
//     switchInt((*(*((_1 as Some).0: &'<empty> &'<empty> i32)))) -> [0i32: bb1, otherwise: bb2];
// }
// bb6: {
//     _0 = const 0i32;
//     goto -> bb9;
// }
// bb7: {
//     _4 = &shallow _1;
//     _5 = &shallow ((_1 as Some).0: &'<empty> &'<empty> i32);
//     _6 = &shallow (*((_1 as Some).0: &'<empty> &'<empty> i32));
//     _7 = &shallow (*(*((_1 as Some).0: &'<empty> &'<empty> i32)));
//     StorageLive(_8);
//     _8 = _2;
//     FakeRead(ForMatchGuard, _4);
//     FakeRead(ForMatchGuard, _5);
//     FakeRead(ForMatchGuard, _6);
//     FakeRead(ForMatchGuard, _7);
//     switchInt(move _8) -> [false: bb4, otherwise: bb6];
// }
// bb8: {
//     _0 = const 1i32;
//     goto -> bb9;
// }
// bb9: {
//     StorageDead(_8);
//     return;
// }
// bb10 (cleanup): {
//     resume;
// }
// END rustc.match_guard.CleanupNonCodegenStatements.before.mir

// START rustc.match_guard.CleanupNonCodegenStatements.after.mir
// bb0: {
//     nop;
//     _3 = discriminant(_1);
//     switchInt(move _3) -> [1isize: bb5, otherwise: bb2];
// }
// bb1: {
//     goto -> bb7;
// }
// bb2: {
//     goto -> bb8;
// }
// bb3: {
//     unreachable;
// }
// bb4: {
//     goto -> bb2;
// }
// bb5: {
//     switchInt((*(*((_1 as Some).0: &'<empty> &'<empty> i32)))) -> [0i32: bb1, otherwise: bb2];
// }
// bb6: {
//     _0 = const 0i32;
//     goto -> bb9;
// }
// bb7: {
//     nop;
//     nop;
//     nop;
//     nop;
//     StorageLive(_8);
//     _8 = _2;
//     nop;
//     nop;
//     nop;
//     nop;
//     switchInt(move _8) -> [false: bb4, otherwise: bb6];
// }
// bb8: {
//     _0 = const 1i32;
//     goto -> bb9;
// }
// bb9: {
//     StorageDead(_8);
//     return;
// }
// bb10 (cleanup): {
//     resume;
// }
// END rustc.match_guard.CleanupNonCodegenStatements.after.mir