False negative when lvalue has union type

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.

Beginne damit, das bereitgestellte generic-union-Beispiel mit mypy zu reproduzieren und den Type-Checking-Pfad für Zuweisungen an union-typisierte lvalues zu untersuchen. Als erledigt gilt die Aufgabe, wenn die Zuweisung abgelehnt wird, sobald sie für ein beliebiges Union-Mitglied unsicher ist, während gültige Zuweisungen weiterhin akzeptiert werden.