Union subtyping doesn't work with covariant type constructors Tuple and Callable

Both calls in this code fail, but I think they should be allowed:

from typing import Callable, Union, Tuple

def f(x: Union[Callable[..., int], Callable[..., str]]) -> None: ...
x: Callable[..., Union[int, str]]
f(x)

def g(y: Union[Tuple[int], Tuple[str]]) -> None: ...
y: Tuple[Union[int, str]]
g(y)

Moreover, I would say types in each pair are actually equivalent.

Inizia riproducendo in mypy entrambe le chiamate che falliscono dell’issue. Il payload non indica alcun file sorgente né alcun punto di ingresso dei test, quindi individuare la logica del sottotipaggio delle unioni e dei costruttori covarianti richiederà di esplorare l’implementazione del type checker. Il lavoro è completato quando entrambe le chiamate vengono accettate con i tipi indicati senza indebolire i controlli dei tipi non correlati.