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

[Max Samukha]

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.