Merge pull request #4709 from 9rnsr/fix14568

[REG2.067] Issue 14568 - gaggederrors ICE
dlang · Jun 2, 2015 · 7d4e2e8 · 7d4e2e8
2 parents cd63acf + 00d51e4
commit 7d4e2e8
Show file tree

Hide file tree

Showing 2 changed files with 45 additions and 0 deletions.
diff --git a/src/func.c b/src/func.c
@@ -1233,6 +1233,8 @@ void FuncDeclaration::semantic3(Scope *sc)
         //printf("FuncDeclaration::semantic3(%s '%s', sc = %p)\n", kind(), toChars(), sc);
         assert(0);
     }
+    if (isError(parent))
+        return;
     //printf("FuncDeclaration::semantic3('%s.%s', %p, sc = %p, loc = %s)\n", parent->toChars(), toChars(), this, sc, loc.toChars());
     //fflush(stdout);
     //printf("storage class = x%x %x\n", sc->stc, storage_class);

diff --git a/test/runnable/template9.d b/test/runnable/template9.d
@@ -4516,6 +4516,49 @@ struct Hoge14481
     enum e = 10;
 }
 
+/******************************************/
+// 14568
+
+struct Interval14568()
+{
+    auto left = INVALID;
+
+    auto opAssign()(Interval14568) { left; }
+}
+
+auto interval14568(T)(T point)
+{
+    Interval14568!();
+}
+
+alias Instantiate14568(alias symbol, Args...) = symbol!Args;
+
+template Match14568(patterns...)
+{
+    static if (__traits(compiles, Instantiate14568!(patterns[0])))
+    {
+        alias Match14568 = patterns[0];
+    }
+    else static if (patterns.length == 1)
+    {}
+}
+
+template SubOps14568(Args...)
+{
+    auto opIndex()
+    {
+        template IntervalType(T...)
+        {
+            alias Point() = typeof(T.interval14568);
+
+            alias IntervalType = Match14568!(Point);
+        }
+        alias Subspace = IntervalType!(Args);
+    }
+}
+
+struct Nat14568 { mixin SubOps14568!(null); }
+
 /******************************************/
 
 int main()