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, levkivskyi, serhiy.storchaka
Date 2017-10-26.19:39:11
SpamBayes Score -1.0
Marked as misclassified Yes
Message-id <>
Those seem things that the type checker should complain about, but I don't think Python should.
Date User Action Args
2017-10-26 19:39:11gvanrossumsetrecipients: + gvanrossum, serhiy.storchaka, levkivskyi
2017-10-26 19:39:11gvanrossumsetmessageid: <>
2017-10-26 19:39:11gvanrossumlinkissue28936 messages
2017-10-26 19:39:11gvanrossumcreate