Incorrect type in error message when unpacking generator into list
Abierto
Nadie ha tomado este issue todavía.
bug
- Lenguaje dominante
- Python
- Estrellas
- 20.6k
- Forks
- 3.3k
- Merge medio
- 1 d 18 h
- PR fusionados (30 d)
- 54
Descripción
This is with mypy 0.670 on Python 3.7.2.
When checking the file foo.py:
from typing import List
x: List[List[str]] = [*([1] for i in range(10))]
mypy reports the error:
foo.py:4: error: List item 0 has incompatible type "Generator[List[int], None, None]"; expected "List[str]"
The correct error message should be:
foo.py:4: error: List item 0 has incompatible type "List[int]"; expected "List[str]"
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
Reproduce el informe de foo.py usando el ejemplo de desempaquetado de un generador e inspecciona el diagnóstico producido para el elemento de la lista. Sigue dónde se muestra el tipo del elemento del generador en el error y, a continuación, verifica que el diagnóstico indique List[int] en lugar de Generator[List[int], None, None], aunque siga esperando 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
- Bien especificado
- Aptitud para principiantes
- 32/100