From 64351f8203beb2df08f595145b76920d7d9f2d36 Mon Sep 17 00:00:00 2001 From: Kampfkarren Date: Wed, 3 Aug 2022 19:01:39 -0700 Subject: [PATCH] Test unknown --- tests/TypeInfer.builtins.test.cpp | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/tests/TypeInfer.builtins.test.cpp b/tests/TypeInfer.builtins.test.cpp index 2964f093..10da0efa 100644 --- a/tests/TypeInfer.builtins.test.cpp +++ b/tests/TypeInfer.builtins.test.cpp @@ -566,6 +566,19 @@ TEST_CASE_FIXTURE(BuiltinsFixture, "string_format_tostring_specifier") LUAU_REQUIRE_NO_ERRORS(result); } +TEST_CASE_FIXTURE(BuiltinsFixture, "string_format_tostring_specifier_type_constraint") +{ + CheckResult result = check(R"( + local function f(x): string + local _ = string.format("%*", x) + return x + end + )"); + + LUAU_REQUIRE_NO_ERRORS(result); + CHECK_EQ("(string) -> string", toString(requireType("f"))); +} + TEST_CASE_FIXTURE(BuiltinsFixture, "xpcall") { CheckResult result = check(R"(