(🎁) Perform 'union math' on non overloaded calls

Here the call to f is distributing the generic over the return type (based), but the call to the standalone function can't be resolved

from typing import Iterable, overload, TypeVar

a: list[int] | list[str]

@overload
def f[T](i: list[T]) -> list[T]: ...
@overload
def f() -> None: ...
def f[T](i: list[T] = []) -> list[T] | None: ...

reveal_type(f(a))  # list[int] | list[str]

def g[T](i: list[T]) -> list[T]: return []

reveal_type(g(a))  # error: Cannot infer type argument 1 of "g"  [misc]

playground

What's happening here is that union_overload_result, which is intended for when a call with a union would match multiple overload parts, is matching twice against the same overload, resulting is a more accurate return type.

Inizia riproducendo l’esempio nel mypy playground collegato, quindi segui la logica di union_overload_result descritta nell’issue. Il lavoro è completato quando una chiamata generica autonoma si distribuisce su un’unione e inferisce il corrispondente tipo di ritorno unione senza l’attuale errore di inferenza, mantenendo corretto il comportamento esistente degli overload.