proposed @noreturn attribute

[Nicholas Wilson via Digitalmars-d]

On Sunday, 9 July 2017 at 10:59:43 UTC, Steven Schveighoffer 
wrote:
> On Sunday, 9 July 2017 at 10:51:50 UTC, Daniel N wrote:
>> On Sunday, 9 July 2017 at 10:31:47 UTC, Mr.D wrote:
>>> On Saturday, 8 July 2017 at 10:15:39 UTC, Walter Bright wrote:
>>>
>>>> Has anyone a better idea?
>>>
>>> What about
>>>
>>> scope(exit) assert(0);
>>>
>>> ?
>>
>> void func()
>> out { assert(0); }
>> body
>> {
>> }
>
> Yes, this!
>
> -Steve

That certainly signals intention, but I still think that an 
attribute is a whole lot simpler than compiler voodoo like this 
or the "None" discussed earlier.