pub(super) fn emit_loan_kills<'tcx>(
    tcx: TyCtxt<'tcx>,
    all_facts: &mut AllFacts,
    location_table: &LocationTable,
    body: &Body<'tcx>,
    borrow_set: &BorrowSet<'tcx>
)
Expand description

Emit loan_killed_at and cfg_edge facts at the same time.