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

Bắt đầu bằng cách chạy mypy trên ví dụ Protocol được cung cấp và so sánh chẩn đoán phép gán với việc truy cập thuộc tính thành công trên type[object]. Theo dõi đường đi của quá trình kiểm tra kiểu đối với khả năng tương thích của Protocol và các đối tượng kiểu; hoàn tất khi ví dụ xử lý type[object] nhất quán với Type protocol đã khai báo mà không gây hồi quy cho các kiểm tra liên quan.