python / python/mypy

Inline any(filter(...)) false-positive errors

Offen
#16,277 0 Kommentare 1 Reaktion 0 zugewiesene Personen Auf GitHub ansehen

Dieses Issue hat noch niemand übernommen.

bug topic-type-context
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 any function 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

Beitragsleitfaden öffnen

Erste Schritte

  1. Lies das ganze Issue und danach den Beitragsleitfaden des Projekts.
  2. Schreib ins Issue, dass du es übernimmst — das erspart doppelte Arbeit.
  3. Forke das Repository und arbeite in einem Branch.
  4. Ö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

Neue Issues direkt in Ihr Postfach

Eine kurze Übersicht über anfängerfreundliche GitHub-Issues.