Skip to content

Improve negative narrowing for membership checks on tuples#21456

Open
hauntsaninja wants to merge 4 commits intopython:masterfrom
hauntsaninja:tuplenarrow
Open

Improve negative narrowing for membership checks on tuples#21456
hauntsaninja wants to merge 4 commits intopython:masterfrom
hauntsaninja:tuplenarrow

Conversation

@hauntsaninja
Copy link
Copy Markdown
Collaborator

Related to #21411

@hauntsaninja hauntsaninja marked this pull request as draft May 10, 2026 08:49
@github-actions

This comment has been minimized.

@github-actions

This comment has been minimized.

@hauntsaninja hauntsaninja marked this pull request as ready for review May 10, 2026 09:33
@hauntsaninja hauntsaninja marked this pull request as draft May 10, 2026 10:00
@github-actions

This comment has been minimized.

@hauntsaninja hauntsaninja marked this pull request as ready for review May 10, 2026 10:23
@github-actions
Copy link
Copy Markdown
Contributor

Diff from mypy_primer, showing the effect of this PR on open source code:

spark (https://github.com/apache/spark)
- python/pyspark/pandas/utils.py:755: error: Unused "type: ignore" comment  [unused-ignore]

core (https://github.com/home-assistant/core)
+ homeassistant/components/conversation/trigger.py:131: error: Unused "type: ignore" comment  [unused-ignore]

discord.py (https://github.com/Rapptz/discord.py)
- discord/appinfo.py:458: error: Unsupported right operand type for in ("list[str] | None")  [operator]
- discord/appinfo.py:464: error: Item "None" of "Permissions | None" has no attribute "value"  [union-attr]
- discord/appinfo.py:478: error: Unsupported right operand type for in ("list[str] | None")  [operator]
- discord/appinfo.py:484: error: Item "None" of "Permissions | None" has no attribute "value"  [union-attr]
- discord/guild.py:3413: error: Item "None" of "Snowflake | None" has no attribute "id"  [union-attr]
- discord/guild.py:3413: error: Incompatible types in assignment (expression has type "int | Any", target has type "str")  [assignment]
+ discord/guild.py:3413: error: Incompatible types in assignment (expression has type "int", target has type "str")  [assignment]
- discord/app_commands/tree.py:444: error: Missing return statement  [return]
- discord/app_commands/tree.py:561: error: Missing return statement  [return]

werkzeug (https://github.com/pallets/werkzeug)
+ src/werkzeug/middleware/http_proxy.py:140: error: Unused "type: ignore" comment  [unused-ignore]

archinstall (https://github.com/archlinux/archinstall)
+ archinstall/lib/menu/util.py:28: error: Statement is unreachable  [unreachable]

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.

1 participant