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

Comienza ejecutando el reproductor de Python proporcionado con mypy y compara sus diagnósticos para Dict[Foo, Foo] y Foo, usando como línea base el comportamiento informado de mypy 0.780. Rastrea la ruta de compatibilidad de tipos para un Dict que contiene una subclase de Any. Se considera terminado cuando el caso de Dict ya no produce el confuso mensaje de tipo incompatible, mientras que el caso escalar de subclase de Any sigue siendo válido.