(🎁) Error messages for decorator applications have a very bad UX

from typing import Callable

def decorator(f: object) -> Callable[[Callable[[int], object]], None]: ...

def f(a: int) -> None: ...

@decorator(f)  # error: Argument 1 has incompatible type "Callable[[], Any]"; expected "Callable[[int], object]"  [arg-type]
def something(): ...

So the error is that the function something doesn't have the right type for the decorator, but the message is quite misleading, it reads like the error is with the call to decorator and f.

Inizia riproducendo il diagnostico con l’esempio di decoratore nell’issue e segui come mypy segnala l’applicazione del decoratore. Non sono indicati né un file sorgente né un test, quindi individuare il diagnostico pertinente e decidere la formulazione prevista richiederà di esplorare l’implementazione del type-checker. Il lavoro è completato quando l’errore identifica chiaramente la funzione incompatibile a cui viene applicato il decoratore, invece di far pensare che ci sia un problema con la chiamata al decoratore.