@noreturn?

[Timon Gehr]

On 05/13/2012 06:13 PM, Alex Rønne Petersen wrote:
> Hi,
>
> If memory serves me right, there were some proposals in the past to add
> a @noreturn attribute to the language. Where did this go?
>
> In writing unwinding mechanisms for my VM, I find myself actually
> needing some sort of @noreturn function attribute that would tell the
> compiler that the function does not return, rather than having to insert
> an assert(false); statement.
>

What about making the compiler detect this pattern instead of adding an 
attribute? I think it expresses exactly what you want to express, and it 
does not require additional syntax.

void foo()out{ assert(false); }body{ ... }