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.

Issue にある最小限の CustomSet と TypeVar の再現例から始め、CustomSet.add の呼び出しに対する mypy のジェネリック型推論を追跡します。例に基づく焦点を絞った型チェックテストで動作を確認します。タプル引数が推論され、互換性のない明示的なアノテーションなしで受け入れられれば完了です。