mypy cannot decide if a cast is necessary or redundant
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
Here a case where mypy says a cast is redundant, but if you remove the cast, mypy cannot infer the right type.
To Reproduce
Expected Behavior
Either no error with the cast or no error without the cast.
Actual Behavior
Using a type cast, mypy says it's not needed.
Without the type cast, mypy cannot infer the type.
Your Environment
- Mypy version used: 2.10
- Mypy configuration options from
mypy.ini(and other config files): warn_redundant_casts = true - Python version used: 3.14
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
Comienza con el Gist enlazado y la reproducción en mypy-playground con warn_redundant_casts habilitado, y luego rastrea cómo mypy comprueba el cast e infiere la expresión sin él. Confirma el comportamiento con las versiones de Python y mypy indicadas. Se considera terminado cuando el ejemplo no produce ningún error con el cast ni sin él.
Escrito por el modelo de indexación a partir del texto del issue.
Evaluación
- Stack tecnológico
- python
- Área
- devtools
- 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