Add cases with assignment patterns

src/identifier-names/default/arrow-fn-assignment-identifier.template

@@ -0,0 +1,38 @@
+// Copyright (C) 2019 Leo Balter. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+path: language/expressions/arrow-function/dstr/syntax-error-ident-ref-
+name: IdentiferReference in ObjectAssignmentPattern (Arrow Function) cannot be a ReservedWord
+esid: prod-AssignmentPattern
+info: |
+  AssignmentPattern:
+    ObjectAssignmentPattern
+
+  ObjectAssignmentPattern:
+    { AssignmentPropertyList }
+
+  AssignmentPropertyList:
+    AssignmentProperty
+    AssignmentPropertyList , AssignmentProperty
+
+  AssignmentProperty:
+    IdentifierReference Initializer_opt
+    PropertyName : AssignmentElement
+
+  IdentifierReference:
+    Identifier
+    [~Yield]yield
+    [~Await]await
+
+  Identifier:
+    IdentifierName but not ReservedWord
+negative:
+  phase: parse
+  type: SyntaxError
+features: [arrow-function, destructuring-assignment]
+---*/
+
+$DONOTEVALUATE();
+
+var x = ({ /*{ declareWith }*/ }) => {};

src/identifier-names/default/obj-assignment-identifier.template

@@ -0,0 +1,38 @@
+// Copyright (C) 2019 Leo Balter. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+path: language/expressions/assignment/dstr/syntax-error-ident-ref-
+name: IdentiferReference in ObjectAssignmentPattern cannot be a ReservedWord
+esid: prod-AssignmentPattern
+info: |
+  AssignmentPattern:
+    ObjectAssignmentPattern
+
+  ObjectAssignmentPattern:
+    { AssignmentPropertyList }
+
+  AssignmentPropertyList:
+    AssignmentProperty
+    AssignmentPropertyList , AssignmentProperty
+
+  AssignmentProperty:
+    IdentifierReference Initializer_opt
+    PropertyName : AssignmentElement
+
+  IdentifierReference:
+    Identifier
+    [~Yield]yield
+    [~Await]await
+
+  Identifier:
+    IdentifierName but not ReservedWord
+negative:
+  phase: parse
+  type: SyntaxError
+features: [destructuring-assignment]
+---*/
+
+$DONOTEVALUATE();
+
+var x = { /*{ declareWith }*/ } = { /*{ referenceWith }*/: 42 };

src/identifier-names/default/obj-assignment-prop-name.template

@@ -19,7 +19,7 @@ info: |
   AssignmentProperty:
     IdentifierReference Initializer_opt
     PropertyName : AssignmentElement
-  
+
   PropertyName:
     LiteralPropertyName
     ...
@@ -29,10 +29,13 @@ info: |
     ...
 
   Reserved Words
-  
+
   A reserved word is an IdentifierName that cannot be used as an Identifier.
+features: [destructuring-assignment]
+flags: [noStrict]
 ---*/
 
-0, { /*{ declareWith }*/: x } = { /*{ referenceWith }*/: 42 };
+var y = { /*{ declareWith }*/: x } = { /*{ referenceWith }*/: 42 };
 
 assert.sameValue(x, 42, 'property exists');
+assert.sameValue(y['/*{ referenceWith }*/'], 42, 'assignment successful');

src/identifier-names/future-reserved-words/arrow-fn-assignment-identifier.template

@@ -0,0 +1,39 @@
+// Copyright (C) 2019 Leo Balter. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+path: language/expressions/arrow-function/dstr/syntax-error-ident-ref-
+name: IdentiferReference in ObjectAssignmentPattern (Arrow Function) cannot be a ReservedWord
+esid: prod-AssignmentPattern
+info: |
+  AssignmentPattern:
+    ObjectAssignmentPattern
+
+  ObjectAssignmentPattern:
+    { AssignmentPropertyList }
+
+  AssignmentPropertyList:
+    AssignmentProperty
+    AssignmentPropertyList , AssignmentProperty
+
+  AssignmentProperty:
+    IdentifierReference Initializer_opt
+    PropertyName : AssignmentElement
+
+  IdentifierReference:
+    Identifier
+    [~Yield]yield
+    [~Await]await
+
+  Identifier:
+    IdentifierName but not ReservedWord
+negative:
+  phase: parse
+  type: SyntaxError
+features: [arrow-function, destructuring-assignment]
+flags: [onlyStrict]
+---*/
+
+$DONOTEVALUATE();
+
+var x = ({ /*{ declareWith }*/ }) => {};

