diff options
| author | Michael Goulet <michael@errs.io> | 2025-06-12 23:41:29 +0000 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2025-06-13 17:54:45 +0000 |
| commit | b1382020026440c4d289457399fe39ad2707f0ef (patch) | |
| tree | e88f50249ca07224b4850156bc972b2a28f9d5b3 /compiler/rustc_ty_utils/src/ty.rs | |
| parent | da8d5298208ed5c98a8867fefef4c1ed96db4709 (diff) | |
| download | rust-b1382020026440c4d289457399fe39ad2707f0ef.tar.gz rust-b1382020026440c4d289457399fe39ad2707f0ef.zip | |
TypeVisiting binders no longer requires TypeFolding its interior
Diffstat (limited to 'compiler/rustc_ty_utils/src/ty.rs')
| -rw-r--r-- | compiler/rustc_ty_utils/src/ty.rs | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/compiler/rustc_ty_utils/src/ty.rs b/compiler/rustc_ty_utils/src/ty.rs index 79ac622df32..11becea998c 100644 --- a/compiler/rustc_ty_utils/src/ty.rs +++ b/compiler/rustc_ty_utils/src/ty.rs @@ -7,8 +7,7 @@ use rustc_infer::infer::TyCtxtInferExt; use rustc_middle::bug; use rustc_middle::query::Providers; use rustc_middle::ty::{ - self, Ty, TyCtxt, TypeFoldable, TypeSuperVisitable, TypeVisitable, TypeVisitor, Upcast, - fold_regions, + self, Ty, TyCtxt, TypeSuperVisitable, TypeVisitable, TypeVisitor, Upcast, fold_regions, }; use rustc_span::DUMMY_SP; use rustc_span::def_id::{CRATE_DEF_ID, DefId, LocalDefId}; @@ -186,7 +185,7 @@ struct ImplTraitInTraitFinder<'a, 'tcx> { } impl<'tcx> TypeVisitor<TyCtxt<'tcx>> for ImplTraitInTraitFinder<'_, 'tcx> { - fn visit_binder<T: TypeFoldable<TyCtxt<'tcx>>>(&mut self, binder: &ty::Binder<'tcx, T>) { + fn visit_binder<T: TypeVisitable<TyCtxt<'tcx>>>(&mut self, binder: &ty::Binder<'tcx, T>) { self.depth.shift_in(1); binder.super_visit_with(self); self.depth.shift_out(1); |
