Skip to content

Conversation

@mnaoumov
Copy link

Fixes #335

@mnaoumov mnaoumov changed the title Don't change name of interface/class/type Don't change name of interface/class Oct 20, 2024
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.

Incorrect handling of duplicates in augmented types

2 participants