Function rustc_borrowck::polonius::emit_cfg_and_loan_kills_facts
source ยท fn emit_cfg_and_loan_kills_facts<'tcx>(
all_facts: &mut AllFacts,
tcx: TyCtxt<'tcx>,
location_table: &LocationTable,
body: &Body<'tcx>,
borrow_set: &BorrowSet<'tcx>,
)
Expand description
Emit facts about CFG points and edges, as well as locations where loans are killed.