[Issue 12247] in contract in interfaces is not checked

d-bugmail at puremagic.com d-bugmail at puremagic.com
Tue Mar 12 23:11:46 UTC 2019


https://issues.dlang.org/show_bug.cgi?id=12247

Simon Naarmann <eiderdaus at gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |contracts
                 CC|                            |eiderdaus at gmail.com

--- Comment #1 from Simon Naarmann <eiderdaus at gmail.com> ---
This issue still exists in DMD 2.084.1, tested on Linux 64-bit.

In the example code, the interface's in contract should throw, but does not.
Only the out contract throws as desired.

--


More information about the Digitalmars-d-bugs mailing list