rustc_borrowck::polonius::legacy::accesses

Function emit_access_facts

Source 
pub(crate) fn emit_access_facts<'tcx>(
    tcx: TyCtxt<'tcx>,
    facts: &mut AllFacts,
    body: &Body<'tcx>,
    location_table: &LocationTable,
    move_data: &MoveData<'tcx>,
    universal_regions: &UniversalRegions<'tcx>,
)
Expand description

Emit polonius facts for variable defs, uses, drops, and path accesses.