fix issue 10721 - ICE with constructor with postcondition

dlang · Jul 27, 2013 · 810ba19 · 810ba19
1 parent 6619191
commit 810ba19
Show file tree

Hide file tree

Showing 2 changed files with 22 additions and 1 deletion.
diff --git a/src/func.c b/src/func.c
@@ -1475,7 +1475,7 @@ void FuncDeclaration::semantic3(Scope *sc)
 
             // BUG: need to treat parameters as const
             // BUG: need to disallow returns and throws
-            if (inferRetType && isMember() && ((TypeFunction *)fdensure->type)->parameters)
+            if (inferRetType && fdensure && ((TypeFunction *)fdensure->type)->parameters)
             {
                 // Return type was unknown in the first semantic pass
                 Parameter *p = (*((TypeFunction *)fdensure->type)->parameters)[0];

diff --git a/test/runnable/testcontracts.d b/test/runnable/testcontracts.d
@@ -571,6 +571,27 @@ class Foo10596
     body { return 0; }
 }
 
+/*******************************************/
+// 10721
+
+class Foo10721
+{
+    this()
+    out { }
+    body { }
+
+    ~this()
+    out { }
+    body { }
+}
+
+struct Bar10721
+{
+    this(this)
+    out { }
+    body { }
+}
+
 /*******************************************/
 
 int main()