[New-bugs-announce] [issue46475] Document use of NoReturn as a bottom type

[Jelle Zijlstra]

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

At the moment, https://docs.python.org/3.10/library/typing.html#typing.NoReturn simply says:

    Special type indicating that a function never returns.

In practice, type checkers accept NoReturn as a bottom type in other positions too. We should document this behavior.

----------
assignee: Jelle Zijlstra
messages: 411297
nosy: AlexWaygood, Jelle Zijlstra, gvanrossum, kj, sobolevn
priority: normal
severity: normal
status: open
title: Document use of NoReturn as a bottom type

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