Nikita Sobolev <m...@sobolevn.me> added the comment:
I agree. Plus, I cannot refrain from saying that it is generally quite hard to teach what "NoReturn" is. I start by explaining what bottom type and `void` is and then just say that in Python it is called `NoReturn`. I remember that there was a discussion about `Never` alias for it. Jelle, will you please push it? :) ---------- _______________________________________ 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