src/identifier-names/future-reserved-words/class-expression-method-def.template

@@ -0,0 +1,44 @@
+// Copyright (C) 2019 Leo Balter. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+path: language/expressions/class/ident-name-method-def-
+name: MethodDefinition
+esid: prod-PropertyDefinition
+info: |
+  ObjectLiteral :
+    { PropertyDefinitionList }
+    { PropertyDefinitionList , }
+
+  PropertyDefinitionList:
+    PropertyDefinition
+    PropertyDefinitionList , PropertyDefinition
+
+  PropertyDefinition:
+    MethodDefinition
+    ...
+
+  MethodDefinition:
+    PropertyName ( UniqueFormalParameters ){ FunctionBody }
+
+  PropertyName:
+    LiteralPropertyName
+    ...
+
+  LiteralPropertyName:
+    IdentifierName
+    ...
+
+  Reserved Words
+  
+  A reserved word is an IdentifierName that cannot be used as an Identifier.
+features: [class]
+---*/
+
+var C = class {
+  /*{ declareWith }*/() { return 42; }
+}
+
+var obj = new C();
+
+assert.sameValue(obj['/*{ referenceWith }*/'](), 42, 'property exists');

src/identifier-names/future-reserved-words/class-statement-method-def.template

@@ -0,0 +1,44 @@
+// Copyright (C) 2019 Leo Balter. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+path: language/statements/class/ident-name-method-def-
+name: MethodDefinition
+esid: prod-PropertyDefinition
+info: |
+  ObjectLiteral :
+    { PropertyDefinitionList }
+    { PropertyDefinitionList , }
+
+  PropertyDefinitionList:
+    PropertyDefinition
+    PropertyDefinitionList , PropertyDefinition
+
+  PropertyDefinition:
+    MethodDefinition
+    ...
+
+  MethodDefinition:
+    PropertyName ( UniqueFormalParameters ){ FunctionBody }
+
+  PropertyName:
+    LiteralPropertyName
+    ...
+
+  LiteralPropertyName:
+    IdentifierName
+    ...
+
+  Reserved Words
+  
+  A reserved word is an IdentifierName that cannot be used as an Identifier.
+features: [class]
+---*/
+
+class C {
+  /*{ declareWith }*/() { return 42; }
+}
+
+var obj = new C();
+
+assert.sameValue(obj['/*{ referenceWith }*/'](), 42, 'property exists');

src/identifier-names/future-reserved-words/covered-obj-prop-name.template

@@ -0,0 +1,38 @@
+// Copyright (C) 2019 Leo Balter. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+path: language/expressions/object/covered-ident-name-prop-name-literal-
+name: PropertyName in a CoverParenthesizedExpressionAndArrowParameterList
+esid: prod-PropertyDefinition
+info: |
+  ObjectLiteral :
+    { PropertyDefinitionList }
+    { PropertyDefinitionList , }
+
+  PropertyDefinitionList:
+    PropertyDefinition
+    PropertyDefinitionList , PropertyDefinition
+
+  PropertyDefinition:
+    IdentifierReference
+    PropertyName : AssignmentExpression
+    MethodDefinition
+    ... AssignmentExpression
+    ...
+
+  PropertyName:
+    LiteralPropertyName
+    ...
+
+  LiteralPropertyName:
+    IdentifierName
+    ...
+
+  Reserved Words
+  
+  A reserved word is an IdentifierName that cannot be used as an Identifier.
+---*/
+
+var obj = ({ /*{ declareWith }*/: 42 });
+
+assert.sameValue(obj['/*{ referenceWith }*/'], 42, 'property exists');

src/identifier-names/future-reserved-words/member-expr.template

@@ -0,0 +1,21 @@
+// Copyright (C) 2019 Leo Balter. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+path: language/expressions/assignment/member-expr-ident-name-
+name: MemberExpression IdentifierName
+esid: prod-PropertyDefinition
+info: |
+  MemberExpression:
+    ...
+    MemberExpression . IdentifierName
+
+  Reserved Words
+  
+  A reserved word is an IdentifierName that cannot be used as an Identifier.
+---*/
+
+var obj = {};
+
+obj./*{ declareWith }*/ = 42;
+
+assert.sameValue(obj['/*{ referenceWith }*/'], 42, 'property exists');

