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

Timon Gehr timon.gehr at
Mon Jan 17 23:55:06 UTC 2022

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;

More information about the Digitalmars-d mailing list