Also check my comment in the other thread: If in the future we want a "bottom type" that also works for parameters (generics or abstract methods), should we create a new keyword, or should we attempt to find a keyword now that works for all cases? Neither "never" nor "noreturn" seems suitable for use in parameters, but "nothing" would be.
-- Andreas On Wed, 31 Mar 2021 at 05:35, Peter Stalman <sarke...@gmail.com> wrote: > Aw, my `terminus` suggestion didn't make it. ☹️ > > Thanks, > Peter >
