--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/nocompile/invariant_17.d	Sat Oct 23 10:09:46 2004 +0000
@@ -0,0 +1,21 @@
+// invariant may not call non-static public class member functions (stack overflow)
+
+module dstress.nocompile.invariant_17;
+
+class MyClass{
+	this(){
+	}
+
+	int test(){
+		return 0;
+	}
+
+	invariant{
+		assert(test()!=0);
+	}
+}
+
+int main(){
+	MyClass c = new MyClass();
+	return 0;
+}