# HG changeset patch
# User thomask
# Date 1107689702 0
# Node ID 2f12017c3af903204d6f7d70e09e9019881fd3f7
# Parent  e9ef8eec28b1b3b86f01ab706e371c30c3696ceb
invariant doesn't throw InvariantException

Thomas Kuehne <thomas-dloop@kuehne.THISISSPAM.cn>
2005-02-06
news:s2chd2-1n2.ln1@lnews.kuehne.cn

diff -r e9ef8eec28b1 -r 2f12017c3af9 run/invariant_25.d
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/run/invariant_25.d	Sun Feb 06 11:35:02 2005 +0000
@@ -0,0 +1,25 @@
+// $HeadURL$
+// $Date$
+// $Author$
+
+// @author@	Thomas Kuehne <thomas-dloop@kuehne.THISISSPAM.cn>
+// @date@	2005-02-06
+// @uri@	news:s2chd2-1n2.ln1@lnews.kuehne.cn
+
+module dstress.run.invariant_25;
+
+class MyClass{
+	invariant{
+		assert(0);
+	}
+}
+
+int main(){
+	try{
+		MyClass c = new MyClass();
+		assert(c);
+	}catch(InvariantException e){
+		return 0;
+	}
+	assert(0);
+}