Message 411345 - Python tracker

Message411345

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 <1642915152.65.0.424582308271.issue46480@roundup.psfhosted.org>
In-reply-to
Content
Implement typing.assert_type as proposed in https://mail.python.org/archives/list/typing-sig@python.org/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: <1642915152.65.0.424582308271.issue46480@roundup.psfhosted.org>
2022-01-23 05:19:12JelleZijlstralinkissue46480 messages
2022-01-23 05:19:12JelleZijlstracreate