- fn shift_vars_through_binders(&self, ty: Ty<'tcx>) -> Ty<'tcx> {
- debug!("shift_vars(ty={:?}, binders_passed={:?}, has_escaping_bound_vars={:?})",
- ty, self.binders_passed, ty.has_escaping_bound_vars());
+ fn shift_vars_through_binders<T: TypeFoldable<'tcx>>(&self, val: T) -> T {
+ debug!("shift_vars(val={:?}, binders_passed={:?}, has_escaping_bound_vars={:?})",
+ val, self.binders_passed, val.has_escaping_bound_vars());