mypy is unable to narrow a union type that includes a `StrEnum` subclass and a `Literal`
Nessuno ha ancora preso questa issue.
- Lingua principale
- Python
- Stelle
- 20.6k
- Fork
- 3.3k
- Metriche di merge delle PR
- Metriche PR in attesa
Descrizione
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
Guida per i contributori
Apri la guida per i contributori
Come iniziare
- Leggi tutta la issue e poi la guida ai contributi del progetto.
- Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
- Fai un fork del repository e lavora su un branch.
- Apri una pull request che faccia riferimento al numero della issue.
Direzione di ricerca
Inizia con la riproduzione collegata su mypy-play.net e confronta i tipi rivelati con l’output atteso e quello effettivo per le righe 12 e 14 di main.py. Analizza il comportamento del restringimento di una union per una sottoclasse di StrEnum combinata con Literal, quindi aggiungi o aggiorna la copertura per questo caso e verifica i tipi rivelati usando la suite di test del progetto.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Valutazione
- Stack tecnologico
- python
- Ambito
- devtools
- Tipo di issue
- Bug
- Difficoltà
- 4/5
- Tempo stimato
- 3-5 giorni
- Stato di attività
- Ferma
- Chiarezza
- Abbastanza chiara
- Idoneità per principianti
- 45/100