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

Inizia con il riproduttore fornito per overload e invalid-dictionary-index, usando l’esempio mypy-play collegato per osservare entrambe le diagnostiche. Traccia il modo in cui vengono segnalati la chiamata a overload e l’indice non valido, quindi verifica che il primo messaggio non sia più fuorviante mentre l’errore di tipo dell’indice valido rimane. Aggiungi o aggiorna un test di regressione se durante l’indagine viene identificata la posizione di test pertinente.