fix Issue 14481 - ICE with forward reference of manifest constant on …

…template arguments
dlang · Apr 23, 2015 · 30fad36 · 30fad36
1 parent 199be8b
commit 30fad36
Show file tree

Hide file tree

Showing 2 changed files with 26 additions and 0 deletions.
diff --git a/src/template.c b/src/template.c
@@ -6652,6 +6652,13 @@ bool TemplateInstance::semanticTiargs(Loc loc, Scope *sc, Objects *tiargs, int f
             }
             else if (ea->op == TOKvar)
             {
+                VarDeclaration *v = ((VarExp *)ea)->var->isVarDeclaration();
+                if (v && !(v->storage_class & STCtemplateparameter))
+                {
+                    if (v->sem < SemanticDone && v->scope)
+                        v->semantic(NULL);
+                }
+
                 /* This test is to skip substituting a const var with
                  * its initializer. The problem is the initializer won't
                  * match with an 'alias' parameter. Instead, do the

diff --git a/test/runnable/template9.d b/test/runnable/template9.d
@@ -4497,6 +4497,25 @@ template Qux14357(T : U*, U : V*, V)
 }
 static assert(!__traits(compiles, Qux14357!(float**, int*)));
 
+/******************************************/
+// 14481
+
+template someT14481(alias e)
+{
+    alias someT14481 = e;
+}
+
+mixin template Mix14481(alias e)
+{
+    alias SomeAlias = someT14481!e;
+}
+
+struct Hoge14481
+{
+    mixin Mix14481!e;
+    enum e = 10;
+}
+
 /******************************************/
 
 int main()