diff options
| author | Michael Goulet <michael@errs.io> | 2025-06-19 21:03:10 +0000 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2025-06-19 21:03:50 +0000 |
| commit | 24ea06cbe8e5b735a4807d08da14b5925db896cc (patch) | |
| tree | 9c50a191f0201e612a3d02969a45226bfb13e7e8 /compiler/rustc_middle/src | |
| parent | 8de4c7234dd9b97c9d76b58671343fdbbc9a433e (diff) | |
| download | rust-24ea06cbe8e5b735a4807d08da14b5925db896cc.tar.gz rust-24ea06cbe8e5b735a4807d08da14b5925db896cc.zip | |
Apply impl_super_outlives optimization to new trait solver
Diffstat (limited to 'compiler/rustc_middle/src')
| -rw-r--r-- | compiler/rustc_middle/src/ty/context.rs | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/compiler/rustc_middle/src/ty/context.rs b/compiler/rustc_middle/src/ty/context.rs index f1395c242f2..b1dd25d39b4 100644 --- a/compiler/rustc_middle/src/ty/context.rs +++ b/compiler/rustc_middle/src/ty/context.rs @@ -432,6 +432,13 @@ impl<'tcx> Interner for TyCtxt<'tcx> { self.explicit_implied_predicates_of(def_id).map_bound(|preds| preds.into_iter().copied()) } + fn impl_super_outlives( + self, + impl_def_id: DefId, + ) -> ty::EarlyBinder<'tcx, impl IntoIterator<Item = ty::Clause<'tcx>>> { + self.impl_super_outlives(impl_def_id) + } + fn impl_is_const(self, def_id: DefId) -> bool { debug_assert_matches!(self.def_kind(def_id), DefKind::Impl { of_trait: true }); self.is_conditionally_const(def_id) |