Closed
Description
It must be possible for all "input" queries to reconstruct their query-key from their DepNode
. The easiest way to accomplish this is to make the query-key a DefId
.
The in_scope_traits
query violates this condition at the moment. A simple way to fix this would be to make it a two-level map: The query returns a per-item map that is indexed by ItemLocalId
. The query-key would be the HirId::owner
.