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 JelleZijlstra
Recipients AlexWaygood, JelleZijlstra, gvanrossum, kj, sobolevn
Date 2022-01-23.05:19:12
SpamBayes Score -1.0
Marked as misclassified Yes
Message-id <[email protected]>
In-reply-to
Content
Implement typing.assert_type as proposed in https://mail.python.org/archives/list/[email protected]/thread/MITFQ6Z45RRMXY3HNM66IC3XXS3TA3JN/. This is a special primitive that asserts to the type checker what the type of an expression is.

Tentatively dropping assert_error() based on Eric's feedback.
History
Date User Action Args
2022-01-23 05:19:12JelleZijlstrasetrecipients: + JelleZijlstra, gvanrossum, sobolevn, kj, AlexWaygood
2022-01-23 05:19:12JelleZijlstrasetmessageid: <[email protected]>
2022-01-23 05:19:12JelleZijlstralinkissue46480 messages
2022-01-23 05:19:12JelleZijlstracreate