➜

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 rhettinger
Recipients JelleZijlstra, gvanrossum, rhettinger
Date 2022-02-08.05:25:38
SpamBayes Score -1.0
Marked as misclassified Yes
Message-id <1644297938.1.0.192506090226.issue46669@roundup.psfhosted.org>
In-reply-to
Content 
> Your suggested signature looks like it's trying to support
> the second invariant, but it doesn't quite: if the types 
> don't match, the type checker will just set T to the 
> common base type of the two arguments.

Is there a way to write the second invariant correctly?
History
Date User Action Args
2022-02-08 05:25:38rhettingersetrecipients: + rhettinger, gvanrossum, JelleZijlstra
2022-02-08 05:25:38rhettingersetmessageid: <1644297938.1.0.192506090226.issue46669@roundup.psfhosted.org>
2022-02-08 05:25:38rhettingerlinkissue46669 messages
2022-02-08 05:25:38rhettingercreate