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(){}