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

Commencez par exécuter le reproducteur Python fourni avec mypy et comparez ses diagnostics pour Dict[Foo, Foo] et Foo, en utilisant comme référence le comportement signalé de mypy 0.780. Suivez le chemin de compatibilité des types pour un Dict contenant une sous-classe de Any. C’est terminé lorsque le cas Dict ne produit plus le message déroutant de type incompatible, tandis que le cas scalaire de sous-classe de Any reste valide.