Skip to content

Remove error condition on dict.get - #333

Open
lgalfaso wants to merge 1 commit into
bazelbuild:masterfrom
lgalfaso:patch-11
Open

Remove error condition on dict.get#333
lgalfaso wants to merge 1 commit into
bazelbuild:masterfrom
lgalfaso:patch-11

Conversation

@lgalfaso

@lgalfaso lgalfaso commented Jan 31, 2026

Copy link
Copy Markdown
Contributor

Remove claim that dict·get would produce an error if the dictionary is frozen or has active iterators.

dict·get is a read operation and as such does not produce an error when frozen or with an active iterator. None of the implementations produce an error in this case.

Remove claim that dict·get would produce an error if the dictionary is frozen or has active iterators.

dict·get is a read operation and as such does produce an error when frozen or with an active iterator. None of the implementations produce an error in this case.
@lgalfaso
lgalfaso requested a review from brandjon as a code owner January 31, 2026 19:09
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