[issue44975] [typing] Runtime protocols with ClassVar data members should support issubclass

[Ken Jin]

New submission from Ken Jin <kenjin4096 at gmail.com>:

This is a feature request by a user at https://github.com/python/typing/issues/822.

A copy of their request:
Currently issubclass cannot be used for runtime_checkable protocols with data members, because those attributes could be set in __init__. I propose to relax this restriction to allow protocols with ClassVar members, as those should be present in the class definition.

I'm unsure if I need to update PEP 544 too. I don't remember if PEPs can be updated when 'Accepted', or was it 'Final' PEPs that can't be updated anymore?

----------
assignee: kj
components: Library (Lib)
messages: 400059
nosy: Jelle Zijlstra, gvanrossum, kj
priority: normal
severity: normal
status: open
title: [typing] Runtime protocols with ClassVar data members should support issubclass
type: enhancement
versions: Python 3.11

_______________________________________
Python tracker <report at bugs.python.org>
<https://bugs.python.org/issue44975>
_______________________________________