pub fn shift_vars<'tcx, T>(tcx: TyCtxt<'tcx>, value: T, amount: u32) -> Twhere
    T: TypeFoldable<'tcx>,