Function rustc_mir::borrow_check::invalidation::generate_invalidates

pub(in borrow_check) fn generate_invalidates<'tcx>(
    tcx: TyCtxt<'tcx>, 
    all_facts: &mut Option<PoloniusFacts<RustcFacts>>, 
    location_table: &LocationTable, 
    body: &Body<'tcx>, 
    borrow_set: &BorrowSet<'tcx>
)