proposed @noreturn attribute

[Walter Bright via Digitalmars-d]

On 7/8/2017 10:14 AM, Jack Stouffer wrote:
> On Saturday, 8 July 2017 at 11:07:32 UTC, bachmeier wrote:
>> Why should this be an attribute rather than a pragma?
> 
> I agree. There's no reason I can think of as to why the no-return should be part 
> of the ABI.

Separate compilation. I.e. if one changes the implementation of a function such 
that it now returns, it will break any compiled code that relied on it being 
noreturn.

This is why, for example, nothrow is part of the signature.