1 use rustc_data_structures::stable_hasher::{HashStable, StableHasher, ToStableHashKey};
4 BodyId, Expr, ForeignItemId, ImplItem, ImplItemId, Item, ItemId, Mod, TraitItem, TraitItemId,
7 use crate::hir_id::{HirId, ItemLocalId};
8 use rustc_span::def_id::{DefPathHash, LocalDefId};
10 /// Requirements for a `StableHashingContext` to be used in this crate.
11 /// This is a hack to allow using the `HashStable_Generic` derive macro
12 /// instead of implementing everything in librustc_middle.
13 pub trait HashStableContext:
14 rustc_ast::HashStableContext + rustc_target::HashStableContext
16 fn hash_hir_id(&mut self, _: HirId, hasher: &mut StableHasher);
17 fn hash_body_id(&mut self, _: BodyId, hasher: &mut StableHasher);
18 fn hash_reference_to_item(&mut self, _: HirId, hasher: &mut StableHasher);
19 fn hash_hir_mod(&mut self, _: &Mod<'_>, hasher: &mut StableHasher);
20 fn hash_hir_expr(&mut self, _: &Expr<'_>, hasher: &mut StableHasher);
21 fn hash_hir_ty(&mut self, _: &Ty<'_>, hasher: &mut StableHasher);
22 fn hash_hir_visibility_kind(&mut self, _: &VisibilityKind<'_>, hasher: &mut StableHasher);
23 fn hash_hir_item_like<F: FnOnce(&mut Self)>(&mut self, f: F);
24 fn local_def_path_hash(&self, def_id: LocalDefId) -> DefPathHash;
27 impl<HirCtx: crate::HashStableContext> ToStableHashKey<HirCtx> for HirId {
28 type KeyType = (DefPathHash, ItemLocalId);
31 fn to_stable_hash_key(&self, hcx: &HirCtx) -> (DefPathHash, ItemLocalId) {
32 let def_path_hash = hcx.local_def_path_hash(self.owner);
33 (def_path_hash, self.local_id)
37 impl<HirCtx: crate::HashStableContext> ToStableHashKey<HirCtx> for TraitItemId {
38 type KeyType = (DefPathHash, ItemLocalId);
41 fn to_stable_hash_key(&self, hcx: &HirCtx) -> (DefPathHash, ItemLocalId) {
42 self.hir_id.to_stable_hash_key(hcx)
46 impl<HirCtx: crate::HashStableContext> ToStableHashKey<HirCtx> for ImplItemId {
47 type KeyType = (DefPathHash, ItemLocalId);
50 fn to_stable_hash_key(&self, hcx: &HirCtx) -> (DefPathHash, ItemLocalId) {
51 self.hir_id.to_stable_hash_key(hcx)
55 impl<HirCtx: crate::HashStableContext> ToStableHashKey<HirCtx> for ForeignItemId {
56 type KeyType = (DefPathHash, ItemLocalId);
59 fn to_stable_hash_key(&self, hcx: &HirCtx) -> (DefPathHash, ItemLocalId) {
60 self.hir_id.to_stable_hash_key(hcx)
64 impl<HirCtx: crate::HashStableContext> HashStable<HirCtx> for HirId {
65 fn hash_stable(&self, hcx: &mut HirCtx, hasher: &mut StableHasher) {
66 hcx.hash_hir_id(*self, hasher)
70 impl<HirCtx: crate::HashStableContext> HashStable<HirCtx> for BodyId {
71 fn hash_stable(&self, hcx: &mut HirCtx, hasher: &mut StableHasher) {
72 hcx.hash_body_id(*self, hasher)
76 // The following implementations of HashStable for `ItemId`, `TraitItemId`, and
77 // `ImplItemId` deserve special attention. Normally we do not hash `NodeId`s within
78 // the HIR, since they just signify a HIR nodes own path. But `ItemId` et al
79 // are used when another item in the HIR is *referenced* and we certainly
80 // want to pick up on a reference changing its target, so we hash the NodeIds
83 impl<HirCtx: crate::HashStableContext> HashStable<HirCtx> for ItemId {
84 fn hash_stable(&self, hcx: &mut HirCtx, hasher: &mut StableHasher) {
85 hcx.hash_reference_to_item(self.id, hasher)
89 impl<HirCtx: crate::HashStableContext> HashStable<HirCtx> for ForeignItemId {
90 fn hash_stable(&self, hcx: &mut HirCtx, hasher: &mut StableHasher) {
91 hcx.hash_reference_to_item(self.hir_id, hasher)
95 impl<HirCtx: crate::HashStableContext> HashStable<HirCtx> for ImplItemId {
96 fn hash_stable(&self, hcx: &mut HirCtx, hasher: &mut StableHasher) {
97 hcx.hash_reference_to_item(self.hir_id, hasher)
101 impl<HirCtx: crate::HashStableContext> HashStable<HirCtx> for TraitItemId {
102 fn hash_stable(&self, hcx: &mut HirCtx, hasher: &mut StableHasher) {
103 hcx.hash_reference_to_item(self.hir_id, hasher)
107 impl<HirCtx: crate::HashStableContext> HashStable<HirCtx> for Mod<'_> {
108 fn hash_stable(&self, hcx: &mut HirCtx, hasher: &mut StableHasher) {
109 hcx.hash_hir_mod(self, hasher)
113 impl<HirCtx: crate::HashStableContext> HashStable<HirCtx> for Expr<'_> {
114 fn hash_stable(&self, hcx: &mut HirCtx, hasher: &mut StableHasher) {
115 hcx.hash_hir_expr(self, hasher)
119 impl<HirCtx: crate::HashStableContext> HashStable<HirCtx> for Ty<'_> {
120 fn hash_stable(&self, hcx: &mut HirCtx, hasher: &mut StableHasher) {
121 hcx.hash_hir_ty(self, hasher)
125 impl<HirCtx: crate::HashStableContext> HashStable<HirCtx> for VisibilityKind<'_> {
126 fn hash_stable(&self, hcx: &mut HirCtx, hasher: &mut StableHasher) {
127 hcx.hash_hir_visibility_kind(self, hasher)
131 impl<HirCtx: crate::HashStableContext> HashStable<HirCtx> for TraitItem<'_> {
132 fn hash_stable(&self, hcx: &mut HirCtx, hasher: &mut StableHasher) {
133 let TraitItem { hir_id: _, ident, ref attrs, ref generics, ref kind, span } = *self;
135 hcx.hash_hir_item_like(|hcx| {
136 ident.name.hash_stable(hcx, hasher);
137 attrs.hash_stable(hcx, hasher);
138 generics.hash_stable(hcx, hasher);
139 kind.hash_stable(hcx, hasher);
140 span.hash_stable(hcx, hasher);
145 impl<HirCtx: crate::HashStableContext> HashStable<HirCtx> for ImplItem<'_> {
146 fn hash_stable(&self, hcx: &mut HirCtx, hasher: &mut StableHasher) {
158 hcx.hash_hir_item_like(|hcx| {
159 ident.name.hash_stable(hcx, hasher);
160 vis.hash_stable(hcx, hasher);
161 defaultness.hash_stable(hcx, hasher);
162 attrs.hash_stable(hcx, hasher);
163 generics.hash_stable(hcx, hasher);
164 kind.hash_stable(hcx, hasher);
165 span.hash_stable(hcx, hasher);
170 impl<HirCtx: crate::HashStableContext> HashStable<HirCtx> for Item<'_> {
171 fn hash_stable(&self, hcx: &mut HirCtx, hasher: &mut StableHasher) {
172 let Item { ident, ref attrs, hir_id: _, ref kind, ref vis, span } = *self;
174 hcx.hash_hir_item_like(|hcx| {
175 ident.name.hash_stable(hcx, hasher);
176 attrs.hash_stable(hcx, hasher);
177 kind.hash_stable(hcx, hasher);
178 vis.hash_stable(hcx, hasher);
179 span.hash_stable(hcx, hasher);