From 9dd672bb8d5e8c84e1fcffc0c5a6603245540bab Mon Sep 17 00:00:00 2001 From: Andy Friesen Date: Tue, 29 Mar 2022 12:35:03 -0700 Subject: [PATCH] Fix some more wording. Thanks Slava! --- rfcs/lower-bounds-calculation.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/rfcs/lower-bounds-calculation.md b/rfcs/lower-bounds-calculation.md index bef8d4e5..a1793884 100644 --- a/rfcs/lower-bounds-calculation.md +++ b/rfcs/lower-bounds-calculation.md @@ -194,7 +194,7 @@ Snippet `F.lua` is also fixed with this ruleset: There is no subtyping relations This works, but itself creates some small problems that we need to resolve: -First, the type of `...` still needs to be `()` for functions that have been given this implicit `...any` type. (TODO verify what Lua does in this situation) +First, the `...` symbol still needs to be unavailable for functions that have been given this implicit `...any` type. This is actually taken care of in the Luau parser, so no code change is required. Secondly, we do not want to silently allow oversaturation of direct calls to a function if we know that the arguments will be ignored. We need to treat these variadic packs differently when unifying for function calls.