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.

Beginne mit der minimalen CustomSet- und TypeVar-Reproduktion im Issue und verfolge dann mypy's generische Typinferenz für den Aufruf von CustomSet.add. Bestätige das Verhalten mit einem fokussierten Type-Checking-Test auf Grundlage des Beispiels; abgeschlossen ist die Aufgabe, wenn das Tupelargument inferiert und ohne eine inkompatible explizite Annotation akzeptiert wird.