Skip to content

--allow-redefinition-new is no longer experimental#21110

Merged
JukkaL merged 2 commits intomasterfrom
redef-not-experimental
Mar 31, 2026
Merged

--allow-redefinition-new is no longer experimental#21110
JukkaL merged 2 commits intomasterfrom
redef-not-experimental

Conversation

@JukkaL
Copy link
Copy Markdown
Collaborator

@JukkaL JukkaL commented Mar 30, 2026

@ilevkivskyi made a bunch of improvements to the feature.

@JukkaL JukkaL requested a review from ilevkivskyi March 30, 2026 13:44
Copy link
Copy Markdown
Member

@ilevkivskyi ilevkivskyi left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LG, thanks! Btw, we may want to highlight the word "unannotated" on line 601 above (e.g. make it bold or italic), since this is probably the main difference form --allow-redefinition-old.

@JukkaL JukkaL merged commit e5f9c0d into master Mar 31, 2026
2 checks passed
@JukkaL JukkaL deleted the redef-not-experimental branch March 31, 2026 10:00
JukkaL added a commit that referenced this pull request Mar 31, 2026
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.

3 participants