Function rustc_borrowck::polonius::emit_loan_invalidations_facts

fn emit_loan_invalidations_facts<'tcx>(
    all_facts: &mut AllFacts,
    tcx: TyCtxt<'tcx>,
    location_table: &LocationTable,
    body: &Body<'tcx>,
    borrow_set: &BorrowSet<'tcx>
)

Emit facts about loan invalidations.