Mypy is still too eager about outer context

Consider this example:

T = TypeVar('T')
S = TypeVar('S')

def add(x: List[T], y: List[S]) -> List[Union[T, S]]: ...

a: List[int]
b: List[str]

e: List[Union[int, str]] = add(a, b)

It fails on the last line with the following (I skip invariance notes):

error: Argument 1 to "add" has incompatible type "List[int]"; expected "List[Union[int, str]]"
error: Argument 2 to "add" has incompatible type "List[str]"; expected "List[Union[int, str]]"

If I remove the annotation for e, everything works fine.

When previously working on the external context issues, I found that I don't like how constrains for unions against unions are inferred (not that they are wrong, just counterintuitive). For example, Union[T, S] <: Union[str, int] infers T < : Union[str, int] and S <: Union[str, int], which is technically fine, but leads to errors like above.

This blocks https://github.com/python/mypy/pull/5873

Bắt đầu bằng cách tái hiện ví dụ add(a, b) có chú thích bằng mypy và đọc phần thảo luận xung quanh pull request 5873 được tham chiếu. Xác định việc suy luận ràng buộc dự kiến cho union đối với union, sau đó xác minh rằng ví dụ hoạt động thành công mà không gây ra hồi quy.