Ken Jin <kenjin4...@gmail.com> added the comment:

Apologies if I misunderstood something, but doesn't PEP 544 also state in its 
"Rationale", "Non-goals" subsection that

"""
At runtime, protocol classes will be simple ABCs. There is no intent to provide 
sophisticated runtime instance and class checks against protocol classes. This 
would be difficult and error-prone and will contradict the logic of PEP 484.
"""

https://www.python.org/dev/peps/pep-0544/#non-goals

Which means that the Python runtime isn't supposed to check that, instead it's 
the static type checker's responsibility?

----------
nosy: +gvanrossum, kj, levkivskyi

_______________________________________
Python tracker <rep...@bugs.python.org>
<https://bugs.python.org/issue43512>
_______________________________________
_______________________________________________
Python-bugs-list mailing list
Unsubscribe: 
https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com

Reply via email to