1 use rustc_data_structures::stable_hasher::{HashStable, StableHasher};
3 use crate::def_id::DefId;
4 use crate::hir::{BodyId, Expr, ImplItemId, ItemId, Mod, TraitItemId, Ty, VisibilityKind};
5 use crate::hir_id::HirId;
7 /// Requirements for a `StableHashingContext` to be used in this crate.
8 /// This is a hack to allow using the `HashStable_Generic` derive macro
9 /// instead of implementing everything in librustc.
10 pub trait HashStableContext: syntax::HashStableContext + rustc_target::HashStableContext {
11 fn hash_def_id(&mut self, _: DefId, hasher: &mut StableHasher);
12 fn hash_hir_id(&mut self, _: HirId, hasher: &mut StableHasher);
13 fn hash_body_id(&mut self, _: BodyId, hasher: &mut StableHasher);
14 fn hash_reference_to_item(&mut self, _: HirId, hasher: &mut StableHasher);
15 fn hash_hir_mod(&mut self, _: &Mod<'_>, hasher: &mut StableHasher);
16 fn hash_hir_expr(&mut self, _: &Expr<'_>, hasher: &mut StableHasher);
17 fn hash_hir_ty(&mut self, _: &Ty<'_>, hasher: &mut StableHasher);
18 fn hash_hir_visibility_kind(&mut self, _: &VisibilityKind<'_>, hasher: &mut StableHasher);
21 impl<HirCtx: crate::HashStableContext> HashStable<HirCtx> for HirId {
22 fn hash_stable(&self, hcx: &mut HirCtx, hasher: &mut StableHasher) {
23 hcx.hash_hir_id(*self, hasher)
27 impl<HirCtx: crate::HashStableContext> HashStable<HirCtx> for DefId {
28 fn hash_stable(&self, hcx: &mut HirCtx, hasher: &mut StableHasher) {
29 hcx.hash_def_id(*self, hasher)
33 impl<HirCtx: crate::HashStableContext> HashStable<HirCtx> for BodyId {
34 fn hash_stable(&self, hcx: &mut HirCtx, hasher: &mut StableHasher) {
35 hcx.hash_body_id(*self, hasher)
39 // The following implementations of HashStable for `ItemId`, `TraitItemId`, and
40 // `ImplItemId` deserve special attention. Normally we do not hash `NodeId`s within
41 // the HIR, since they just signify a HIR nodes own path. But `ItemId` et al
42 // are used when another item in the HIR is *referenced* and we certainly
43 // want to pick up on a reference changing its target, so we hash the NodeIds
46 impl<HirCtx: crate::HashStableContext> HashStable<HirCtx> for ItemId {
47 fn hash_stable(&self, hcx: &mut HirCtx, hasher: &mut StableHasher) {
48 hcx.hash_reference_to_item(self.id, hasher)
52 impl<HirCtx: crate::HashStableContext> HashStable<HirCtx> for ImplItemId {
53 fn hash_stable(&self, hcx: &mut HirCtx, hasher: &mut StableHasher) {
54 hcx.hash_reference_to_item(self.hir_id, hasher)
58 impl<HirCtx: crate::HashStableContext> HashStable<HirCtx> for TraitItemId {
59 fn hash_stable(&self, hcx: &mut HirCtx, hasher: &mut StableHasher) {
60 hcx.hash_reference_to_item(self.hir_id, hasher)
64 impl<HirCtx: crate::HashStableContext> HashStable<HirCtx> for Mod<'_> {
65 fn hash_stable(&self, hcx: &mut HirCtx, hasher: &mut StableHasher) {
66 hcx.hash_hir_mod(self, hasher)
70 impl<HirCtx: crate::HashStableContext> HashStable<HirCtx> for Expr<'_> {
71 fn hash_stable(&self, hcx: &mut HirCtx, hasher: &mut StableHasher) {
72 hcx.hash_hir_expr(self, hasher)
76 impl<HirCtx: crate::HashStableContext> HashStable<HirCtx> for Ty<'_> {
77 fn hash_stable(&self, hcx: &mut HirCtx, hasher: &mut StableHasher) {
78 hcx.hash_hir_ty(self, hasher)
82 impl<HirCtx: crate::HashStableContext> HashStable<HirCtx> for VisibilityKind<'_> {
83 fn hash_stable(&self, hcx: &mut HirCtx, hasher: &mut StableHasher) {
84 hcx.hash_hir_visibility_kind(self, hasher)