From e43f7ed77058a4d6e4b898130163eb07277059bb Mon Sep 17 00:00:00 2001
From: Math <175355178+maffeus@users.noreply.github.com>
Date: Thu, 27 Feb 2025 09:37:02 -0300
Subject: [PATCH] Add `overload_resolution_singleton_parameters` test

---
 tests/TypeInfer.functions.test.cpp | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)

diff --git a/tests/TypeInfer.functions.test.cpp b/tests/TypeInfer.functions.test.cpp
index b8d80743..b75a2ae9 100644
--- a/tests/TypeInfer.functions.test.cpp
+++ b/tests/TypeInfer.functions.test.cpp
@@ -58,6 +58,24 @@ TEST_CASE_FIXTURE(Fixture, "overload_resolution")
     CHECK(toString(t) == "(((number) -> string) & ((string) -> number)) -> (string, number)");
 }
 
+TEST_CASE_FIXTURE(Fixture, "overload_resolution_singleton_parameters")
+{
+    CheckResult result = check(R"(
+        type A = ("A") -> string
+        type B = ("B") -> number
+
+        local function foo(f: A & B)
+            return f("A"), f("B")
+        end
+    )");
+    LUAU_REQUIRE_NO_ERRORS(result);
+    TypeId t = requireType("foo");
+    const FunctionType* fooType = get<FunctionType>(requireType("foo"));
+    REQUIRE(fooType != nullptr);
+
+    CHECK(toString(t) == "(((\"A\") -> string) & ((\"B\") -> number)) -> (string, number)");
+}
+
 TEST_CASE_FIXTURE(Fixture, "tc_function")
 {
     CheckResult result = check("function five() return 5 end");