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

[Timon Gehr]

On 17.01.22 20:39, H. S. Teoh wrote:
> Making variables of type noreturn illegal

Variables of type `noreturn` should certainly remain legal, perhaps just 
not default initialization of such variables.

> does not preclude taking parameters of type noreturn

Sometimes it would, but it should not. E.g., this is fine:

noreturn foo(noreturn x){
     auto y=x;
     return y;
}