Regression with covariant type through built-in function
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
Regression from 1.6.1 to 1.7: when passing a simple covariant type through a builtin (like sorted) the return type becomes a wider generic based type.
To Reproduce
def foo(a: list[int] | list[str]) -> list[int] | list[str]:
return sorted(a)
Expected Behavior
running mypy on the simple code above produces no error in 1.6.1.
Actual Behavior
error: Incompatible return value type (got "list[SupportsDunderLT[Any] | SupportsDunderGT[Any]]", expected "list[int] | list[str]") [return-value]
Your Environment
Regression from 1.6.1 to 1.7.0. Seen on multiple python versions (3.10, 3.11)
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 ejecutando el reproductor proporcionado con mypy 1.6.1 y 1.7.0 en Python 3.10 o 3.11 para confirmar la regresión. Rastrea el procesamiento de la llamada integrada sorted y la inferencia de uniones covariantes; después, añade una prueba de regresión que muestre que el resultado se acepta como list[int] | list[str].
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
- 4/5
- Tiempo estimado
- 3-5 días
- Estado de actividad
- Estancado
- Claridad
- Bastante claro
- Aptitud para principiantes
- 35/100