proposed @noreturn attribute

[Walter Bright via Digitalmars-d]

On 7/16/2017 6:03 AM, Timon Gehr wrote:
> pragma(noreturn) is indeed the simpler solution, as it does not interact with 
> anything else.
Pragmas are not supposed to change the semantics of the code, they are intended 
as directions to the compiler, such as:

* optimization suggestions
* embedding instructions into the object file
* sending messages to the user while compiling
* instructing the compiler on special name mangling

etc. A pragma(noreturn) influences semantics, and so is inappropriate. That's 
what attributes and types are for.