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

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Open

KotlinIsland opened this issue Jul 23, 2024 · 0 comments

Labels

bug

Contributor

KotlinIsland commented Jul 23, 2024

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__

KotlinIsland added the bug label

bzoracler mentioned this issue

type[...] objects don't support __qualname__ #19060

Closed

A5rocks marked this as a duplicate of #19060

A5rocks mentioned this issue

Use checkmember.py to check protocol subtyping #18943

Open

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment