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.

Empieza con la reproducción mínima de CustomSet y TypeVar del issue y, después, sigue la inferencia de tipos genéricos de mypy para la llamada a CustomSet.add. Confirma el comportamiento con una prueba de comprobación de tipos centrada en el ejemplo; se considera terminado cuando el argumento de tipo tupla se infiere y se acepta sin una anotación explícita incompatible.