Jan. 20, 2022
4:07 a.m.
Am 19.01.22 um 20:09 schrieb Jelle Zijlstra:
(2) This code is unreachable, and I want the type checker to tell me if it's not. This can be spelled with the `NoReturn` hack.
Since various "NoReturn" hacks have come up in the past: I suggest to rename NoReturn to typing.Never and leave NoReturn as an alias. Having a bottom type has several uses, and we should use a name that reflects is usage clearly. - Sebastian