Function rustc_mir::borrow_check::constraint_generation::record_killed_borrows_for_local

pub(in borrow_check::constraint_generation) 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.