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.

Bắt đầu bằng cách tái hiện ví dụ generic-union được cung cấp bằng mypy và kiểm tra đường dẫn kiểm tra kiểu cho các phép gán vào lvalues được định kiểu union. Được xem là hoàn tất khi phép gán bị từ chối nếu không an toàn đối với bất kỳ thành viên union nào, trong khi các phép gán hợp lệ vẫn tiếp tục được chấp nhận.