From 079766a0b0df097fb5d627fdf280ecff34388c08 Mon Sep 17 00:00:00 2001
From: vegorov-rbx <75688451+vegorov-rbx@users.noreply.github.com>
Date: Fri, 3 Dec 2021 09:55:44 -0800
Subject: [PATCH] Update syntax-default-type-alias-type-parameters.md

Even more examples
---
 rfcs/syntax-default-type-alias-type-parameters.md | 11 ++++++-----
 1 file changed, 6 insertions(+), 5 deletions(-)

diff --git a/rfcs/syntax-default-type-alias-type-parameters.md b/rfcs/syntax-default-type-alias-type-parameters.md
index fcfc1c9e..15d23c81 100644
--- a/rfcs/syntax-default-type-alias-type-parameters.md
+++ b/rfcs/syntax-default-type-alias-type-parameters.md
@@ -48,11 +48,12 @@ 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 C<T, U... = (string)>  -- ok, type pack with one element
-type C<T, U... = (string,number)>  -- ok, type pack with two elements
-type C<T, U... = ()>  -- ok, type pack with no elements
-type D<T..., U... = T...>   -- ok
+type A<T, U... = ...string>           -- ok, variadic type pack
+type B<T, U... = ()>                  -- ok, type pack with no elements
+type C<T, U... = (string)>            -- ok, type pack with one element
+type D<T, U... = (string, number)>    -- ok, type pack with two elements
+type E<T, U... = (string, ...number)> -- ok, variadic type pack with a different first element
+type F<T..., U... = T...>             -- ok, same type pack as T...
 ```
 
 ---