MyPy incorrectly tracks attribute type in chained ifs with assignment
Abierto
Nadie ha tomado este issue todavía.
bug
false-positive
priority-1-normal
- Lenguaje dominante
- Python
- Estrellas
- 20.6k
- Forks
- 3.3k
- Métricas de merge de PR
- Métricas de PR pendientes
Descripción
$ cat b.py
from typing import Optional
class A:
x: Optional[str]
def f(a: A) -> None:
if not a.x:
pass
elif a.x == "x":
a = A()
else:
y: str = a.x
$ mypy b.py
b.py:12: error: Incompatible types in assignment (expression has type "Optional[str]", variable has type "str")
$ mypy --version
mypy 0.701
The assignment a = A() should not affect the code in the else branch.
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 diagnóstico con b.py usando mypy 0.701 y luego rastrea el estrechamiento de tipos a través del if/elif/else encadenado y la reasignación de a. Se considera terminado cuando se acepta la asignación final a y, tratando a.x como str, sin cambiar el comportamiento reportado de las otras ramas.
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
- 42/100