@@ -20,8 +20,8 @@ use rustc_middle::traits::EvaluationResult;
20
20
use rustc_middle::ty::layout::ValidityRequirement;
21
21
use rustc_middle::ty::{
22
22
self, AdtDef, AliasTy, AssocItem, AssocTag, Binder, BoundRegion, FnSig, GenericArg, GenericArgKind, GenericArgsRef,
23
- GenericParamDefKind , IntTy , ParamEnv , Region , RegionKind , TraitRef , Ty , TyCtxt , TypeSuperVisitable , TypeVisitable ,
24
- TypeVisitableExt , TypeVisitor , UintTy , Upcast , VariantDef , VariantDiscr ,
23
+ GenericParamDefKind, IntTy, ParamEnv, Region, RegionKind, TraitRef, Ty, TyCtxt, TypeFoldable, TypeSuperVisitable ,
24
+ TypeVisitable, TypeVisitableExt, TypeVisitor, UintTy, Upcast, VariantDef, VariantDiscr,
25
25
};
26
26
use rustc_span::symbol::Ident;
27
27
use rustc_span::{DUMMY_SP, Span, Symbol, sym};
@@ -915,7 +915,7 @@ pub fn for_each_top_level_late_bound_region<B>(
915
915
ControlFlow::Continue(())
916
916
}
917
917
}
918
- fn visit_binder < T : TypeVisitable < TyCtxt < ' tcx > > > ( & mut self , t : & Binder < ' tcx , T > ) -> Self :: Result {
918
+ fn visit_binder<T: TypeFoldable <TyCtxt<'tcx>>>(&mut self, t: &Binder<'tcx, T>) -> Self::Result {
919
919
self.index += 1;
920
920
let res = t.super_visit_with(self);
921
921
self.index -= 1;
0 commit comments