diff --git a/spec.html b/spec.html
index a0488c1325..c575030ac0 100644
--- a/spec.html
+++ b/spec.html
@@ -23967,62 +23967,55 @@
Static Semantics: ContainsArguments
- FunctionDeclaration : `function` BindingIdentifier `(` FormalParameters `)` `{` FunctionBody `}`
+ FunctionDeclaration :
+ `function` BindingIdentifier `(` FormalParameters `)` `{` FunctionBody `}`
+ `function` `(` FormalParameters `)` `{` FunctionBody `}`
- FunctionDeclaration : `function` `(` FormalParameters `)` `{` FunctionBody `}`
+ FunctionExpression :
+ `function` BindingIdentifier? `(` FormalParameters `)` `{` FunctionBody `}`
- FunctionExpression : `function` BindingIdentifier? `(` FormalParameters `)` `{` FunctionBody `}`
-
-
- 1. Return *false*.
-
+ GeneratorDeclaration :
+ `function` `*` BindingIdentifier `(` FormalParameters `)` `{` GeneratorBody `}`
+ `function` `*` `(` FormalParameters `)` `{` GeneratorBody `}`
-
- MethodDefinition :
- ClassElementName `(` UniqueFormalParameters `)` `{` FunctionBody `}`
- `get` ClassElementName `(` `)` `{` FunctionBody `}`
- `set` ClassElementName `(` PropertySetParameterList `)` `{` FunctionBody `}`
-
-
- 1. Return ContainsArguments of |ClassElementName|.
-
+ GeneratorExpression :
+ `function` `*` BindingIdentifier? `(` FormalParameters `)` `{` GeneratorBody `}`
-
- GeneratorMethod : `*` ClassElementName `(` UniqueFormalParameters `)` `{` GeneratorBody `}`
-
-
- 1. Return ContainsArguments of |ClassElementName|.
-
+ AsyncGeneratorDeclaration :
+ `async` `function` `*` BindingIdentifier `(` FormalParameters `)` `{` AsyncGeneratorBody `}`
+ `async` `function` `*` `(` FormalParameters `)` `{` AsyncGeneratorBody `}`
-
- GeneratorDeclaration : `function` `*` BindingIdentifier `(` FormalParameters `)` `{` GeneratorBody `}`
+ AsyncGeneratorExpression :
+ `async` `function` `*` BindingIdentifier? `(` FormalParameters `)` `{` AsyncGeneratorBody `}`
- GeneratorDeclaration : `function` `*` `(` FormalParameters `)` `{` GeneratorBody `}`
+ AsyncFunctionDeclaration :
+ `async` `function` BindingIdentifier `(` FormalParameters `)` `{` AsyncFunctionBody `}`
+ `async` `function` `(` FormalParameters `)` `{` AsyncFunctionBody `}`
- GeneratorExpression : `function` `*` BindingIdentifier? `(` FormalParameters `)` `{` GeneratorBody `}`
+ AsyncFunctionExpression :
+ `async` `function` BindingIdentifier? `(` FormalParameters `)` `{` AsyncFunctionBody `}`
1. Return *false*.
- AsyncMethod : `async` ClassElementName `(` UniqueFormalParameters `)` `{` AsyncFunctionBody `}`
-
-
- 1. Return ContainsArguments of |ClassElementName|.
-
-
-
- AsyncFunctionDeclaration : `async` `function` BindingIdentifier `(` FormalParameters `)` `{` AsyncFunctionBody `}`
+ MethodDefinition :
+ ClassElementName `(` UniqueFormalParameters `)` `{` FunctionBody `}`
+ `get` ClassElementName `(` `)` `{` FunctionBody `}`
+ `set` ClassElementName `(` PropertySetParameterList `)` `{` FunctionBody `}`
- AsyncFunctionDeclaration : `async` `function` `(` FormalParameters `)` `{` AsyncFunctionBody `}`
+ GeneratorMethod :
+ `*` ClassElementName `(` UniqueFormalParameters `)` `{` GeneratorBody `}`
- AsyncFunctionExpression : `async` `function` `(` FormalParameters `)` `{` AsyncFunctionBody `}`
+ AsyncGeneratorMethod :
+ `async` `*` ClassElementName `(` UniqueFormalParameters `)` `{` AsyncGeneratorBody `}`
- AsyncFunctionExpression : `async` `function` BindingIdentifier `(` FormalParameters `)` `{` AsyncFunctionBody `}`
+ AsyncMethod :
+ `async` ClassElementName `(` UniqueFormalParameters `)` `{` AsyncFunctionBody `}`
- 1. Return *false*.
+ 1. Return ContainsArguments of |ClassElementName|.