Function rustc_borrowck::polonius::loan_kills::emit_loan_kills
source · 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.