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 gvanrossum
Recipients gvanrossum, kj, levkivskyi, paul-dest
Date 2021-03-16.17:06:36
SpamBayes Score -1.0
Marked as misclassified Yes
Message-id <>
Yeah, the runtime isinstance() checking is not required to give the right answer. Also, I believe one of the rules is "if you inherit from a protocol you are deemed to implement it". For methods, abstract methods can (but needn't) be used to indicate mandatory features. For attributes, there is no guarantee.
Date User Action Args
2021-03-16 17:06:36gvanrossumsetrecipients: + gvanrossum, levkivskyi, kj, paul-dest
2021-03-16 17:06:36gvanrossumsetmessageid: <>
2021-03-16 17:06:36gvanrossumlinkissue43512 messages
2021-03-16 17:06:36gvanrossumcreate