Improve error message when using `TypeVar` in functions

We're trying to add static typing support to the Application object in aiohttp. Currently the latest proposal is to define a custom key which can be used something like:

k = AppKey("k", int)
app[k] = "foo"

The method definition looks like:

def __setitem__(self, key: AppKey[_T], value: _T) -> None:

The problem is, that example produces a rather uninformative error:

Cannot infer type argument 1 of "__setitem__" of "Application"  [misc]

I'd really like to see something along the lines of "str" is not compatible with "int" so the user can easily understand the issue.

Related PR: https://github.com/aio-libs/aiohttp/pull/6498

Reproduzieren Sie das Beispiel mit Application.setitem, AppKey und TypeVar und verfolgen Sie anschließend mypys Typinferenz für generische Funktionen sowie die Diagnosebehandlung für den gemeldeten [misc]-Fehler. Als erledigt gilt die Aufgabe, wenn dieselbe Nichtübereinstimmung eine verwertbare Meldung wie "str" is not compatible with "int" erzeugt und das relevante Verhalten durch mypy-Tests abgedeckt ist.