src/identifier-names/future-reserved-words/obj-assignment-identifier.template

@@ -0,0 +1,39 @@
+// Copyright (C) 2019 Leo Balter. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+path: language/expressions/assignment/dstr/syntax-error-ident-ref-
+name: IdentiferReference in ObjectAssignmentPattern cannot be a ReservedWord
+esid: prod-AssignmentPattern
+info: |
+  AssignmentPattern:
+    ObjectAssignmentPattern
+
+  ObjectAssignmentPattern:
+    { AssignmentPropertyList }
+
+  AssignmentPropertyList:
+    AssignmentProperty
+    AssignmentPropertyList , AssignmentProperty
+
+  AssignmentProperty:
+    IdentifierReference Initializer_opt
+    PropertyName : AssignmentElement
+
+  IdentifierReference:
+    Identifier
+    [~Yield]yield
+    [~Await]await
+
+  Identifier:
+    IdentifierName but not ReservedWord
+negative:
+  phase: parse
+  type: SyntaxError
+flags: [onlyStrict]
+features: [destructuring-assignment]
+---*/
+
+$DONOTEVALUATE();
+
+var x = { /*{ declareWith }*/ } = { /*{ referenceWith }*/: 42 };

src/identifier-names/future-reserved-words/obj-assignment-prop-name.template

@@ -0,0 +1,41 @@
+// Copyright (C) 2019 Leo Balter. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+path: language/expressions/assignment/dstr/ident-name-prop-name-literal-
+name: PropertyName of an ObjectAssignmentPattern
+esid: prod-AssignmentPattern
+info: |
+  AssignmentPattern:
+    ObjectAssignmentPattern
+
+  ObjectAssignmentPattern:
+    { AssignmentPropertyList }
+
+  AssignmentPropertyList:
+    AssignmentProperty
+    AssignmentPropertyList , AssignmentProperty
+
+  AssignmentProperty:
+    IdentifierReference Initializer_opt
+    PropertyName : AssignmentElement
+  
+  PropertyName:
+    LiteralPropertyName
+    ...
+
+  LiteralPropertyName:
+    IdentifierName
+    ...
+
+  Reserved Words
+  
+  A reserved word is an IdentifierName that cannot be used as an Identifier.
+features: [destructuring-assignment]
+flags: [noStrict]
+---*/
+
+var y = { /*{ declareWith }*/: x } = { /*{ referenceWith }*/: 42 };
+
+assert.sameValue(x, 42, 'property exists');
+assert.sameValue(y['/*{ referenceWith }*/'], 42, 'assignment successful');

src/identifier-names/future-reserved-words/obj-method-definition.template

@@ -0,0 +1,41 @@
+// Copyright (C) 2019 Leo Balter. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+path: language/expressions/object/ident-name-method-def-
+name: MethodDefinition
+esid: prod-PropertyDefinition
+info: |
+  ObjectLiteral :
+    { PropertyDefinitionList }
+    { PropertyDefinitionList , }
+
+  PropertyDefinitionList:
+    PropertyDefinition
+    PropertyDefinitionList , PropertyDefinition
+
+  PropertyDefinition:
+    MethodDefinition
+    ...
+
+  MethodDefinition:
+    PropertyName ( UniqueFormalParameters ){ FunctionBody }
+
+  PropertyName:
+    LiteralPropertyName
+    ...
+
+  LiteralPropertyName:
+    IdentifierName
+    ...
+
+  Reserved Words
+  
+  A reserved word is an IdentifierName that cannot be used as an Identifier.
+---*/
+
+var obj = {
+  /*{ declareWith }*/() { return 42; }
+};
+
+assert.sameValue(obj['/*{ referenceWith }*/'](), 42, 'property exists');

src/identifier-names/future-reserved-words/obj-prop-name.template

