From db89abbeac47ab7e61dfc61dc15591a0d24d2ad0 Mon Sep 17 00:00:00 2001
From: Vyacheslav Egorov <vegorov@roblox.com>
Date: Mon, 9 Aug 2021 20:38:39 +0300
Subject: [PATCH] Remove return type pack annotation from allowed type pack
 default values,type annotation syntax doesn't allow that to be stand-alone

---
 rfcs/syntax-default-type-alias-type-parameters.md | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/rfcs/syntax-default-type-alias-type-parameters.md b/rfcs/syntax-default-type-alias-type-parameters.md
index 77d1c024..a07e8aad 100644
--- a/rfcs/syntax-default-type-alias-type-parameters.md
+++ b/rfcs/syntax-default-type-alias-type-parameters.md
@@ -48,10 +48,9 @@ type A<T, U = V, V = T> = ... -- not allowed
 
 Default type parameter values are also allowed for type packs:
 ```lua
-type A<T, U... = ...string>        -- ok, variadic type pack
-type B<T, U... = (number, number)> -- ok, type pack with two elements
-type C<T, U... = string>           -- ok, type pack with one element
-type D<T..., U... = T>             -- ok
+type A<T, U... = ...string> -- ok, variadic type pack
+type C<T, U... = string>    -- ok, type pack with one element
+type D<T..., U... = T>   -- ok
 ```
 
 ---