diff --git a/index.bs b/index.bs index 628de3cbd..ffe995a51 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