Re: proposed @noreturn attribute

[Olivier FAURE via Digitalmars-d]

On Sunday, 9 July 2017 at 19:14:37 UTC, Walter Bright wrote:
On 7/9/2017 6:13 AM, Andrei Alexandrescu wrote:
We should use typeof(assert(0)) for Bottom.

That also leaves the door open for:

    alias noreturn = typeof(assert(0));

I would really prefer noreturn (or noreturn_t) to be the default 
appellation for such a type. typeof(assert(0)) is way uglier, 
while noreturn is a lot more intuitive and explicit.