mypy is unable to narrow a union type that includes a `StrEnum` subclass and a `Literal`
Dieses Issue hat noch niemand übernommen.
- Vorherrschende Sprache
- Python
- Sterne
- 20.6k
- Forks
- 3.3k
- PR-Merge-Kennzahlen
- PR-Kennzahlen ausstehend
Beschreibung
Bug Report
As per the title, see the gist for an example. The issue does not occur when using Enum instead of StrEnum.
To Reproduce
https://mypy-play.net/?gist=cf9926c276e8fe0f48d7d20b7ebf2b6e
Expected Behavior
The output should be
main.py:12: note: Revealed type is "Literal['none']"
main.py:14: note: Revealed type is "__main__.Color"
Actual Behavior
The output is
main.py:12: note: Revealed type is "__main__.Color | Literal['none']"
main.py:14: note: Revealed type is "__main__.Color | Literal['none']"
Your Environment
- Mypy version used: 1.19.1
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 der verlinkten Reproduktion auf mypy-play.net und vergleiche die aufgedeckten Typen mit der erwarteten und der tatsächlichen Ausgabe für die Zeilen 12 und 14 von main.py. Verfolge das Verhalten bei der Eingrenzung einer Union für eine mit Literal kombinierte StrEnum-Unterklasse, füge anschließend Abdeckung für diesen Fall hinzu oder aktualisiere sie und überprüfe die aufgedeckten Typen mithilfe der Testsuite des Projekts.
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
- 45/100