Skip to content

while removing from hash maps, only do hash lookups once#254

Merged
sunshowers merged 1 commit into
mainfrom
sunshowers/spr/while-removing-from-hash-maps-only-do-hash-lookups-once
May 22, 2026
Merged

while removing from hash maps, only do hash lookups once#254
sunshowers merged 1 commit into
mainfrom
sunshowers/spr/while-removing-from-hash-maps-only-do-hash-lookups-once

Conversation

@sunshowers
Copy link
Copy Markdown
Collaborator

Previously, under pathological Eq impls, we could leave the item set and hash table in a desynchronized state. With this change, we compute the index to remove once and use that everywhere.

Also add pathological tests to exercise this case.

Created using spr 1.3.6-beta.1
@sunshowers sunshowers merged commit 6782ee1 into main May 22, 2026
34 checks passed
@sunshowers sunshowers deleted the sunshowers/spr/while-removing-from-hash-maps-only-do-hash-lookups-once branch May 22, 2026 07:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant