Message 314395 - Python tracker

➜

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
Date	2018-03-25.05:39:43
SpamBayes Score	-1.0
Marked as misclassified	Yes
Message-id	<1521956384.33.0.467229070634.issue33133@psf.upfronthosting.co.za>
In-reply-to

Content
I'm not sure we should change this ahead of a definitive decision. When you use mypy with the option that forbids it, your program will be invalid, and it doesn't really matter what we do at runtime; but that option is not the default yet, and without that option, mypy treats the type as Optional[int].

I'm not sure we should change this ahead of a definitive decision. When you use mypy with the option that forbids it, your program will be invalid, and it doesn't really matter what we do at runtime; but that option is not the default yet, and without that option, mypy treats the type as Optional[int].

History
Date	User	Action	Args
2018-03-25 05:39:44	gvanrossum	set	recipients: + gvanrossum, levkivskyi
2018-03-25 05:39:44	gvanrossum	set	messageid: <1521956384.33.0.467229070634.issue33133@psf.upfronthosting.co.za>
2018-03-25 05:39:44	gvanrossum	link	issue33133 messages
2018-03-25 05:39:43	gvanrossum	create