diff --git a/rfcs/syntax-default-type-alias-type-parameters.md b/rfcs/syntax-default-type-alias-type-parameters.md
index e4e81ca6..fcfc1c9e 100644
--- a/rfcs/syntax-default-type-alias-type-parameters.md
+++ b/rfcs/syntax-default-type-alias-type-parameters.md
@@ -50,6 +50,8 @@ 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
 ```