Unexpected behavior with type narrowing and `Callable`
Dieses Issue hat noch niemand übernommen.
- Vorherrschende Sprache
- Python
- Sterne
- 20.6k
- Forks
- 3.3k
- Ø Merge
- 1 T. 18 Std.
- Gemergte PRs (30 T.)
- 54
Beschreibung
Bug Report
I can't really describe the bug well, but hopefully the gist below illustrates it. I'm attempting to go from a list of Callables that includes types (e.g. int, float, etc.) and narrow that to a list of types.
To Reproduce
https://mypy-play.net/?mypy=1.8.0&python=3.11&gist=05a1003c1414446f7196ec4c7c57ded7
Expected Behavior
The gist has no type errors.
Actual Behavior
main.py:5: error: List comprehension has incompatible type List[Callable[..., SupportsComplex]]; expected List[type] [misc]
Found 1 error in 1 file (checked 1 source file)
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 dem verlinkten mypy-play-Gist, verwende mypy 1.8.0 und Python 3.11 und reproduziere den unter main.py:5 gemeldeten Fehler. Verfolge die Typ-Eingrenzung im Zusammenhang mit Callable und type und überprüfe anschließend, dass das Beispiel keine Typfehler erzeugt.
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