(🐞) 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

Beginne mit dem Lesen von infer_overload_return_type und reproduziere das bereitgestellte Beispiel, um zu beobachten, wie sich der Fehler bei einem unabhängigen Ausdruck auf die Überladungsauswahl auswirkt. Verfolge, wie Argumentausdrücke inferiert werden und wie jede Überladung geprüft wird. Die Aufgabe ist abgeschlossen, wenn das Beispiel str offenlegt und gleichzeitig die normale Fehlerberichterstattung für tatsächlich ungültige Aufrufe beibehält.