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

H. S. Teoh hsteoh at quickfur.ath.cx
Fri Jan 14 13:58:38 UTC 2022


On Fri, Jan 14, 2022 at 11:52:04AM +0000, WebFreak001 via Digitalmars-d wrote:
> ```d
[...]
> void bar()
> {
>     noreturn b;
>     writeln("calling");
>     foo(b);
> }
[...]
> ```

Wait, doesn't the DIP say that while declaring a variable of type
`noreturn` is technically allowed, it should abort at runtime as soon as
the variable is initialized?  Why is program actually running past that
line??!


T

-- 
It only takes one twig to burn down a forest.


More information about the Digitalmars-d mailing list