rustc_borrowck::polonius

Function 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.