`typing.TypeAliasType` cannot be used to declare self-referential types
Offen
Dieses Issue hat noch niemand übernommen.
bug
topic-pep-695
topic-recursive-types
- Vorherrschende Sprache
- Python
- Sterne
- 20.6k
- Forks
- 3.3k
- PR-Merge-Kennzahlen
- PR-Kennzahlen ausstehend
Beschreibung
Bug Report, To Reproduce, & Actual Behaviour
See mypy Playground:
type T = dict[str, "T"] # OK
from typing import TypeAliasType
T2 = TypeAliasType("T2", dict[str, "T2"]) # E: Cannot resolve name "T2" (possible cyclic definition) [misc]
Expected Behavior
Self-referential type successfully declared
Your Environment
- Mypy version used: 1.13.0
- Mypy command-line flags: (none)
- Mypy configuration options from
mypy.ini(and other config files): (none) - Python version used: 3.12
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
Reproduziere die gemeldete Diagnose im verlinkten mypy Playground mit Python 3.12 und dem TypeAliasType-Beispiel. Verfolge, wie mypy die zitierte Selbstreferenz in der TypeAliasType-Form auflöst, und überprüfe anschließend, dass das Beispiel akzeptiert wird, ohne die äquivalente type-Anweisung zu beeinträchtigen.
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
- 48/100