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

[d-bugmail--- via Digitalmars-d-bugs]

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

Basile-z <b2.t...@gmx.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |wrong-code
                 CC|                            |b2.t...@gmx.com

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

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

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

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

--