Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

When adding a namespace, explicitly unpoison an optimistically poisoned name #4826

Merged
merged 1 commit into from
Jan 21, 2025
Merged

When adding a namespace, explicitly unpoison an optimistically poisoned name #4826

merged 1 commit into from
Jan 21, 2025

Conversation

bricknerb
Copy link
Contributor

Part of #4622

@bricknerb bricknerb requested a review from jonmeow January 21, 2025 12:19
@jonmeow jonmeow added this pull request to the merge queue Jan 21, 2025
Merged via the queue into carbon-language:trunk with commit c304e73 Jan 21, 2025
10 checks passed
dwblaikie pushed a commit to dwblaikie/carbon-lang that referenced this pull request Jan 21, 2025
@bricknerb @dwblaikie
When adding a namespace, explicitly unpoison an optimistically poison…
72e7f65 
…ed name (carbon-language#4826)

Part of carbon-language#4622
@bricknerb bricknerb deleted the poison3 branch January 22, 2025 11:20
# for free to join this conversation on GitHub. Already have an account? # to comment
Reviewers

@jonmeow jonmeow jonmeow approved these changes

Assignees
No one assigned
Labels
toolchain
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@bricknerb @jonmeow