(🐞) Overload matching fails when sub expression contains an unrelated error

from dataclasses import dataclass
from typing import Generic, _T as T, overload

@dataclass
class A(Generic[T]):
    it: T

@overload
def foo(x: A[int]) -> int: ...
@overload
def foo(x: A[str]) -> str: ...

reveal_type(foo(A(str(1 + ""))))  # int; expected str

I think that the solution would be to change the current logic in infer_overload_return_type to something like:

• infer the types of the argument expressions in the call site without the callabletype typecontext
• check each overload against the inferred types
• If the types of the expressions match the types of the arguments, then the overload is matched.
• check the call against the matching overload as normal to generate error messages

links ⛓

• super issue of #16025
• Related #16101

Inizia leggendo infer_overload_return_type e riproduci l’esempio fornito per osservare come l’errore di un’espressione non correlata influisce sulla selezione dell’overload. Traccia il modo in cui vengono inferite le espressioni degli argomenti e come viene verificato ogni overload. Il lavoro è completo quando l’esempio rivela str mantenendo al contempo la normale segnalazione degli errori per le chiamate realmente non valide.