[Issue 12321] Contracts of implemented interface method aren't called

d-bugmail at puremagic.com d-bugmail at puremagic.com
Sat Jan 11 22:06:49 UTC 2020


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

Basile-z <b2.temp at gmx.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |wrong-code
                 CC|                            |b2.temp at gmx.com

--- Comment #4 from Basile-z <b2.temp at gmx.com> ---
reduced without `shared`

---
interface IA
{
    void foo();
}

class A : IA
{
    void foo()
    in (false) { }
}

void main()
{
    new A().foo();
}
---

--


More information about the Digitalmars-d-bugs mailing list