(🐞) `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__

首先在提供的 Protocol 示例上运行 mypy，并将赋值诊断与对 type[object] 的属性访问成功进行比较。跟踪 Protocol 兼容性和类型对象的类型检查路径；完成的标准是示例以与声明的 Type protocol 一致的方式处理 type[object]，且不使相关检查发生回归。