fix Issue 12571 - __traits(parent) should work for typed manifest con…

…stant in initializer
dlang · Apr 15, 2014 · 91bbc5c · 91bbc5c
1 parent d4f778f
commit 91bbc5c
Show file tree

Hide file tree

Showing 2 changed files with 16 additions and 2 deletions.
diff --git a/src/template.c b/src/template.c
@@ -6493,8 +6493,8 @@ void TemplateInstance::semanticTiargs(Loc loc, Scope *sc, Objects *tiargs, int f
                 if (ea->op == TOKvar && (v = ((VarExp *)ea)->var->isVarDeclaration()) != NULL &&
                     !(v->storage_class & STCtemplateparameter))
                 {
-                    if (v->sem < SemanticDone)
-                        v->semantic(sc);
+                    if (v->sem < SemanticDone && v->scope)
+                        v->semantic(NULL);
                     // skip optimization for variable symbols
                 }
                 else

diff --git a/test/runnable/traits.d b/test/runnable/traits.d
@@ -1359,6 +1359,20 @@ struct InPlace12278(T)
     static assert(__traits(classInstanceSize, T) != 0);
 }
 
+/********************************************************/
+// 12571
+
+mixin template getScopeName12571()
+{
+    enum string scopeName = __traits(identifier, __traits(parent, scopeName));
+}
+
+void test12571()
+{
+    mixin getScopeName12571;
+    static assert(scopeName == "test12571");
+}
+
 /********************************************************/
 
 int main()