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

まず、提供された Python 再現コードを mypy で実行し、報告されている mypy 0.780 の動作をベースラインとして、Dict[Foo, Foo] と Foo の診断を比較します。サブクラスの Any を含む Dict について、型互換性の経路を追跡します。Dict のケースで紛らわしい incompatible-type メッセージが生成されなくなり、一方でスカラーの Any サブクラスのケースが有効なままであれば完了です。