(🐞) [1.15 REGRESSION] tuple fallback reports any expression
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
# mypy: allow-any-expr=False
a: tuple[int, int]
print(a[:]) # Expression type contains "Any" (has type "tuple[int, int]") [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
Start with the provided Python reproduction and run it against mypy 1.15.0, using the linked playground to confirm the regression. Trace handling of the tuple slice and the allow-any-expr diagnostic; done means the valid tuple expression no longer reports that Any error while the relevant checks remain intact.
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
- 35/100