On 18 December 2012 15:19, Iain Buclaw <ibuclaw@ubuntu.com> wrote:

Potentially this can now be re-written as.

void die() @noreturn
{
   abort();
}

By the way, this would be the first time that @noreturn has been brought up.