Function rustc_borrowck::constraint_generation::record_killed_borrows_for_local

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

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