`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.

Inizia eseguendo il riproduttore Python fornito con mypy e confronta le relative diagnosi per Dict[Foo, Foo] e Foo, usando come baseline il comportamento riportato di mypy 0.780. Traccia il percorso di compatibilità dei tipi per un Dict che contiene una sottoclasse di Any. Il lavoro è completato quando il caso Dict non produce più il messaggio fuorviante di tipo incompatibile, mentre il caso scalare di sottoclasse di Any rimane valido.