`Expression type contains "Any"` false positive when casting tuple
Open
Nobody has claimed this yet.
bug
topic-disallow-any
- Dominant language
- Python
- Stars
- 20.6k
- Forks
- 3.3k
- PR merge metrics
- PR metrics pending
Description
from typing import cast
cast(tuple[int, int], tuple(value for value in [1, 2]))
main.py:3: error: Expression type contains "Any" (has type "Generator[Any, None, None]") [misc]
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Reproduce the report from main.py using the linked mypy playground and the shown strict flags. Trace how the tuple comprehension is inferred before cast() and how disallow-any-expr reports it. Done means the example no longer produces a false-positive Expression type contains "Any" error while genuine Any expressions remain reported.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- python
- Domain
- compilers
- Issue type
- Bug
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 38/100