On 05/16/2012 05:29 PM, Steven Schveighoffer wrote:
On Wed, 16 May 2012 10:47:33 -0400, Timon Gehr <timon.g...@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.