Function rustc_mir::transform::run_post_borrowck_cleanup_passes

fn run_post_borrowck_cleanup_passes<'tcx>(
    tcx: TyCtxt<'tcx>, 
    body: &mut Body<'tcx>
)

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