python / python/mypy

Cannot combine iterables of Callable classes

Offen
#19,091 0 Kommentare 0 Reaktionen 0 zugewiesene Personen Auf GitHub ansehen

Dieses Issue hat noch niemand übernommen.

bug topic-join-v-union
Vorherrschende Sprache
Python
Sterne
20.6k
Forks
3.3k
PR-Merge-Kennzahlen
PR-Kennzahlen ausstehend

Beschreibung

Bug Report

Combining iterables of Callable classes fails type checking. Initially observed in PyTorch, see https://github.com/pytorch/pytorch/pull/153558/files#diff-f6db1b80859c6471ce6e5eb1fc0e31ec094d550e328eeec49076fd346439de91R88

To Reproduce

https://mypy-play.net/?mypy=latest&python=3.13&gist=f51186b431defd72652a9dd1c7ca0b48

Expected Behavior

All assignments in the repro should validate.

Actual Behavior

main.py:15: error: Incompatible types in assignment (expression has type "list[object]", variable has type "list[Callable[..., Any]]")  [assignment]
main.py:20: error: Incompatible types in assignment (expression has type "list[object]", variable has type "list[Callable[..., Any]]")  [assignment]
Found 2 errors in 1 file (checked 1 source file)

Your Environment

  • Mypy version used: 1.15.0, also observed on 1.14.0.
  • Python version used: 3.13, observed as far back as 3.9 locally.
  • See mypy-play.net repro for any other environment questions.

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 damit, die verlinkte Reproduktion auf mypy-play.net mit mypy 1.15.0 auszuführen, und vergleiche deren Diagnosen mit dem erwarteten Verhalten. Verfolge den Typprüfpfad für das Kombinieren von Iterables aus Callable-Klassen; abgeschlossen ist die Aufgabe, wenn alle Zuweisungen in der Reproduktion ohne die gemeldeten list[object]-Fehler validiert werden.

Vom Indexierungsmodell aus dem Issue-Text verfasst.

Bewertung

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

Neue Issues direkt in Ihr Postfach

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