Thread overview
[Issue 14988] Looks like inconsistent error report for the pointless in-contract definition
Sep 01, 2015
Jacob Carlborg
Sep 01, 2015
Sobirari Muhomori
Sep 01, 2015
Vladimir Panteleev
Sep 01, 2015
Vladimir Panteleev
Sep 01, 2015
Vladimir Panteleev
Dec 17, 2022
Iain Buclaw
September 01, 2015
https://issues.dlang.org/show_bug.cgi?id=14988

Jacob Carlborg <doob@me.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |doob@me.com

--- Comment #1 from Jacob Carlborg <doob@me.com> ---
I wouldn't say the in-contract is pointless, it's a minimal test case. The original code of course has code in the in-contract.

--
September 01, 2015
https://issues.dlang.org/show_bug.cgi?id=14988

--- Comment #2 from Sobirari Muhomori <dfj1esp02@sneakemail.com> ---
See also http://forum.dlang.org/post/cokicokwqnscaktxifze@forum.dlang.org

--
September 01, 2015
https://issues.dlang.org/show_bug.cgi?id=14988

Vladimir Panteleev <thecybershadow@gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |thecybershadow@gmail.com

--- Comment #3 from Vladimir Panteleev <thecybershadow@gmail.com> ---
(In reply to Kenji Hara from comment #0)
> Compiler reports an error for Foo1.foo, but not for Foo2.foo.

FWIW - before DMD commit 0ab7722db17351cc8db67f54f36cdb85387bd1d7, the code compiled successfully.

--
September 01, 2015
https://issues.dlang.org/show_bug.cgi?id=14988

--- Comment #4 from Vladimir Panteleev <thecybershadow@gmail.com> ---
Sorry, I meant DMD commit https://github.com/D-Programming-Language/dmd/commit/697c5d566892e3fa686be77ac7cd9d3277c7876b

--
September 01, 2015
https://issues.dlang.org/show_bug.cgi?id=14988

--- Comment #5 from Vladimir Panteleev <thecybershadow@gmail.com> ---
> Issue 6242 - Disallow inoperant "in" contracts

No problem here I guess.

--
December 17, 2022
https://issues.dlang.org/show_bug.cgi?id=14988

Iain Buclaw <ibuclaw@gdcproject.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P1                          |P3

--
December 13
https://issues.dlang.org/show_bug.cgi?id=14988

--- Comment #6 from dlangBugzillaToGithub <robert.schadek@posteo.de> ---
THIS ISSUE HAS BEEN MOVED TO GITHUB

https://github.com/dlang/dmd/issues/19035

DO NOT COMMENT HERE ANYMORE, NOBODY WILL SEE IT, THIS ISSUE HAS BEEN MOVED TO GITHUB

--