@noreturn?

Timon Gehr timon.gehr at gmx.ch
Wed May 16 14:19:54 PDT 2012


On 05/16/2012 05:29 PM, Steven Schveighoffer wrote:
> 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

Yes. http://d.puremagic.com/issues/show_bug.cgi?id=6549
Stewart has turned it into an enhancement, but it is pretty clear that 
it is a bug in both the compiler and the dlang.org documentation. At 
least Andrei has confirmed that it should be fixed, I don't remember 
whether or not Walter contributed to that discussion.


More information about the Digitalmars-d mailing list