Skip to content

Conversation

@jakebailey
Copy link
Member

Fixes #54655

It turns out that I fixed this bug in #55820; the correct names are preserved with the new renaming method in that PR.

@jakebailey jakebailey merged commit db823e3 into microsoft:main Feb 2, 2024
@jakebailey jakebailey deleted the fix-54655 branch February 2, 2024 18:40
@microsoft microsoft locked as resolved and limited conversation to collaborators Oct 16, 2025
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

Author: Team For Milestone Bug PRs that fix a bug with a specific milestone

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Regression: bug in emitted declarations involving branded types since 5.1

3 participants