@@ -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 , 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 ,
2525} ;
2626use rustc_span:: symbol:: Ident ;
2727use rustc_span:: { DUMMY_SP , Span , Symbol , sym} ;
@@ -853,7 +853,7 @@ pub fn for_each_top_level_late_bound_region<B>(
853853 ControlFlow :: Continue ( ( ) )
854854 }
855855 }
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 {
857857 self . index += 1 ;
858858 let res = t. super_visit_with ( self ) ;
859859 self . index -= 1 ;
0 commit comments