Function rustc_middle::ty::fold::shift_region

pub fn shift_region<'tcx>(
    tcx: TyCtxt<'tcx>, 
    region: Region<'tcx>, 
    amount: u32
) -> Region<'tcx>