From cf54ea4254e33b5d81b9738a743c33b6ead0e168 Mon Sep 17 00:00:00 2001 From: Vyacheslav Egorov Date: Tue, 30 Nov 2021 19:35:55 +0200 Subject: [PATCH] With type pack support in type aliases, this second form with an empty list is now supported --- rfcs/syntax-default-type-alias-type-parameters.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/rfcs/syntax-default-type-alias-type-parameters.md b/rfcs/syntax-default-type-alias-type-parameters.md index 4d7d1ede..e4e81ca6 100644 --- a/rfcs/syntax-default-type-alias-type-parameters.md +++ b/rfcs/syntax-default-type-alias-type-parameters.md @@ -68,7 +68,7 @@ If all type parameters have a default type value, it is now possible to referenc type All = ... local a: All -- ok -local b: All<> -- not allowed +local b: All<> -- ok as well ``` If type is exported from a module, default type parameter values will still be available when module is imported.