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

// EMIT_MIR_FOR_EACH_PANIC_STRATEGY

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

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