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

[Paul Backus]

On Saturday, 15 January 2022 at 16:34:55 UTC, Max Samukha wrote:
>> and second, the special case of `noreturn`'s default 
>> initializer not evaluating to a `noreturn` value when every 
>> other type's default initializer evaluates to a value of that 
>> type.
>
> I think noreturn.init can be viewed as a value of noreturn.

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.