python / python/mypy

bogus complaint when checking Callable arguments

Offen
#18,689 1 Kommentar 0 Reaktionen 0 zugewiesene Personen Auf GitHub ansehen

Dieses Issue hat noch niemand übernommen.

bug topic-type-context topic-type-variables
Vorherrschende Sprache
Python
Sterne
20.6k
Forks
3.3k
PR-Merge-Kennzahlen
PR-Kennzahlen ausstehend

Beschreibung

Bug Report

mypy complains about correct code. it confuses the arguments to a Callable parameter with the return value of the function.

To Reproduce

https://gist.github.com/mypy-play/59b8705d6737e1f8f4855d7b2270e7e9

Expected Behavior

Code checks OK.

Actual Behavior

Bogus error:
Argument 1 to "test" has incompatible type "Callable[[str], bool]"; expected "Callable[[float | str], bool]" [arg-type]

Your Environment

mypy 1.15.0 (compiled: yes)
Python 3.13.2

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

Beginnen Sie mit der verlinkten mypy-play-Reproduktion und führen Sie sie mit mypy 1.15.0 unter Python 3.13.2 aus. Untersuchen Sie, warum das Callable-Argument mit dem Rückgabewert der Funktion verglichen wird; die Aufgabe ist erledigt, wenn die Reproduktion ohne den gemeldeten arg-type-Fehler die Typprüfung besteht.

Vom Indexierungsmodell aus dem Issue-Text verfasst.

Bewertung

Tech-Stack
python
Bereich
devtools
Issue-Typ
Bug
Schwierigkeit
4/5
Geschätzter Aufwand
3-5 Tage
Aktivitätsstatus
Veraltet
Klarheit
Größtenteils klar
Anfängerfreundlichkeit
35/100

Neue Issues direkt in Ihr Postfach

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