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.

Inizia con la riproduzione minima di CustomSet e TypeVar nell’issue, quindi traccia l’inferenza dei tipi generici di mypy per la chiamata a CustomSet.add. Conferma il comportamento con un test mirato di type checking basato sull’esempio; il lavoro è completato quando l’argomento tupla viene inferito e accettato senza un’annotazione esplicita incompatibile.