@@ -0,0 +1,40 @@
+// Copyright (C) 2019 Leo Balter. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+path: language/expressions/object/ident-name-prop-name-literal-
+name: PropertyName
+esid: prod-PropertyDefinition
+info: |
+  ObjectLiteral :
+    { PropertyDefinitionList }
+    { PropertyDefinitionList , }
+
+  PropertyDefinitionList:
+    PropertyDefinition
+    PropertyDefinitionList , PropertyDefinition
+
+  PropertyDefinition:
+    IdentifierReference
+    PropertyName : AssignmentExpression
+    MethodDefinition
+    ... AssignmentExpression
+    ...
+
+  PropertyName:
+    LiteralPropertyName
+    ...
+
+  LiteralPropertyName:
+    IdentifierName
+    ...
+
+  Reserved Words
+  
+  A reserved word is an IdentifierName that cannot be used as an Identifier.
+---*/
+
+var obj = {
+  /*{ declareWith }*/: 42
+};
+
+assert.sameValue(obj['/*{ referenceWith }*/'], 42, 'property exists');

src/identifier-names/implements-escaped.case

@@ -3,7 +3,7 @@
 
 /*---
 desc: implements is a valid identifier name, using escape
-template: default
+template: future-reserved-words
 ---*/
 
 //- declareWith

src/identifier-names/instance-escaped.case

@@ -1,12 +0,0 @@
-// Copyright (C) 2019 Leo Balter. All rights reserved.
-// This code is governed by the BSD license found in the LICENSE file.
-
-/*---
-desc: instance is a valid identifier name, using escape
-template: default
----*/
-
-//- declareWith
-\u0069nstance
-//- referenceWith
-instance

src/identifier-names/instanceof-escaped.case

@@ -2,11 +2,11 @@
 // This code is governed by the BSD license found in the LICENSE file.
 
 /*---
-desc: await is a valid identifier name, using escape
+desc: instanceof is a valid identifier name, using escape
 template: default
 ---*/
 
 //- declareWith
-\u0061wait
+\u0069nstanceof
 //- referenceWith
-await
+instanceof

src/identifier-names/interface-escaped.case

@@ -3,7 +3,7 @@
 
 /*---
 desc: interface is a valid identifier name, using escape
-template: default
+template: future-reserved-words
 ---*/
 
 //- declareWith

src/identifier-names/let-escaped.case

@@ -3,7 +3,7 @@
 
 /*---
 desc: let is a valid identifier name, using escape
-template: default
+template: future-reserved-words
 ---*/
 
 //- declareWith

src/identifier-names/package-escaped.case

@@ -3,7 +3,7 @@
 
 /*---
 desc: package is a valid identifier name, using escape
-template: default
+template: future-reserved-words
 ---*/
 
 //- declareWith

src/identifier-names/private-escaped.case

@@ -3,7 +3,7 @@
 
 /*---
 desc: private is a valid identifier name, using escape
-template: default
+template: future-reserved-words
 ---*/
 
 //- declareWith

src/identifier-names/protected-escaped.case

@@ -3,7 +3,7 @@
 
 /*---
 desc: protected is a valid identifier name, using escape
-template: default
+template: future-reserved-words
 ---*/
 
 //- declareWith

src/identifier-names/public-escaped.case

@@ -3,7 +3,7 @@
 
 /*---
 desc: public is a valid identifier name, using escape
-template: default
+template: future-reserved-words
 ---*/
 
 //- declareWith

src/identifier-names/static-escaped.case

@@ -3,7 +3,7 @@
 
 /*---
 desc: static is a valid identifier name, using escape
-template: default
+template: future-reserved-words
 ---*/
 
 //- declareWith

src/identifier-names/super-escaped.case

@@ -7,6 +7,6 @@ template: default
 ---*/
 
 //- declareWith
-s\u0065per
+sup\u0065r
 //- referenceWith
 super

src/identifier-names/typeof-escaped.case

@@ -7,6 +7,6 @@ template: default
 ---*/
 
 //- declareWith
-t\u0068peof
+typ\u0065of
 //- referenceWith
 typeof

src/identifier-names/yield-escaped.case

@@ -1,12 +0,0 @@
-// Copyright (C) 2019 Leo Balter. All rights reserved.
-// This code is governed by the BSD license found in the LICENSE file.
-
-/*---
-desc: yield is a valid identifier name, using escape
-template: default
----*/
-
-//- declareWith
-y\u0069eld
-//- referenceWith
-yield