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

Jelle Zijlstra report at bugs.python.org
Sat Jan 22 17:48:21 EST 2022

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>

More information about the New-bugs-announce mailing list