(🐞) `|` operator with `_SpecialForm` determined to be `types.UnionType` it's actually `typing.Union`
Offen
Dieses Issue hat noch niemand übernommen.
bug
topic-pep-604
- Vorherrschende Sprache
- Python
- Sterne
- 20.6k
- Forks
- 3.3k
- PR-Merge-Kennzahlen
- PR-Kennzahlen ausstehend
Beschreibung
from typing import Any
print(reveal_type(int | Any)) # types.UnionType
> python test.py
typing.Union[int, typing.Any]
This causes issues with isinstance, despite the fact that isinstance can take a typing.Union.
from typing import Any
isinstance(1, str | Any) # no error
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 damit, die beiden Python-Snippets zu reproduzieren, die die Abweichung zwischen reveal_type(int | Any) und dem Laufzeit-ergebnis von typing.Union zeigen. Verfolge, wie mypy | behandelt, wenn _SpecialForm beteiligt ist, und überprüfe anschließend, dass der abgeleitete Typ mit dem Laufzeitverhalten übereinstimmt und das isinstance-Beispiel weiterhin fehlerfrei bleibt.
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
- 32/100