[dtemplate.d] move semanticTiargs to templatesem.d (dlang/dmd!21737)

Author: thewilsonator

dmd/dtemplate.d

@@ -72,7 +72,7 @@ import dmd.optimize;
 import dmd.root.array;
 import dmd.common.outbuffer;
 import dmd.rootobject;
-import dmd.templatesem : getExpression, TemplateInstance_semanticTiargs, equalsx;
+import dmd.templatesem : getExpression, equalsx;
 import dmd.tokens;
 import dmd.typesem : typeSemantic, isBaseOf;
 import dmd.visitor;
@@ -1736,30 +1736,6 @@ extern (C++) class TemplateInstance : ScopeDsymbol
         return hash;
     }
 
-    /**********************************
-     * Run semantic on the elements of tiargs.
-     * Input:
-     *      sc
-     * Returns:
-     *      false if one or more arguments have errors.
-     * Note:
-     *      This function is reentrant against error occurrence. If returns false,
-     *      all elements of tiargs won't be modified.
-     */
-    extern (D) final bool semanticTiargs(Scope* sc)
-    {
-        //printf("+TemplateInstance.semanticTiargs() %s\n", toChars());
-        if (semantictiargsdone)
-            return true;
-        if (TemplateInstance_semanticTiargs(loc, sc, tiargs, 0))
-        {
-            // cache the result iff semantic analysis succeeded entirely
-            semantictiargsdone = 1;
-            return true;
-        }
-        return false;
-    }
-
     /*****************************************
      * Determines if a TemplateInstance will need a nested
      * generation of the TemplateDeclaration.

dmd/expressionsem.d

@@ -83,7 +83,7 @@ import dmd.semantic3;
 import dmd.sideeffect;
 import dmd.safe;
 import dmd.target;
-import dmd.templatesem : matchWithInstance, deduceType, matchArg, updateTempDecl;
+import dmd.templatesem : matchWithInstance, deduceType, matchArg, updateTempDecl, semanticTiargs;
 import dmd.tokens;
 import dmd.traits;
 import dmd.typesem;

dmd/templatesem.d

@@ -3277,6 +3277,31 @@ extern (D) RootObject declareParameter(TemplateDeclaration td, Scope* sc, Templa
     return o;
 }
 
+/**********************************
+ * Run semantic on the elements of `ti.tiargs`.
+ * Input:
+ *      ti = template instance whose `tiargs` should have semantic done
+ *      sc = scope
+ * Returns:
+ *      false if one or more arguments have errors.
+ * Note:
+ *      This function is reentrant against error occurrence. If returns false,
+ *      all elements of tiargs won't be modified.
+ */
+bool semanticTiargs(TemplateInstance ti, Scope* sc)
+{
+    //printf("+TemplateInstance.semanticTiargs() %s\n", toChars());
+    if (ti.semantictiargsdone)
+        return true;
+    if (TemplateInstance_semanticTiargs(ti.loc, sc, ti.tiargs, 0))
+    {
+        // cache the result iff semantic analysis succeeded entirely
+        ti.semantictiargsdone = 1;
+        return true;
+    }
+    return false;
+}
+
 /**********************************
  * Run semantic of tiargs as arguments of template.
  * Input: