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

Comienza reproduciendo el diagnóstico con el ejemplo del decorador incluido en el issue y rastrea cómo mypy informa sobre la aplicación del decorador. No se indica ningún archivo fuente ni ninguna prueba, por lo que localizar el diagnóstico relevante y decidir la redacción prevista requerirá explorar la implementación del comprobador de tipos. Se considera terminado cuando el error identifique claramente la función incompatible a la que se aplica el decorador, en lugar de implicar que hay un problema con la llamada al decorador.