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