[New-bugs-announce] [issue46480] Implement typing.assert_type

[Jelle Zijlstra]

New submission from Jelle Zijlstra <jelle.zijlstra at gmail.com>:

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.

----------
assignee: Jelle Zijlstra
components: Library (Lib)
messages: 411345
nosy: AlexWaygood, Jelle Zijlstra, gvanrossum, kj, sobolevn
priority: normal
severity: normal
status: open
title: Implement typing.assert_type
type: enhancement
versions: Python 3.11

_______________________________________
Python tracker <report at bugs.python.org>
<https://bugs.python.org/issue46480>
_______________________________________