(🐞) Bad error message when invoking an overload with a bad call

This sample produces two error messages, the second is completely valid, but the first makes no sense.

from typing import overload

@overload
def foo(a: list[int]): ...
@overload
def foo(a: list[object]): ...
def foo(a): ...

foo(dict[str, list[object]]()[1])
# Argument 1 to "foo" has incompatible type "list[object]"; expected "list[int]"
# Invalid index type "int" for "dict[str, list[object]]"; expected type "str"

playground

Beginne mit dem bereitgestellten Reproduktionsbeispiel für overload und invalid-dictionary-index und verwende das verlinkte mypy-play-Beispiel, um beide Diagnosen zu beobachten. Verfolge, wie der overload-Aufruf und der ungültige Index gemeldet werden, und überprüfe anschließend, dass die erste Meldung nicht mehr irreführend ist, während der gültige Index-Typfehler bestehen bleibt. Füge einen Regressionstest hinzu oder aktualisiere ihn, falls während der Untersuchung die relevante Teststelle identifiziert wird.