New submission from Jelle Zijlstra <jelle.zijls...@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 <rep...@bugs.python.org>
<https://bugs.python.org/issue46475>
_______________________________________
_______________________________________________
Python-bugs-list mailing list
Unsubscribe: 
https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com

Reply via email to