Incompatible return value type `type[Enum]` when returning a functional-style Enum
Personne n'a encore pris cette issue.
- Langage dominant
- Python
- Étoiles
- 20.6k
- Forks
- 3.3k
- Métriques de merge des PR
- Métriques de PR en attente
Description
Bug Report
When returning a functional-style Enum class from a function with the return type type[Enum] mypy reports an error.
When the created Enum class is assigned to a variable and the variable is return, mypy does not report an error.
To Reproduce
from enum import Enum
def direct_return() -> type[Enum]:
return Enum("direct", {"a": 0}) # error: Incompatible return value type (got "Enum", expected "type[Enum]") [return-value]
def indirect_return() -> type[Enum]:
indirect = Enum("indirect", {"a": 0})
return indirect # no error as expected
Expected Behavior
no mypy warnings
Actual Behavior
main.py:4: error: Incompatible return value type (got "Enum", expected "type[Enum]") [return-value]
Your Environment
- Mypy version used:
1.9.0andmasteron mypy-play.net - Mypy command-line flags: mypy-play.net defaults
- Mypy configuration options from
mypy.ini(and other config files): mypy-play.net defaults - Python version used:
3.12
Guide de contribution
Ouvrir le guide de contribution
Par où commencer
- Lisez l'issue en entier, puis le guide de contribution du projet.
- Signalez en commentaire que vous la prenez — cela évite que deux personnes fassent le même travail.
- Forkez le dépôt et travaillez sur une branche.
- Ouvrez une pull request qui référence le numéro de l'issue.
Piste de recherche
Commencez par reproduire les exemples direct_return et indirect_return avec mypy 1.9.0 ou master, en utilisant comme référence le comportement du playground lié. Suivez la manière dont les appels à Enum de style fonctionnel sont inférés dans le vérificateur de types, puis ajoutez un test de régression montrant que les deux fonctions retournent sans avertissements.
Rédigé par le modèle d'indexation à partir du texte de l'issue.
Évaluation
- Stack technique
- python
- Domaine
- devtools
- Type d'issue
- Bug
- Difficulté
- 3/5
- Temps estimé
- 1-2 jours
- Activité
- À l'abandon
- Clarté
- Plutôt claire
- Accessibilité débutants
- 48/100