@noreturn?

[Steven Schveighoffer]

On Wed, 16 May 2012 10:47:33 -0400, Timon Gehr <timon.gehr at gmx.ch> wrote:

> On 05/16/2012 02:27 PM, Steven Schveighoffer wrote:

>> Is the out contract required in a method signature? That is, is it valid
>> to omit the out contract in the .di file?
>>
>
> Contracts are supposed to be part of the method signature. Due to a bug,  
> they are not for DMD.

OK, then I would support this as a method of specifying @noreturn

BTW, is this bug reported?

-Steve