diff options
| author | bors <bors@rust-lang.org> | 2024-08-10 10:22:06 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2024-08-10 10:22:06 +0000 |
| commit | 48090b11b52bd841fa89082cdaa4c139f11995f7 (patch) | |
| tree | caef888903ee0eb3e601d26b9930cf1eed1e13c9 /compiler/rustc_middle/src/query | |
| parent | 7347f8e4e007fbb3712364bc174476f5f55a6da4 (diff) | |
| parent | 79228526bfa37f2f0ee9b91671a4342064e85f73 (diff) | |
| download | rust-48090b11b52bd841fa89082cdaa4c139f11995f7.tar.gz rust-48090b11b52bd841fa89082cdaa4c139f11995f7.zip | |
Auto merge of #128746 - compiler-errors:cache-super-outlives, r=lcnr
Cache supertrait outlives of impl header for soundness check This caches the results of computing the transitive supertraits of an impl and filtering it to its outlives obligations. This is purely an optimization to improve https://github.com/rust-lang/rust/pull/124336.
Diffstat (limited to 'compiler/rustc_middle/src/query')
| -rw-r--r-- | compiler/rustc_middle/src/query/mod.rs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/compiler/rustc_middle/src/query/mod.rs b/compiler/rustc_middle/src/query/mod.rs index 5b114c9515c..075eae02904 100644 --- a/compiler/rustc_middle/src/query/mod.rs +++ b/compiler/rustc_middle/src/query/mod.rs @@ -407,6 +407,10 @@ rustc_queries! { desc { |tcx| "elaborating item assumptions for `{}`", tcx.def_path_str(key) } } + query impl_super_outlives(key: DefId) -> ty::EarlyBinder<'tcx, ty::Clauses<'tcx>> { + desc { |tcx| "elaborating supertrait outlives for trait of `{}`", tcx.def_path_str(key) } + } + /// Look up all native libraries this crate depends on. /// These are assembled from the following places: /// - `extern` blocks (depending on their `link` attributes) |