`assert_type` fails to fail for `NoReturn`
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
In a case that mypy deems impossible (i.e. type narrowed to NoReturn), it's currently impossible to cause assert_type to fail.
Similarly, reveal_type has no effect in the case of NoReturn.
To Reproduce
https://mypy-play.net/?mypy=latest&python=3.11&gist=10400960688da44ab22b58df6c297f50
Expected Behavior
Three assert_type failures.
Actual Behavior
Only one assert_type failure.
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 la reproducción enlazada en mypy-play y compara los tres errores esperados de assert_type con el único error real. Sigue cómo assert_type y reveal_type gestionan un tipo reducido a NoReturn y, después, añade cobertura de regresión para este caso. Se considera terminado cuando las tres aserciones fallan como se espera y el comportamiento correspondiente de reveal_type está cubierto.
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
- Estancado
- Claridad
- Bastante claro
- Aptitud para principiantes
- 38/100