(🐞) `type` doesn't meet it's own type as a protocol

from typing import Protocol


class Type(Protocol):
    __name__: str
    __qualname__: str
    __module__: str


a: type[object]
b: Type = object
c: Type = a  # error: Incompatible types in assignment (expression has type "type[object]", variable has type "Type")  [assignment]
a.__name__
a.__qualname__
a.__module__

Empieza ejecutando mypy en el ejemplo de Protocol proporcionado y compara el diagnóstico de asignación con el acceso exitoso al atributo en type[object]. Traza el recorrido de comprobación de tipos para la compatibilidad con Protocol y los objetos de tipo; se considera terminado cuando el ejemplo trata type[object] de forma coherente con el Type protocol declarado sin introducir regresiones en las comprobaciones relacionadas.