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.

Commencez par la reproduction minimale de CustomSet et TypeVar présente dans l’issue, puis suivez l’inférence de types génériques de mypy pour l’appel à CustomSet.add. Confirmez le comportement avec un test ciblé de vérification des types basé sur l’exemple ; le travail est terminé lorsque l’argument tuple est inféré et accepté sans annotation explicite incompatible.