diff options
| author | Michael Goulet <michael@errs.io> | 2025-07-12 19:31:15 +0000 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2025-07-12 19:31:15 +0000 |
| commit | 736bfa12de73155633261ca6682b9d5e72d32c6d (patch) | |
| tree | 62418db9b52b125a3af1b7058fe814d1b1fae1b1 /compiler/rustc_middle/src/query/mod.rs | |
| parent | 47e15d90e13b5238117971298a3573ddebd87a40 (diff) | |
| download | rust-736bfa12de73155633261ca6682b9d5e72d32c6d.tar.gz rust-736bfa12de73155633261ca6682b9d5e72d32c6d.zip | |
Clean up implementation of RPITIT assoc item lowering
Diffstat (limited to 'compiler/rustc_middle/src/query/mod.rs')
| -rw-r--r-- | compiler/rustc_middle/src/query/mod.rs | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/compiler/rustc_middle/src/query/mod.rs b/compiler/rustc_middle/src/query/mod.rs index 3da6c6f5fe1..842d118449a 100644 --- a/compiler/rustc_middle/src/query/mod.rs +++ b/compiler/rustc_middle/src/query/mod.rs @@ -1079,9 +1079,11 @@ rustc_queries! { desc { |tcx| "comparing impl items against trait for `{}`", tcx.def_path_str(impl_id) } } - query associated_types_for_impl_traits_in_trait_or_impl(did: DefId) -> &'tcx ty::AssocTyForImplTraitInTraitOrImpl { + /// Given the `item_def_id` of a trait or impl, return a mapping from associated fn def id + /// to its associated type items that correspond to the RPITITs in its signature. + query associated_types_for_impl_traits_in_trait_or_impl(item_def_id: DefId) -> &'tcx DefIdMap<Vec<DefId>> { arena_cache - desc { |tcx| "creating rpitit for `{}`", tcx.def_path_str(did) } + desc { |tcx| "synthesizing RPITIT items for the opaque types for methods in `{}`", tcx.def_path_str(item_def_id) } separate_provide_extern } |
