proposed @noreturn attribute

[Andrei Alexandrescu via Digitalmars-d]

On 7/8/17 7:07 AM, bachmeier wrote:
> On Saturday, 8 July 2017 at 10:15:39 UTC, Walter Bright wrote:
> 
>> Having an @noreturn attribute will take care of that:
>>
>>    @noreturn void ThisFunctionExits();
> 
> Why should this be an attribute rather than a pragma?

So it's part of the summary of the function. -- Andrei