diff --git a/index.bs b/index.bs index 628de3cb..ffe995a5 100644 --- a/index.bs +++ b/index.bs @@ -1974,8 +1974,13 @@ The following extended attributes are applicable to operations:
Argument : - ExtendedAttributeList "optional" TypeWithExtendedAttributes ArgumentName Default - ExtendedAttributeList Type Ellipsis ArgumentName + ExtendedAttributeList ArgumentRest ++ +
+ ArgumentRest : + "optional" TypeWithExtendedAttributes ArgumentName Default + Type Ellipsis ArgumentName
@@ -4232,8 +4237,13 @@ No [=extended attributes=] are applicable to dictionaries.DictionaryMember : - ExtendedAttributeList "required" TypeWithExtendedAttributes identifier Default ";" - ExtendedAttributeList Type identifier Default ";" + ExtendedAttributeList DictionaryMemberRest ++ ++ DictionaryMemberRest : + "required" TypeWithExtendedAttributes identifier Default ";" + Type identifier Default ";"@@ -5083,8 +5093,7 @@ type.TypeWithExtendedAttributes : - ExtendedAttributeList SingleType - ExtendedAttributeList UnionType Null + ExtendedAttributeList Type