fix Issue 9018 - __traits(compiles, ...) is true on second check for …

…same incompilable code
dlang · Nov 15, 2012 · f60d923 · f60d923
1 parent 2f2b2a1
commit f60d923
Show file tree

Hide file tree

Showing 2 changed files with 17 additions and 0 deletions.
diff --git a/src/template.c b/src/template.c
@@ -5030,6 +5030,7 @@ void TemplateInstance::semantic(Scope *sc, Expressions *fargs)
     //printf("isnested = %d, sc->parent = %s\n", isnested, sc->parent->toChars());
     sc2->parent = /*isnested ? sc->parent :*/ this;
     sc2->tinst = this;
+    sc2->speculative = speculative;
 
     tryExpandMembers(sc2);
 

diff --git a/test/runnable/template9.d b/test/runnable/template9.d
@@ -1581,6 +1581,22 @@ struct A8990(T) { T t; }
 struct B8990(T) { A8990!T* a; }
 struct C8990    { B8990!C8990* b; }
 
+/**********************************/
+// 9018
+
+template Inst9018(alias Template, T)
+{
+    alias Template!T Inst;
+}
+
+template Template9018(T)
+{
+    enum Template9018 = T;
+}
+
+static assert(!__traits(compiles, Inst9018!(Template9018, int))); // Assert passes
+static assert(!__traits(compiles, Inst9018!(Template9018, int))); // Assert fails
+
 /**********************************/
 
 int main()