Skip to content

Fix crash on partial type, --allow-redefinition, and global declaration#21428

Merged
JukkaL merged 1 commit into
masterfrom
fix-partial-crash
May 7, 2026
Merged

Fix crash on partial type, --allow-redefinition, and global declaration#21428
JukkaL merged 1 commit into
masterfrom
fix-partial-crash

Conversation

@JukkaL

@JukkaL JukkaL commented May 7, 2026

Copy link
Copy Markdown
Collaborator

Filter out partial types when updating binder.

Fixes #21423.

Filter out partial types when updating binder.

Fixes #21423.
@JukkaL JukkaL requested a review from ilevkivskyi May 7, 2026 09:54

@ilevkivskyi ilevkivskyi left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

Nice, thanks!

@github-actions

github-actions Bot commented May 7, 2026

Copy link
Copy Markdown
Contributor

According to mypy_primer, this change doesn't affect type check results on a corpus of open source code. ✅

@JukkaL JukkaL merged commit 3f0c355 into master May 7, 2026
24 checks passed
@JukkaL JukkaL deleted the fix-partial-crash branch May 7, 2026 10:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

2 participants