Function rustc_mir_transform::run_post_borrowck_cleanup_passes

pub(crate) 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.