Fix bug 4269 case 13:invalid template accepted if evaluated while err…

…ors are gagged Need to ungag template declarations if they are forward referenced.
dlang · Dec 13, 2012 · 2a1d419 · 2a1d419
1 parent c4dc640
commit 2a1d419
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 1 deletion.
diff --git a/src/template.c b/src/template.c
@@ -5525,8 +5525,14 @@ TemplateDeclaration *TemplateInstance::findBestMatch(Scope *sc, Expressions *far
         if (!td->semanticRun)
         {
             if (td->scope)
-            {   // Try to fix forward reference
+            {   // Try to fix forward reference. Ungag errors while doing so.
+                int oldgag = global.gag;
+                if (global.isSpeculativeGagging() && !td->isSpeculative())
+                    global.gag = 0;
+
                 td->semantic(td->scope);
+
+                global.gag = oldgag;
             }
             if (!td->semanticRun)
             {

diff --git a/test/fail_compilation/gag4269g.d b/test/fail_compilation/gag4269g.d
@@ -0,0 +1,4 @@
+// REQUIRED_ARGS: -c -o-
+
+static if(is(typeof(X13!(0).init))) {}
+template X13(Y13 y) {}