diff options
| author | bors <bors@rust-lang.org> | 2022-11-13 06:23:18 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2022-11-13 06:23:18 +0000 |
| commit | 3be81dd0cedef3c83fba7047857418633708890f (patch) | |
| tree | 88e84d7ca6d878c9e4b51b9afd8aeb6a3a235609 /compiler/rustc_data_structures/src | |
| parent | 229e875878a682411df8b8adae39372302d2b4c7 (diff) | |
| parent | ba46b6837367204e0ae4ba020a788df06dc2ebd8 (diff) | |
| download | rust-3be81dd0cedef3c83fba7047857418633708890f.tar.gz rust-3be81dd0cedef3c83fba7047857418633708890f.zip | |
Auto merge of #104282 - cjgillot:intern-span, r=compiler-errors
Hash spans when interning types Ignoring hash for spans creates an inconsistency between the `Hash` impl for `WithStableHash`, which takes them into account, and the `HashStable` impl which does not. cc `@compiler-errors` Fixes https://github.com/rust-lang/rust/issues/104271 Fixes https://github.com/rust-lang/rust/issues/104255 Fixes https://github.com/rust-lang/rust/issues/104238
Diffstat (limited to 'compiler/rustc_data_structures/src')
| -rw-r--r-- | compiler/rustc_data_structures/src/intern.rs | 15 |
1 files changed, 7 insertions, 8 deletions
diff --git a/compiler/rustc_data_structures/src/intern.rs b/compiler/rustc_data_structures/src/intern.rs index 009b5d5340a..11cbff8ea6a 100644 --- a/compiler/rustc_data_structures/src/intern.rs +++ b/compiler/rustc_data_structures/src/intern.rs @@ -110,11 +110,6 @@ where } } -/// A helper trait so that `Interned` things can cache stable hashes reproducibly. -pub trait InternedHashingContext { - fn with_def_path_and_no_spans(&mut self, f: impl FnOnce(&mut Self)); -} - /// A helper type that you can wrap round your own type in order to automatically /// cache the stable hash on creation and not recompute it whenever the stable hash /// of the type is computed. @@ -161,11 +156,15 @@ impl<T> Deref for WithStableHash<T> { impl<T: Hash> Hash for WithStableHash<T> { #[inline] fn hash<H: Hasher>(&self, s: &mut H) { - self.internee.hash(s) + if self.stable_hash != Fingerprint::ZERO { + self.stable_hash.hash(s) + } else { + self.internee.hash(s) + } } } -impl<T: HashStable<CTX>, CTX: InternedHashingContext> HashStable<CTX> for WithStableHash<T> { +impl<T: HashStable<CTX>, CTX> HashStable<CTX> for WithStableHash<T> { fn hash_stable(&self, hcx: &mut CTX, hasher: &mut StableHasher) { if self.stable_hash == Fingerprint::ZERO || cfg!(debug_assertions) { // No cached hash available. This can only mean that incremental is disabled. @@ -176,7 +175,7 @@ impl<T: HashStable<CTX>, CTX: InternedHashingContext> HashStable<CTX> for WithSt // otherwise the hashes will differ between cached and non-cached mode. let stable_hash: Fingerprint = { let mut hasher = StableHasher::new(); - hcx.with_def_path_and_no_spans(|hcx| self.internee.hash_stable(hcx, &mut hasher)); + self.internee.hash_stable(hcx, &mut hasher); hasher.finish() }; if cfg!(debug_assertions) && self.stable_hash != Fingerprint::ZERO { |
