Redundant cast warning in nested function in a narrowed block
Abierto
Nadie ha tomado este issue todavía.
bug
false-positive
priority-0-high
topic-casts
- Lenguaje dominante
- Python
- Estrellas
- 20.6k
- Forks
- 3.3k
- Métricas de merge de PR
- Métricas de PR pendientes
Descripción
mypy version: 0.641
Given the following (in a file named test.py):
from typing import Optional, List, cast
things: Optional[List[int]] = None
others: List[int] = []
if things is not None:
filtered = filter(lambda x: x in cast(List[int], things), others)
Running mypy --warn-redundant-casts test.py gives the following warning:
test.py:7: note: Redundant cast to "List[int]"
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 de test.py con mypy 0.641 y --warn-redundant-casts. Rastrea cómo se gestiona el narrowing dentro del lambda y después añade una prueba de regresión para este caso; la tarea estará terminada cuando el ejemplo de función anidada ya no produzca una advertencia incorrecta de cast redundante.
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
- 45/100