@@ -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 , Region , RegionKind , TraitRef , Ty , TyCtxt , TypeSuperVisitable , TypeVisitable ,
24
- TypeVisitableExt , TypeVisitor , UintTy , Upcast , VariantDef , VariantDiscr ,
23
+ GenericParamDefKind , IntTy , 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} ;
@@ -853,7 +853,7 @@ pub fn for_each_top_level_late_bound_region<B>(
853
853
ControlFlow :: Continue ( ( ) )
854
854
}
855
855
}
856
- fn visit_binder < T : TypeVisitable < TyCtxt < ' tcx > > > ( & mut self , t : & Binder < ' tcx , T > ) -> Self :: Result {
856
+ fn visit_binder < T : TypeFoldable < TyCtxt < ' tcx > > > ( & mut self , t : & Binder < ' tcx , T > ) -> Self :: Result {
857
857
self . index += 1 ;
858
858
let res = t. super_visit_with ( self ) ;
859
859
self . index -= 1 ;
0 commit comments