Merge pull request #3901 from 9rnsr/fix13353

[REG2.066] Issue 13353 - [ICE] assertion with is() and templated interface
dlang · Aug 26, 2014 · b8a96f9 · b8a96f9
1 parent 8b6765c
commit b8a96f9
Show file tree

Hide file tree

Showing 2 changed files with 27 additions and 0 deletions.
diff --git a/src/class.c b/src/class.c
@@ -1359,6 +1359,14 @@ void InterfaceDeclaration::semantic(Scope *sc)
                 i++;
         }
 
+        if (doAncestorsSemantic == SemanticDone)
+        {
+            //printf("%s already semantic analyzed, semanticRun = %d\n", toChars(), semanticRun);
+            if (semanticRun >= PASSsemanticdone)
+                return;
+            goto Lancestorsdone;
+        }
+
         if (!baseclasses->dim && sc->linkage == LINKcpp)
             cpp = true;
 
@@ -1443,6 +1451,7 @@ void InterfaceDeclaration::semantic(Scope *sc)
                 cpp = true;
         }
     }
+Lancestorsdone:
 
     if (!members)               // if opaque declaration
     {

diff --git a/test/runnable/testclass.d b/test/runnable/testclass.d
@@ -38,6 +38,24 @@ class Type12143 : Node12143 {}
 
 class Class12143 : Type12143 {}
 
+/***************************************************/
+// 13353
+
+interface Base13353(T)
+{
+    static assert(is(T : Base13353!T));
+}
+
+interface Derived13353 : Base13353!Derived13353
+{
+    void func();
+}
+
+class Concrete13353 : Derived13353
+{
+    void func() {}
+}
+
 /***************************************************/
 
 int main()