@@ -532,10 +532,6 @@ impl<'tcx> TypeFoldable<'tcx> for ty::TypeAndMut<'tcx> {
532532 ty:: TypeAndMut { ty : self . ty . fold_with ( folder) , mutbl : self . mutbl }
533533 }
534534
535- fn fold_with < ' gcx : ' tcx , F : TypeFolder < ' gcx , ' tcx > > ( & self , folder : & mut F ) -> Self {
536- folder. fold_mt ( self )
537- }
538-
539535 fn super_visit_with < V : TypeVisitor < ' tcx > > ( & self , visitor : & mut V ) -> bool {
540536 self . ty . visit_with ( visitor)
541537 }
@@ -552,10 +548,6 @@ impl<'tcx> TypeFoldable<'tcx> for ty::FnSig<'tcx> {
552548 }
553549 }
554550
555- fn fold_with < ' gcx : ' tcx , F : TypeFolder < ' gcx , ' tcx > > ( & self , folder : & mut F ) -> Self {
556- folder. fold_fn_sig ( self )
557- }
558-
559551 fn super_visit_with < V : TypeVisitor < ' tcx > > ( & self , visitor : & mut V ) -> bool {
560552 self . inputs ( ) . iter ( ) . any ( |i| i. visit_with ( visitor) ) ||
561553 self . output ( ) . visit_with ( visitor)
@@ -602,10 +594,6 @@ impl<'tcx> TypeFoldable<'tcx> for ty::ImplHeader<'tcx> {
602594 }
603595 }
604596
605- fn fold_with < ' gcx : ' tcx , F : TypeFolder < ' gcx , ' tcx > > ( & self , folder : & mut F ) -> Self {
606- folder. fold_impl_header ( self )
607- }
608-
609597 fn super_visit_with < V : TypeVisitor < ' tcx > > ( & self , visitor : & mut V ) -> bool {
610598 self . self_ty . visit_with ( visitor) ||
611599 self . trait_ref . map ( |r| r. visit_with ( visitor) ) . unwrap_or ( false ) ||
@@ -653,10 +641,6 @@ impl<'tcx> TypeFoldable<'tcx> for ty::adjustment::AutoBorrow<'tcx> {
653641 }
654642 }
655643
656- fn fold_with < ' gcx : ' tcx , F : TypeFolder < ' gcx , ' tcx > > ( & self , folder : & mut F ) -> Self {
657- folder. fold_autoref ( self )
658- }
659-
660644 fn super_visit_with < V : TypeVisitor < ' tcx > > ( & self , visitor : & mut V ) -> bool {
661645 match * self {
662646 ty:: adjustment:: AutoBorrow :: Ref ( r, _m) => r. visit_with ( visitor) ,
0 commit comments