Fix prebound parameter pack - argument list matching logic. (#6111)

* Fix prebound parameter pack - argument list matching logic.

* Move tests.

* Fix.

1 files changed, 17 insertions, 1 deletions

diff --git a/source/slang/slang-check-overload.cpp b/source/slang/slang-check-overload.cpp
index fcc6780b6..1ab3aa5b0 100644
--- a/source/slang/slang-check-overload.cpp
+++ b/source/slang/slang-check-overload.cpp
@@ -10,6 +10,17 @@
 
 namespace Slang
 {
+
+bool isFreeFormTypePackParam(SemanticsVisitor* visitor, Type* type, ParamDecl* paramDecl)
+{
+    if (auto declRef = isDeclRefTypeOf<GenericTypePackParamDecl>(type))
+    {
+        return visitor->GetOuterGeneric(declRef.getDecl()) ==
+               visitor->GetOuterGeneric(paramDecl->parentDecl);
+    }
+    return false;
+}
+
 SemanticsVisitor::ParamCounts SemanticsVisitor::CountParameters(
     FilteredMemberRefList<ParamDecl> params)
 {
@@ -25,10 +36,15 @@ SemanticsVisitor::ParamCounts SemanticsVisitor::CountParameters(
                 counts.required += typePack->getTypeCount();
                 allowedArgCountToAdd = typePack->getTypeCount();
             }
-            else
+            else if (isFreeFormTypePackParam(this, paramType, param.getDecl()))
             {
                 counts.allowed = -1;
             }
+            else
+            {
+                counts.required++;
+                counts.allowed++;
+            }
         }
         else if (!param.getDecl()->initExpr)
         {