@noreturn property

[bearophile]

Nick Sabalausky:

> One of the nice things about that is you don't have to provide a "fake" 
> return type. For instance, with your "@noreturn": "@noreturn int foo()" 
> would be legal, but wouldn't make any sence. And in a way, even "@noreturn 
> void foo()" isn't great since a "void" return value suggests that it at 
> least returns.

I suggest to keep things simpler, minimize changes to other parts of D, and avoid creating new keywords for this very minor feature, and allow only the signature:
@noreturn void somefunctioname(...)

So this is an additive change to D2, and may be added later.

Bye,
bearophile