fn apply_mappings<'tcx>( tcx: TyCtxt<'tcx>, body: &mut Body<'tcx>, remapped_locals: &IndexVec<Local, Option<Place<'tcx>>>, )