Skip to content

Fix narrowing union types that include Self with isinstance (Fixes #14912).#14923

Merged
hauntsaninja merged 1 commit intopython:masterfrom
tyralla:fix/self_narrowing_with_isinstance
Mar 25, 2023
Merged

Fix narrowing union types that include Self with isinstance (Fixes #14912).#14923
hauntsaninja merged 1 commit intopython:masterfrom
tyralla:fix/self_narrowing_with_isinstance

Conversation

@tyralla
Copy link
Copy Markdown
Collaborator

@tyralla tyralla commented Mar 18, 2023

Fix narrowing union types that include Self with isinstance (Fixes #14912).

The special case of bound type variables was not handled in function covers_at_runtime of module subtypes. So I added it and defined the test case testNarrowSelfType.

…thon#14921).

The special case of bound type variables was not handled in function `covers_at_runtime` of module `subtypes`.  So I added it and defined the test case `testNarrowSelfType`.
@github-actions
Copy link
Copy Markdown
Contributor

According to mypy_primer, this change has no effect on the checked open source code. 🤖🎉

@tyralla tyralla changed the title Fix narrowing union types that include Self with isinstance (Fixes #14921). Fix narrowing union types that include Self with isinstance (Fixes #14912). Mar 19, 2023
@tyralla
Copy link
Copy Markdown
Collaborator Author

tyralla commented Mar 19, 2023

The fixed issues' number was wrong. I corrected it in the title and the initial comment of this pull request. Unfortunately, the initial commit's message is also wrong in this regard and needs modification before merging.

Copy link
Copy Markdown
Collaborator

@hauntsaninja hauntsaninja left a comment

Choose a reason for hiding this comment

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

Thank you!

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.

mypy failed to narrow down union types including Self with isinstance

2 participants