luau-lang/luau
1
0
Fork 0
mirror of https://github.com/luau-lang/luau.git synced 2025-04-03 02:10:53 +01:00
Code Issues Projects Releases Packages Wiki Activity

Add overload_resolution_singleton_parameters test

Browse source
This commit is contained in:
Math 2025-02-27 09:37:02 -03:00
parent 6a21dba682
commit e43f7ed770
1 changed files with 18 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

18
tests/TypeInfer.functions.test.cpp
View file

@ -58,6 +58,24 @@ TEST_CASE_FIXTURE(Fixture, "overload_resolution")
CHECK(toString(t) == "(((number) -> string) & ((string) -> number)) -> (string, number)"); 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") TEST_CASE_FIXTURE(Fixture, "tc_function")
{ {
CheckResult result = check("function five() return 5 end"); CheckResult result = check("function five() return 5 end");