(🎁) 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.

Beginne damit, die Diagnose anhand des Decorator-Beispiels im Issue zu reproduzieren, und verfolge, wie mypy die Anwendung des Decorators meldet. Es ist keine Quelldatei oder kein Test genannt, daher erfordert das Auffinden der relevanten Diagnose und die Entscheidung über die beabsichtigte Formulierung, die Implementierung des Type-Checkers zu untersuchen. Fertig ist die Änderung, wenn der Fehler die inkompatible Funktion, auf die der Decorator angewendet wird, klar identifiziert, statt ein Problem mit dem Aufruf des Decorators zu suggerieren.