XXX: introduce MyKey

Author: nnethercote

compiler/rustc_query_impl/src/lib.rs

@@ -10,7 +10,6 @@
 
 use std::marker::ConstParamTy;
 
-use rustc_data_structures::stable_hasher::HashStable;
 use rustc_data_structures::sync::AtomicU64;
 use rustc_middle::arena::Arena;
 use rustc_middle::dep_graph::{self, DepKind, DepKindVTable, DepNodeIndex};
@@ -23,7 +22,6 @@ use rustc_middle::query::plumbing::{QuerySystem, QuerySystemFns, QueryVTable};
 use rustc_middle::query::values::Value;
 use rustc_middle::ty::TyCtxt;
 use rustc_query_system::dep_graph::SerializedDepNodeIndex;
-use rustc_query_system::ich::StableHashingContext;
 use rustc_query_system::query::{
     CycleError, CycleErrorHandling, HashResult, QueryCache, QueryDispatcher, QueryMap, QueryMode,
     QueryState,
@@ -79,8 +77,6 @@ impl<'tcx, C: QueryCache, const FLAGS: QueryFlags> Clone
 // This is `impl QueryDispatcher for SemiDynamicQueryDispatcher`.
 impl<'tcx, C: QueryCache, const FLAGS: QueryFlags> QueryDispatcher<'tcx>
     for SemiDynamicQueryDispatcher<'tcx, C, FLAGS>
-where
-    for<'a> C::Key: HashStable<StableHashingContext<'a>>,
 {
     type Qcx = QueryCtxt<'tcx>;
     type Key = C::Key;

compiler/rustc_query_impl/src/plumbing.rs

@@ -33,7 +33,6 @@ use rustc_middle::ty::print::with_reduced_queries;
 use rustc_middle::ty::tls::{self, ImplicitCtxt};
 use rustc_middle::ty::{self, TyCtxt};
 use rustc_query_system::dep_graph::{DepGraphData, DepNodeKey, FingerprintStyle, HasDepContext};
-use rustc_query_system::ich::StableHashingContext;
 use rustc_query_system::query::{
     ActiveKeyStatus, CycleError, CycleErrorHandling, QueryCache, QueryContext, QueryDispatcher,
     QueryJob, QueryJobId, QueryJobInfo, QueryLatch, QueryMap, QueryMode, QuerySideEffect,
@@ -368,7 +367,7 @@ pub(crate) fn create_deferred_query_stack_frame<'tcx, Cache>(
 ) -> QueryStackFrame<QueryStackDeferred<'tcx>>
 where
     Cache: QueryCache,
-    Cache::Key: Key + DynSend + DynSync + for<'a> HashStable<StableHashingContext<'a>> + 'tcx,
+    Cache::Key: Key + DynSend + DynSync,
 {
     let kind = vtable.dep_kind;
 

compiler/rustc_query_system/src/lib.rs

@@ -2,6 +2,7 @@
 #![allow(internal_features)]
 #![feature(assert_matches)]
 #![feature(min_specialization)]
+#![feature(trait_alias)]
 // tidy-alphabetical-end
 
 pub mod cache;

compiler/rustc_query_system/src/query/caches.rs

@@ -3,20 +3,26 @@ use std::hash::Hash;
 use std::sync::OnceLock;
 
 use rustc_data_structures::sharded::ShardedHashMap;
+use rustc_data_structures::stable_hasher::HashStable;
 pub use rustc_data_structures::vec_cache::VecCache;
 use rustc_hir::def_id::LOCAL_CRATE;
 use rustc_index::Idx;
 use rustc_span::def_id::{DefId, DefIndex};
 
 use crate::dep_graph::DepNodeIndex;
+use crate::ich::StableHashingContext;
+
+// njn: explain
+// njn: rename
+pub trait MyKey = Hash + Eq + Copy + Debug + for<'a> HashStable<StableHashingContext<'a>>;
 
 /// Trait for types that serve as an in-memory cache for query results,
 /// for a given key (argument) type and value (return) type.
 ///
 /// Types implementing this trait are associated with actual key/value types
 /// by the `Cache` associated type of the `rustc_middle::query::Key` trait.
 pub trait QueryCache: Sized {
-    type Key: Hash + Eq + Copy + Debug;
+    type Key: MyKey;
     type Value: Copy;
 
     /// Returns the cached value (and other information) associated with the
@@ -48,7 +54,7 @@ impl<K, V> Default for DefaultCache<K, V> {
 
 impl<K, V> QueryCache for DefaultCache<K, V>
 where
-    K: Eq + Hash + Copy + Debug,
+    K: MyKey,
     V: Copy,
 {
     type Key = K;
@@ -175,7 +181,7 @@ where
 
 impl<K, V> QueryCache for VecCache<K, V, DepNodeIndex>
 where
-    K: Idx + Eq + Hash + Copy + Debug,
+    K: Idx + MyKey,
     V: Copy,
 {
     type Key = K;

compiler/rustc_query_system/src/query/mod.rs

@@ -12,7 +12,7 @@ use rustc_macros::{Decodable, Encodable};
 use rustc_span::Span;
 use rustc_span::def_id::DefId;
 
-pub use self::caches::{DefIdCache, DefaultCache, QueryCache, SingleCache, VecCache};
+pub use self::caches::{DefIdCache, DefaultCache, MyKey, QueryCache, SingleCache, VecCache};
 pub use self::dispatcher::{HashResult, QueryDispatcher};
 pub use self::job::{
     QueryInfo, QueryJob, QueryJobId, QueryJobInfo, QueryLatch, QueryMap, break_query_cycles,