diff options
| author | Michael Goulet <michael@errs.io> | 2024-08-06 13:33:32 -0400 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2024-08-06 13:33:32 -0400 |
| commit | 79228526bfa37f2f0ee9b91671a4342064e85f73 (patch) | |
| tree | 2fb8eb4ddd361188b9df25819694d4195da3ad72 /compiler/rustc_middle/src/query | |
| parent | 60d146580c10036ce89e019422c6bc2fd9729b65 (diff) | |
| download | rust-79228526bfa37f2f0ee9b91671a4342064e85f73.tar.gz rust-79228526bfa37f2f0ee9b91671a4342064e85f73.zip | |
Cache supertrait outlives of impl header for soundness check
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 c22c2e985ab..f69f78d4f0f 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) |