Author kj
Recipients BvB93, Jelle Zijlstra, farcat, gvanrossum, kj, lars2, lukasz.langa, miss-islington, pablogsal, serhiy.storchaka, uriyyo
Date 2021-08-19.17:50:08
SpamBayes Score -1.0
Marked as misclassified Yes
Message-id <1629395408.24.0.325604349755.issue44524@roundup.psfhosted.org>
In-reply-to
Content
> Now a subclass of an Annotated alias is a generic type. Should it be?

I'm unsure if Annotated should be subclassable in the first place, but if I understand PEP 593 correctly,
class X(Annotated[int, (1, 10)]), should be equivalent to class X(int) right? If that's the case, it's subclassable and Generic shouldn't be in the MRO.

FWIW, the other special forms don't allow subclassing, so we don't need to think about this problem for them. Annotated is a special cookie.

I propose we just drop the _name hack temporarily in Annotated. A real fix requires fixing up __mro_entries__, but I am uncomfortable with us backporting to 3.10 anything that touches __mro_entries__ due to the numerous edge cases it has and how close we are to 3.10 final.
History
Date User Action Args
2021-08-19 17:50:08kjsetrecipients: + kj, gvanrossum, farcat, lukasz.langa, serhiy.storchaka, Jelle Zijlstra, pablogsal, miss-islington, uriyyo, BvB93, lars2
2021-08-19 17:50:08kjsetmessageid: <1629395408.24.0.325604349755.issue44524@roundup.psfhosted.org>
2021-08-19 17:50:08kjlinkissue44524 messages
2021-08-19 17:50:08kjcreate