@@ -20,8 +20,8 @@ use rustc_middle::traits::EvaluationResult;
2020use rustc_middle:: ty:: layout:: ValidityRequirement ;
2121use rustc_middle:: ty:: {
2222 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 ,
2525} ;
2626use rustc_span:: symbol:: Ident ;
2727use rustc_span:: { DUMMY_SP , Span , Symbol , sym} ;
@@ -915,7 +915,7 @@ pub fn for_each_top_level_late_bound_region<B>(
915915 ControlFlow :: Continue ( ( ) )
916916 }
917917 }
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 {
919919 self . index += 1 ;
920920 let res = t. super_visit_with ( self ) ;
921921 self . index -= 1 ;
0 commit comments