fix Issue 14858 - spurious "Error: overload alias 'foo' is not a vari…

…able" when overloading template and non-template via aliases
dlang · Aug 31, 2015 · 803da8f · 803da8f
1 parent c4539ff
commit 803da8f
Show file tree

Hide file tree

Showing 2 changed files with 22 additions and 0 deletions.
diff --git a/src/expression.d b/src/expression.d
@@ -3799,6 +3799,12 @@ public:
             fd.type = f.type;
             return new VarExp(loc, fd, hasOverloads);
         }
+        if (OverDeclaration od = s.isOverDeclaration())
+        {
+            e = new VarExp(loc, od, 1);
+            e.type = Type.tvoid;
+            return e;
+        }
         if (OverloadSet o = s.isOverloadSet())
         {
             //printf("'%s' is an overload set\n", o->toChars());

diff --git a/test/runnable/overload.d b/test/runnable/overload.d
@@ -1067,6 +1067,21 @@ void test13783()
     assert(f(e) == 10);
 }
 
+/***************************************************/
+// 14858
+
+int foo14858()() { return 1; }
+int bar14858(int) { return 2; }
+
+alias foobar14858 = foo14858;
+alias foobar14858 = bar14858;
+
+void test14858()
+{
+    assert(foobar14858() == 1);
+    assert(foobar14858(1) == 2); // OK <- NG
+}
+
 /***************************************************/
 
 int main()
@@ -1101,6 +1116,7 @@ int main()
     test11915();
     test11916();
     test13783();
+    test14858();
 
     printf("Success\n");
     return 0;