fn replace_resume_ty_local<'tcx>( tcx: TyCtxt<'tcx>, body: &mut Body<'tcx>, local: Local, context_mut_ref: Ty<'tcx>, )