proposed @noreturn attribute

[Andrei Alexandrescu via Digitalmars-d]

On 07/08/2017 01:14 PM, 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.

If present in the signature of the function you can figure that the 
function won't return by introspection. -- Andrei