Allow variadic/generic pack in type pack defaults

This commit is contained in:
JohnnyMorganz 2022-01-20 11:37:50 +00:00
parent a36d5f7b30
commit 835bdf7769

View file

@ -71,7 +71,7 @@ Type =
SimpleType ['|' Type] | SimpleType ['|' Type] |
SimpleType ['&' Type] SimpleType ['&' Type]
GenericTypePack = NAME '...' ['=' '(' TypeList ')'] GenericTypePack = NAME '...' ['=' (TypePack | '...' Type | NAME '...')]
GenericTypeList = NAME ['=' Type] [',' GenericTypeList] | GenericTypePack {',' GenericTypePack} GenericTypeList = NAME ['=' Type] [',' GenericTypeList] | GenericTypePack {',' GenericTypePack}
TypeList = Type [',' TypeList] | '...' Type TypeList = Type [',' TypeList] | '...' Type
TypeParams = (Type | TypePack | '...' Type | NAME '...') [',' TypeParams] TypeParams = (Type | TypePack | '...' Type | NAME '...') [',' TypeParams]