rustc_borrowck::polonius::legacy::loan_invalidations

Function emit_loan_invalidations

Source 
pub(super) fn emit_loan_invalidations<'tcx>(
    tcx: TyCtxt<'tcx>,
    facts: &mut PoloniusFacts,
    body: &Body<'tcx>,
    location_table: &PoloniusLocationTable,
    borrow_set: &BorrowSet<'tcx>,
)
Expand description

Emit loan_invalidated_at facts.