Message411301
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? :) |
|
Date |
User |
Action |
Args |
2022-01-22 23:12:44 | sobolevn | set | recipients:
+ sobolevn, gvanrossum, JelleZijlstra, kj, AlexWaygood |
2022-01-22 23:12:44 | sobolevn | set | messageid: <1642893164.68.0.885745497303.issue46475@roundup.psfhosted.org> |
2022-01-22 23:12:44 | sobolevn | link | issue46475 messages |
2022-01-22 23:12:44 | sobolevn | create | |
|