fix small bug introduced by #1660

If `ti->semanticTiargs(sc)` returns false, CallExp should return ErrorExp.
dlang · Jul 17, 2013 · ad248c2 · ad248c2
1 parent cc6b737
commit ad248c2
Showing 1 changed file with 7 additions and 5 deletions.
diff --git a/src/expression.c b/src/expression.c
@@ -8382,8 +8382,9 @@ Expression *CallExp::semantic(Scope *sc)
             /* Attempt to instantiate ti. If that works, go with it.
              * If not, go with partial explicit specialization.
              */
-            if (ti->semanticTiargs(sc) &&
-                ti->needsTypeInference(sc, 1))
+            if (!ti->semanticTiargs(sc))
+                return new ErrorExp();
+            if (ti->needsTypeInference(sc, 1))
             {
                 /* Go with partial explicit specialization
                  */
@@ -8414,9 +8415,10 @@ Expression *CallExp::semantic(Scope *sc)
             /* Attempt to instantiate ti. If that works, go with it.
              * If not, go with partial explicit specialization.
              */
-            if (se->findTempDecl(sc) &&
-                ti->semanticTiargs(sc) &&
-                ti->needsTypeInference(sc, 1))
+            if (!se->findTempDecl(sc) ||
+                !ti->semanticTiargs(sc))
+                return new ErrorExp();
+            if (ti->needsTypeInference(sc, 1))
             {
                 /* Go with partial explicit specialization
                  */