Issue with contracts and assertions

[Andre via Digitalmars-d-learn]

Hi,

for the attached code I noticed some strange behaviors.
I compile the programm with: dmd main -unittest
The expected assertion of the method c pre condition is
not raised.
It is only raised if class A not implements interface I.

On the otherside the commented assertion in the invariant is working
fine.

Is this a bug?

Kind regards
André


interface I {
        void c();
}

class A : I {
        invariant() {
                //assert(false, "Assert INVARIANT"); // Working
        }

        void c()
        in {
                assert(false, "Assert IN");
        }
        body {

        }
}

unittest {
        A a = new A();
        a.c();
}

void main(){}