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.