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

Comienza reproduciendo la discrepancia en el mypy playground enlazado, comparando builtins.type con Type[Any] bajo las versiones de Python y mypy indicadas. Traza cómo se interpreta cada tipo para el protocolo SupportsStr y considera la equivalencia documentada; el trabajo estará terminado cuando el comportamiento sea coherente con esa expectativa y esté cubierto por una prueba de regresión.