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

Inizia riproducendo la discrepanza nel mypy playground collegato, confrontando builtins.type con Type[Any] nelle versioni di Python e mypy indicate. Traccia il modo in cui ogni tipo viene interpretato per il protocollo SupportsStr e considera l'equivalenza documentata; il lavoro è completo quando il comportamento è coerente con tale aspettativa ed è coperto da un test di regressione.