[][src]Function rustc_mir::borrow_check::constraint_generation::record_killed_borrows_for_local

fn record_killed_borrows_for_local(
    all_facts: &mut PoloniusFacts<RustcFacts>,
    borrow_set: &BorrowSet<'_>,
    location_table: &LocationTable,
    local: Local,
    location: Location
)

When recording facts for Polonius, records the borrows on the specified local as killed.