bottom type as parameter or local variable, does that make sense?

Max Samukha maxsamukha at
Sat Jan 15 17:57:02 UTC 2022

On Saturday, 15 January 2022 at 16:55:49 UTC, Paul Backus wrote:

> It can't. There are no values of type `noreturn`. The set of 
> all `noreturn` values is the empty set. That is literally the 
> definition of a bottom type.

Right, but if we want to strictly follow the definitions, then we 
can't declare a variable of the empty type, because the 
definition of a variable is literally a name associated with a 
value, so we are back to where we started.

More information about the Digitalmars-d mailing list