False negative when lvalue has union type
Abierto
Nadie ha tomado este issue todavía.
affects-mypyc
bug
topic-union-types
- Lenguaje dominante
- Python
- Estrellas
- 20.6k
- Forks
- 3.3k
- Métricas de merge de PR
- Métricas de PR pendientes
Descripción
Mypy generates no error, even though the code is unsafe:
class C[T]:
a: T
def f(x: C[int] | C[str]) -> None:
x.a = 1 # No error
c = C[str]()
f(c)
print(c.a, type(c.a)) # 1, int
I'd expect x.a = 1 to generate an error, since the assignment is unsafe.
I suspect that the lvalue type is inferred as int | str, and mypy thinks it's fine. instead, assignment should be valid for each union item separately.
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 generic-union proporcionado con mypy e inspecciona la ruta de comprobación de tipos para las asignaciones a lvalues tipados como unión. Se considera terminado cuando la asignación se rechaza si no es segura para alguno de los miembros de la unión, mientras que las asignaciones válidas siguen pasando.
Escrito por el modelo de indexación a partir del texto del issue.
Evaluación
- Stack tecnológico
- python
- Área
- compilers, devtools
- 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