Incorrect type inference when using generics of "union" TypeVars

from typing import MutableSet, Sequence, TypeVar

T = TypeVar('T', str, Sequence[str])

class CustomSet(MutableSet[T]):
    def add(self, value: T) -> None:
        pass

foo = CustomSet()
foo.add(('a', 'b'))

mypy 0.740 says: error: Argument 1 to "add" of "CustomSet" has incompatible type "Tuple[str, str]"; expected "str"

There's seemingly nothing I can do to get mypy to handle this pattern correctly. If I try explicitly specifying the type of foo, it just complains that the assignment to it is incompatible.

Bắt đầu với bản tái hiện tối thiểu của CustomSet và TypeVar trong issue, sau đó lần theo quá trình suy luận kiểu generic của mypy cho lệnh gọi CustomSet.add. Xác nhận hành vi bằng một bài kiểm tra type-checking tập trung dựa trên ví dụ; được xem là hoàn thành khi đối số tuple được suy luận và được chấp nhận mà không cần annotation tường minh không tương thích.