Function rustc_mir::transform::run_post_borrowck_cleanup_passes

fn run_post_borrowck_cleanup_passes<'tcx>(
    tcx: TyCtxt<'tcx>, 
    body: &mut Body<'tcx>, 
    def_id: LocalDefId, 
    promoted: Option<Promoted>
)

After this series of passes, no lifetime analysis based on borrowing can be done.