mypy reports an error when passing enum values as arguments
Nadie ha tomado este issue todavía.
- Lenguaje dominante
- Python
- Estrellas
- 20.6k
- Forks
- 3.3k
- Métricas de merge de PR
- Métricas de PR pendientes
Descripción
Bug Report
Starting with https://github.com/python/mypy/commit/1a04c073260c13107abfab6ae0ff4c8cc214eb54 @sterliakov enum values assigned to functions are typed as Callables. This seems to make mypy report an error when passing enum values to functions that expect the enum.
To Reproduce
from enum import Enum
import operator
class Op(Enum):
ADD = operator.add
SUB = operator.sub
MUL = operator.mul
def takes_op(op: Op, x: int, y: int):
return op.value(x, y)
print(takes_op(Op.ADD, 2, 2))
Expected Behavior
No error
Actual Behavior
/Users/psawicki/test.py:12: error: Argument 1 to "takes_op" has incompatible type "Callable[[Any, Any], Any]"; expected "Op" [arg-type]
Your Environment
- Mypy version used: mypy 1.20.0+dev.1a04c073260c13107abfab6ae0ff4c8cc214eb54 and up
- Mypy command-line flags:
mypy ~/test.py - Mypy configuration options from
mypy.ini(and other config files): None - Python version used: 3.13.5
Guía de contribución
Primeros pasos
- Lee el issue completo y luego la guía de contribución del proyecto.
- Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
- Haz un fork del repositorio y trabaja en una rama.
- Abre un pull request que haga referencia al número del issue.
Línea de trabajo
Ejecuta el ejemplo mínimo de Python del issue con mypy 1.20.0+dev.1a04c073260c13107abfab6ae0ff4c8cc214eb54 y sigue cómo se tipan los miembros de enum a los que se asignan valores invocables. Añade una prueba de regresión para pasar Op.ADD a takes_op y confirma que mypy no informa de ningún error de tipo de argumento.
Escrito por el modelo de indexación a partir del texto del issue.
Evaluación
- Stack tecnológico
- python
- Área
- compilers
- Tipo de issue
- Error
- Dificultad
- 3/5
- Tiempo estimado
- 1-2 días
- Estado de actividad
- Tranquilo
- Claridad
- Bastante claro
- Aptitud para principiantes
- 58/100