[Bug] Using `filter` in `itertools.chain` makes them both infer wrong types.
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
Repro:
import itertools
from typing import List
x: List[int] = [1, 2, 3]
y: List[str] = [" ", "", "abc"]
it = itertools.chain(x, filter(lambda s: s.strip() == "", y))
reveal_type(it)
Actual output:
main.py:8: error: "object" has no attribute "strip"
main.py:9: note: Revealed type is 'itertools.chain[builtins.object*]'
Expected output:
I was expecting no errors and didn't expect filter to be affected by what it is put in, i.e. if you put filter call separate from itertools.chain, it prevents the first errors about missing strip attr:
f = filter(lambda s: s.strip() == "", y)
it = itertools.chain(x, f)
reveal_type(it)
The revealed type is still wrong though.
Python version: 3.7.6
Mypy version: 0.760 (still occurs on master)
Used flags: --strict
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
Empieza reproduciendo el ejemplo proporcionado con mypy 0.760 o con el master actual bajo --strict, comparando las formas de filtro inline y separada. El payload no menciona archivos fuente ni tests; se considera terminado cuando la forma inline no informa de que falta el atributo strip y revela un tipo apropiado del elemento de la cadena en lugar de object.
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
- 4/5
- Tiempo estimado
- 3-5 días
- Estado de actividad
- Estancado
- Claridad
- Bastante claro
- Aptitud para principiantes
- 38/100