Inline any(filter(...)) false-positive errors
Dieses Issue hat noch niemand übernommen.
- Vorherrschende Sprache
- Python
- Sterne
- 20.6k
- Forks
- 3.3k
- PR-Merge-Kennzahlen
- PR-Kennzahlen ausstehend
Beschreibung
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
Beitragsleitfaden
Erste Schritte
- Lies das ganze Issue und danach den Beitragsleitfaden des Projekts.
- Schreib ins Issue, dass du es übernimmst — das erspart doppelte Arbeit.
- Forke das Repository und arbeite in einem Branch.
- Öffne einen Pull Request, der die Issue-Nummer nennt.
Rechercherichtung
Beginne mit der verknüpften mypy-play-Reproduktion und vergleiche den inline-Fall any(filter(...)) mit den funktionierenden Beispielen für Listen, Primitive und gespeicherte Variablen. Verfolge die gemeldeten Fehler bei Filterargumenten und Objektattributen und überprüfe anschließend, dass die Reproduktion keine Fehler erzeugt, ohne die funktionierenden Fälle zu beeinträchtigen.
Vom Indexierungsmodell aus dem Issue-Text verfasst.
Bewertung
- Tech-Stack
- python
- Bereich
- compilers
- Issue-Typ
- Bug
- Schwierigkeit
- 4/5
- Geschätzter Aufwand
- 3-5 Tage
- Aktivitätsstatus
- Veraltet
- Klarheit
- Größtenteils klar
- Anfängerfreundlichkeit
- 45/100