Inline any(filter(...)) false-positive errors
Nessuno ha ancora preso questa issue.
- Lingua principale
- Python
- Stelle
- 20.6k
- Fork
- 3.3k
- Metriche di merge delle PR
- Metriche PR in attesa
Descrizione
Bug Report
Looks like mypy loses information about filter parameters only when put directly (inline) into any function with list of objects.
- It works fine without
anyfunction for example using list:list(filter(...)). - It works fine with list of primitive types like integers:
any(filter(lambda x: x == 1, [1, 2, 3])). - Works fine when filter object is saved on variable before applying
any.
To Reproduce
https://mypy-play.net/?mypy=latest&python=3.11&gist=2a5a544f2e2ae02f57066ffe5adfa8b7
Expected Behavior
No errors
Actual Behavior
error: Argument 1 to "filter" has incompatible type "Callable[[Any], Any]"; expected "Callable[[Foo], TypeGuard[object]]" [arg-type]
error: "object" has no attribute "value" [attr-defined]
Found 2 errors in 1 file (checked 1 source file)
Your Environment
- Mypy version used: 1.5.1/1.6.0
- Mypy command-line flags: none
- Mypy configuration options from
mypy.ini(and other config files): not allowed to share but nothing special, just some import ignores - Python version used: 3.11.0rc1
Guida per i contributori
Apri la guida per i contributori
Come iniziare
- Leggi tutta la issue e poi la guida ai contributi del progetto.
- Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
- Fai un fork del repository e lavora su un branch.
- Apri una pull request che faccia riferimento al numero della issue.
Direzione di ricerca
Inizia dalla riproduzione mypy-play collegata e confronta il caso inline any(filter(...)) con gli esempi funzionanti che usano una lista, un primitivo e una variabile salvata. Traccia gli errori segnalati relativi all'argomento di filter e agli attributi dell'oggetto, quindi verifica che la riproduzione non produca errori senza introdurre regressioni nei casi funzionanti.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Valutazione
- Stack tecnologico
- python
- Ambito
- compilers
- Tipo di issue
- Bug
- Difficoltà
- 4/5
- Tempo stimato
- 3-5 giorni
- Stato di attività
- Ferma
- Chiarezza
- Abbastanza chiara
- Idoneità per principianti
- 45/100