(🐞) `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] を扱うことです。