proposed @noreturn attribute

[Andrei Alexandrescu via Digitalmars-d]

On 07/09/2017 10:10 AM, Steven Schveighoffer wrote:
> I haven't seen another solution other than out { assert(0); }

Your own comment takes it to the recycle bin:

> The one disadvantage, is that -release removes contracts. So in this
> particular case, the out contract should remain.

That's already a hack on top of a hack.


Andrei