Function rustc_borrowck::polonius::loan_invalidations::emit_loan_invalidations
source ยท pub(super) fn emit_loan_invalidations<'tcx>(
tcx: TyCtxt<'tcx>,
all_facts: &mut AllFacts,
location_table: &LocationTable,
body: &Body<'tcx>,
borrow_set: &BorrowSet<'tcx>,
)
Expand description
Emit loan_invalidated_at
facts.