Same variable with a union type is not checked in "lockstep" within an expression

Test env:

• mypy 0.670
• Python 3.7.2

Test code

from typing import List, Union


def f(x: Union[int, List[int]]) -> None:  # `TypeVar` can fix it
    x + x

Run mypy with default option, will get

a.py:5: error: Unsupported operand types for + ("int" and "List[int]")
a.py:5: error: Unsupported operand types for + ("List[int]" and "int")
a.py:5: note: Both left and right operands are unions

But actually, both left and right operands are same variable. Only int + int or List[int] + List[int] here. It seems like mypy does not consider object identity. And I'm not sure this is a bug, because above code is meaningless.

Bắt đầu bằng cách chạy ví dụ Python 3.7 được cung cấp với các tùy chọn mặc định của mypy và so sánh các tổ hợp union được báo cáo với hành vi mà issue mong đợi. Đọc đường dẫn kiểm tra kiểu cho các toán hạng lặp lại trong một biểu thức, sau đó xác định xem danh tính đối tượng có nên ảnh hưởng đến chẩn đoán hay không và bổ sung phạm vi kiểm thử hồi quy nếu hành vi đó được chấp nhận.