Message 412585 - Python tracker

Message412585

Author	JelleZijlstra
Recipients	AlexWaygood, GBeauregard, Gobot1234, JelleZijlstra, gvanrossum, kj, levkivskyi, sobolevn
Date	2022-02-05.17:43:27
SpamBayes Score	-1.0
Marked as misclassified	Yes
Message-id	<1644083007.88.0.949112238801.issue46644@roundup.psfhosted.org>
In-reply-to

Content
I agree with removing this check. I suspect it's a holdover from very early typing when static types were supposed to be runtime types. Now the check is a bug magnet and doesn't serve a useful purpose. I think we can just remove the tests that check for ints. I don't see a principled reason to special-case int literals. I wonder if we should apply this change to 3.10 and 3.9. It's arguably a bugfix, but it's a pretty big change.

Content

I agree with removing this check. I suspect it's a holdover from very early typing when static types were supposed to be runtime types. Now the check is a bug magnet and doesn't serve a useful purpose.

I think we can just remove the tests that check for ints. I don't see a principled reason to special-case int literals.

I wonder if we should apply this change to 3.10 and 3.9. It's arguably a bugfix, but it's a pretty big change.

History
Date	User	Action	Args
2022-02-05 17:43:27	JelleZijlstra	set	recipients: + JelleZijlstra, gvanrossum, levkivskyi, sobolevn, Gobot1234, kj, AlexWaygood, GBeauregard
2022-02-05 17:43:27	JelleZijlstra	set	messageid: <1644083007.88.0.949112238801.issue46644@roundup.psfhosted.org>
2022-02-05 17:43:27	JelleZijlstra	link	issue46644 messages
2022-02-05 17:43:27	JelleZijlstra	create