Function rustc_mir_transform::run_analysis_cleanup_passes

pub(crate) fn run_analysis_cleanup_passes<'tcx>(
    tcx: TyCtxt<'tcx>,
    body: &mut Body<'tcx>
)

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