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.

Beginne damit, beide fehlschlagenden Aufrufe aus dem Issue in mypy nachzustellen. Die Payload nennt keine Quelldatei und keinen Test-Einstiegspunkt, daher wird das Auffinden der Logik für Union-Subtyping und kovariante Konstruktoren das Erkunden der Type-Checker-Implementierung erfordern. Erledigt ist die Aufgabe, wenn beide Aufrufe mit den angegebenen Typen akzeptiert werden, ohne andere Typprüfungen abzuschwächen.