Difference between `builtins.type` and `Type[Any]`

Bug Report

I have a protocol:

class SupportsStr(Protocol):
    def __str__(self) -> str:
        ...

Surprisingly, builtins.type is compliant with this, while Type[Any] isn't.

To Reproduce

Link to mypy playground: https://mypy-play.net/?mypy=latest&python=3.11&gist=355a1b96812a523f6e374eb8ca6f4635

Expected Behavior

I would think both should be compliant, given that the typing.Type docs states that:

Type[Any] is equivalent to Type which in turn is equivalent to type, which is the root of Python’s metaclass hierarchy.

Actual Behavior

Surprisingly, builtins.type is compliant with this, while Type[Any] isn't.

Your Environment

See link to mypy playground.

Mypy 0.960 and python 3.11

まず、リンクされた mypy playground で不一致を再現し、指定された Python および mypy のバージョンで builtins.type と Type[Any] を比較します。SupportsStr プロトコルに対して各型がどのように解釈されるかを追跡し、文書化された同等性を考慮します。その期待どおりに動作し、回帰テストでカバーされれば完了です。