`Any` subclass in `Dict` not being compatible with `Any` generates confusing message

Found by @nipunn1313 in python/typeshed#4237. Please consider:

from typing import Any, Dict

class Foo(Any):
    pass

d: Dict[Foo, Foo]

def bar(x: Dict[str, str]) -> None:
    pass

bar(d)  # error: Argument 1 to "bar" has incompatible type "Dict[Foo, Foo]"; expected "Dict[str, str]"

This fails with the error marked inline, while this passes:

from typing import Any, Dict

class Foo(Any):
    pass

foo: Foo

def bar(x: str) -> None:
    pass

bar(foo)

mypy version 0.780, Python 3.8.2.

Beginne damit, den bereitgestellten Python-Reproduzierer mit mypy auszuführen und seine Diagnosen für Dict[Foo, Foo] und Foo zu vergleichen, wobei das gemeldete Verhalten von mypy 0.780 als Baseline verwendet wird. Verfolge den Typkompatibilitätspfad für ein Dict, das eine Unterklasse von Any enthält. Erledigt ist die Aufgabe, wenn der Dict-Fall nicht mehr die verwirrende Meldung über inkompatible Typen erzeugt, während der skalare Any-Unterklassen-Fall gültig bleibt.