Function rustc_middle::ty::fold::shift_region

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