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.