This issue tracker has been migrated to GitHub, and is currently read-only.
For more information, see the GitHub FAQs in the Python's Developer Guide.

Author kj
Recipients gvanrossum, kj, levkivskyi, paul-dest
Date 2021-03-16.16:01:31
SpamBayes Score -1.0
Marked as misclassified Yes
Message-id <>
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.

Which means that the Python runtime isn't supposed to check that, instead it's the static type checker's responsibility?
Date User Action Args
2021-03-16 16:01:31kjsetrecipients: + kj, gvanrossum, levkivskyi, paul-dest
2021-03-16 16:01:31kjsetmessageid: <>
2021-03-16 16:01:31kjlinkissue43512 messages
2021-03-16 16:01:31kjcreate