proposed @noreturn attribute

[Walter Bright via Digitalmars-d]

On 7/10/2017 4:00 AM, Steven Schveighoffer wrote:
> But I have to ask, what is the benefit of statically determining that a function 
> is noreturn?

It is useful anywhere dataflow analysis is useful.

    FunctionThatDoesnotReturn();
    a = b; // error: unreachable code