Templates and cases for invalid private names

src/invalid-private-names/call-expression-bad-reference.case

@@ -0,0 +1,23 @@
+// Copyright (C) 2018 Leo Balter. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: bad reference in call expression
+info: |
+  Static Semantics: AllPrivateNamesValid
+
+  MemberExpression : MemberExpression . PrivateName
+
+  1. If StringValue of PrivateName is in names, return true.
+  2. Return false.
+
+  CallExpression : CallExpression . PrivateName
+
+  1. If StringValue of PrivateName is in names, return true.
+  2. Return false.
+template: default
+features: [class-fields-private]
+---*/
+
+//- body
+(() => {})().#x

src/invalid-private-names/call-expression-this.case

@@ -0,0 +1,23 @@
+// Copyright (C) 2018 Leo Balter. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: this evaluated in call expression
+info: |
+  Static Semantics: AllPrivateNamesValid
+
+  MemberExpression : MemberExpression . PrivateName
+
+  1. If StringValue of PrivateName is in names, return true.
+  2. Return false.
+
+  CallExpression : CallExpression . PrivateName
+
+  1. If StringValue of PrivateName is in names, return true.
+  2. Return false.
+template: default
+features: [class-fields-private]
+---*/
+
+//- body
+(() => this)().#x

src/invalid-private-names/default/block.template

@@ -0,0 +1,26 @@
+// Copyright (C) 2018 Leo Balter. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+path: language/statements/block/early-errors/invalid-names-
+name: >
+  Invalid private names should throw a SyntaxError,
+  block statement
+esid: sec-static-semantics-early-errors
+info: |
+  ScriptBody:StatementList
+    It is a Syntax Error if AllPrivateNamesValid of StatementList with an empty List
+    as an argument is false unless the source code is eval code that is being
+    processed by a direct eval.
+
+  ModuleBody:ModuleItemList
+    It is a Syntax Error if AllPrivateNamesValid of ModuleItemList with an empty List
+    as an argument is false.
+negative:
+  phase: parse
+  type: SyntaxError
+---*/
+
+$DONOTEVALUATE();
+
+{ /*{ body }*/ }

src/invalid-private-names/default/cls-decl-field-initializer-fn.template

@@ -0,0 +1,29 @@
+// Copyright (C) 2018 Leo Balter. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+path: language/statements/class/syntax/early-errors/invalid-names/field-init-fn-
+name: >
+  Invalid private names should throw a SyntaxError,
+  function in class field initializer in class declaration
+features: [class, class-fields-public]
+esid: sec-static-semantics-early-errors
+info: |
+  ScriptBody:StatementList
+    It is a Syntax Error if AllPrivateNamesValid of StatementList with an empty List
+    as an argument is false unless the source code is eval code that is being
+    processed by a direct eval.
+
+  ModuleBody:ModuleItemList
+    It is a Syntax Error if AllPrivateNamesValid of ModuleItemList with an empty List
+    as an argument is false.
+negative:
+  phase: parse
+  type: SyntaxError
+---*/
+
+$DONOTEVALUATE();
+
+class C {
+  f = function() { /*{ body }*/ }
+}

src/invalid-private-names/default/cls-decl-field-initializer-heritage.template

@@ -0,0 +1,44 @@
+
+// Copyright (C) 2018 Leo Balter. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+path: language/statements/class/syntax/early-errors/invalid-names/fields-init-heritage-
+name: >
+  Invalid private names should throw a SyntaxError,
+  class field initializer in class declaration
+features: [class, class-fields-private]
+esid: sec-static-semantics-early-errors
+info: |
+  ScriptBody:StatementList
+    It is a Syntax Error if AllPrivateNamesValid of StatementList with an empty List
+    as an argument is false unless the source code is eval code that is being
+    processed by a direct eval.
+
+  ModuleBody:ModuleItemList
+    It is a Syntax Error if AllPrivateNamesValid of ModuleItemList with an empty List
+    as an argument is false.
+
+  Static Semantics: AllPrivateNamesValid
+
+  ClassBody : ClassElementList
+  1. Let newNames be the concatenation of names with PrivateBoundNames of ClassBody.
+  2. Return AllPrivateNamesValid of ClassElementList with the argument newNames.
+
+  For all other grammatical productions, recurse on subexpressions/substatements,
+  passing in the names of the caller. If all pieces return true, then return true.
+  If any returns false, return false.
+negative:
+  phase: parse
+  type: SyntaxError
+---*/
+
+$DONOTEVALUATE();
+
+class Parent {
+  #x = 42;
+}
+
+class C extends Parent {
+  f = /*{ body }*/
+}

src/invalid-private-names/default/cls-decl-field-initializer.template

@@ -0,0 +1,29 @@
+// Copyright (C) 2018 Leo Balter. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+path: language/statements/class/syntax/early-errors/invalid-names/field-init-
+name: >
+  Invalid private names should throw a SyntaxError,
+  class field initializer in class declaration
+features: [class, class-fields-public]
+esid: sec-static-semantics-early-errors
+info: |
+  ScriptBody:StatementList
+    It is a Syntax Error if AllPrivateNamesValid of StatementList with an empty List
+    as an argument is false unless the source code is eval code that is being
+    processed by a direct eval.
+
+  ModuleBody:ModuleItemList
+    It is a Syntax Error if AllPrivateNamesValid of ModuleItemList with an empty List
+    as an argument is false.
+negative:
+  phase: parse
+  type: SyntaxError
+---*/
+
+$DONOTEVALUATE();
+
+class C {
+  f = /*{ body }*/
+}

src/invalid-private-names/default/cls-decl-inner-method.template

@@ -0,0 +1,44 @@
+// Copyright (C) 2018 Leo Balter. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+path: language/statements/class/syntax/early-errors/invalid-names/method-inner-
+name: >
+  Invalid private names should throw a SyntaxError,
+  method in inner class declaration
+features: [class, class-fields-private]
+esid: sec-static-semantics-early-errors
+info: |
+  ScriptBody:StatementList
+    It is a Syntax Error if AllPrivateNamesValid of StatementList with an empty List
+    as an argument is false unless the source code is eval code that is being
+    processed by a direct eval.
+
+  ModuleBody:ModuleItemList
+    It is a Syntax Error if AllPrivateNamesValid of ModuleItemList with an empty List
+    as an argument is false.
+
+  Static Semantics: AllPrivateNamesValid
+
+  ClassBody : ClassElementList
+  1. Let newNames be the concatenation of names with PrivateBoundNames of ClassBody.
+  2. Return AllPrivateNamesValid of ClassElementList with the argument newNames.
+
+  For all other grammatical productions, recurse on subexpressions/substatements,
+  passing in the names of the caller. If all pieces return true, then return true.
+  If any returns false, return false.
+negative:
+  phase: parse
+  type: SyntaxError
+---*/
+
+$DONOTEVALUATE();
+
+class C {
+  #x = 42;
+  m() {
+    class Inner {
+      z() { /*{ body }*/ }
+    }
+  }
+}

src/invalid-private-names/default/cls-decl-method-fn.template

@@ -0,0 +1,31 @@
+// Copyright (C) 2018 Leo Balter. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+path: language/statements/class/syntax/early-errors/invalid-names/method-fn-
+name: >
+  Invalid private names should throw a SyntaxError,
+  inner function in method in class declaration
+features: [class]
+esid: sec-static-semantics-early-errors
+info: |
+  ScriptBody:StatementList
+    It is a Syntax Error if AllPrivateNamesValid of StatementList with an empty List
+    as an argument is false unless the source code is eval code that is being
+    processed by a direct eval.
+
+  ModuleBody:ModuleItemList
+    It is a Syntax Error if AllPrivateNamesValid of ModuleItemList with an empty List
+    as an argument is false.
+negative:
+  phase: parse
+  type: SyntaxError
+---*/
+
+$DONOTEVALUATE();
+
+class C {
+  m() {
+    function fn() { /*{ body }*/ }
+  }
+}

src/invalid-private-names/default/cls-decl-method-heritage.template

@@ -0,0 +1,45 @@
+// Copyright (C) 2018 Leo Balter. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+path: language/statements/class/syntax/early-errors/invalid-names/method-heritage-
+name: >
+  Invalid private names should throw a SyntaxError,
+  method in class declaration
+features: [class, class-fields-private]
+esid: sec-static-semantics-early-errors
+info: |
+  ScriptBody:StatementList
+    It is a Syntax Error if AllPrivateNamesValid of StatementList with an empty List
+    as an argument is false unless the source code is eval code that is being
+    processed by a direct eval.
+
+  ModuleBody:ModuleItemList
+    It is a Syntax Error if AllPrivateNamesValid of ModuleItemList with an empty List
+    as an argument is false.
+
+  Static Semantics: AllPrivateNamesValid
+
+  ClassBody : ClassElementList
+  1. Let newNames be the concatenation of names with PrivateBoundNames of ClassBody.
+  2. Return AllPrivateNamesValid of ClassElementList with the argument newNames.
+
+  For all other grammatical productions, recurse on subexpressions/substatements,
+  passing in the names of the caller. If all pieces return true, then return true.
+  If any returns false, return false.
+negative:
+  phase: parse
+  type: SyntaxError
+---*/
+
+$DONOTEVALUATE();
+
+class Parent {
+  #x = 42;
+}
+
+class C extends Parent {
+  m() {
+    /*{ body }*/
+  }
+}

src/invalid-private-names/default/cls-decl-method.template

@@ -0,0 +1,29 @@
+// Copyright (C) 2018 Leo Balter. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+path: language/statements/class/syntax/early-errors/invalid-names/method-
+name: >
+  Invalid private names should throw a SyntaxError,
+  method in class declaration
+features: [class]
+esid: sec-static-semantics-early-errors
+info: |
+  ScriptBody:StatementList
+    It is a Syntax Error if AllPrivateNamesValid of StatementList with an empty List
+    as an argument is false unless the source code is eval code that is being
+    processed by a direct eval.
+
+  ModuleBody:ModuleItemList
+    It is a Syntax Error if AllPrivateNamesValid of ModuleItemList with an empty List
+    as an argument is false.
+negative:
+  phase: parse
+  type: SyntaxError
+---*/
+
+$DONOTEVALUATE();
+
+class C {
+  m() { /*{ body }*/ }
+}

src/invalid-private-names/default/cls-decl-outter-method.template

@@ -0,0 +1,45 @@
+// Copyright (C) 2018 Leo Balter. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+path: language/statements/class/syntax/early-errors/invalid-names/method-outter-
+name: >
+  Invalid private names should throw a SyntaxError,
+  method in outter class declaration
+features: [class, class-fields-private]
+esid: sec-static-semantics-early-errors
+info: |
+  ScriptBody:StatementList
+    It is a Syntax Error if AllPrivateNamesValid of StatementList with an empty List
+    as an argument is false unless the source code is eval code that is being
+    processed by a direct eval.
+
+  ModuleBody:ModuleItemList
+    It is a Syntax Error if AllPrivateNamesValid of ModuleItemList with an empty List
+    as an argument is false.
+
+  Static Semantics: AllPrivateNamesValid
+
+  ClassBody : ClassElementList
+  1. Let newNames be the concatenation of names with PrivateBoundNames of ClassBody.
+  2. Return AllPrivateNamesValid of ClassElementList with the argument newNames.
+
+  For all other grammatical productions, recurse on subexpressions/substatements,
+  passing in the names of the caller. If all pieces return true, then return true.
+  If any returns false, return false.
+negative:
+  phase: parse
+  type: SyntaxError
+---*/
+
+$DONOTEVALUATE();
+
+class C {
+  m() {
+    class Outter {
+      #x = 42;
+    }
+
+    this.#x;
+  }
+}

src/invalid-private-names/default/cls-expr-field-initializer-fn.template

@@ -0,0 +1,39 @@
+// Copyright (C) 2018 Leo Balter. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+path: language/expressions/class/syntax/early-errors/invalid-names/field-init-fn-
+name: >
+  Invalid private names should throw a SyntaxError,
+  function in class field initializer in class expression
+info: |
+  ScriptBody:StatementList
+    It is a Syntax Error if AllPrivateNamesValid of StatementList with an empty List
+    as an argument is false unless the source code is eval code that is being
+    processed by a direct eval.
+
+  ModuleBody:ModuleItemList
+    It is a Syntax Error if AllPrivateNamesValid of ModuleItemList with an empty List
+    as an argument is false.
+
+  Static Semantics: AllPrivateNamesValid
+
+  ClassBody : ClassElementList
+  1. Let newNames be the concatenation of names with PrivateBoundNames of ClassBody.
+  2. Return AllPrivateNamesValid of ClassElementList with the argument newNames.
+
+  For all other grammatical productions, recurse on subexpressions/substatements,
+  passing in the names of the caller. If all pieces return true, then return true.
+  If any returns false, return false.
+features: [class, class-fields-public]
+esid: sec-static-semantics-early-errors
+negative:
+  phase: parse
+  type: SyntaxError
+---*/
+
+$DONOTEVALUATE();
+
+var C = class {
+  f = function() { /*{ body }*/ }
+};

src/invalid-private-names/default/cls-expr-field-initializer-heritage.template

@@ -0,0 +1,43 @@
+// Copyright (C) 2018 Leo Balter. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+path: language/expressions/class/syntax/early-errors/invalid-names/field-init-heritage-
+name: >
+  Invalid private names should throw a SyntaxError,
+  field initializer in inner class expression
+features: [class, class-fields-private]
+info: |
+  ScriptBody:StatementList
+    It is a Syntax Error if AllPrivateNamesValid of StatementList with an empty List
+    as an argument is false unless the source code is eval code that is being
+    processed by a direct eval.
+
+  ModuleBody:ModuleItemList
+    It is a Syntax Error if AllPrivateNamesValid of ModuleItemList with an empty List
+    as an argument is false.
+
+  Static Semantics: AllPrivateNamesValid
+
+  ClassBody : ClassElementList
+  1. Let newNames be the concatenation of names with PrivateBoundNames of ClassBody.
+  2. Return AllPrivateNamesValid of ClassElementList with the argument newNames.
+
+  For all other grammatical productions, recurse on subexpressions/substatements,
+  passing in the names of the caller. If all pieces return true, then return true.
+  If any returns false, return false.
+esid: sec-static-semantics-early-errors
+negative:
+  phase: parse
+  type: SyntaxError
+---*/
+
+$DONOTEVALUATE();
+
+class Parent {
+  #x = 42;
+}
+
+var C = class extends Parent {
+  f = /*{ body }*/
+};

src/invalid-private-names/default/cls-expr-field-initializer.template

@@ -0,0 +1,39 @@
+// Copyright (C) 2018 Leo Balter. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+path: language/expressions/class/syntax/early-errors/invalid-names/field-init-
+name: >
+  Invalid private names should throw a SyntaxError,
+  class field initializer in class expression
+info: |
+  ScriptBody:StatementList
+    It is a Syntax Error if AllPrivateNamesValid of StatementList with an empty List
+    as an argument is false unless the source code is eval code that is being
+    processed by a direct eval.
+
+  ModuleBody:ModuleItemList
+    It is a Syntax Error if AllPrivateNamesValid of ModuleItemList with an empty List
+    as an argument is false.
+
+  Static Semantics: AllPrivateNamesValid
+
+  ClassBody : ClassElementList
+  1. Let newNames be the concatenation of names with PrivateBoundNames of ClassBody.
+  2. Return AllPrivateNamesValid of ClassElementList with the argument newNames.
+
+  For all other grammatical productions, recurse on subexpressions/substatements,
+  passing in the names of the caller. If all pieces return true, then return true.
+  If any returns false, return false.
+features: [class, class-fields-public]
+esid: sec-static-semantics-early-errors
+negative:
+  phase: parse
+  type: SyntaxError
+---*/
+
+$DONOTEVALUATE();
+
+var C = class {
+  f = /*{ body }*/
+};

src/invalid-private-names/default/cls-expr-inner-method.template

@@ -0,0 +1,44 @@
+// Copyright (C) 2018 Leo Balter. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+path: language/expressions/class/syntax/early-errors/invalid-names/method-inner-
+name: >
+  Invalid private names should throw a SyntaxError,
+  method in inner class expression
+features: [class, class-fields-private]
+info: |
+  ScriptBody:StatementList
+    It is a Syntax Error if AllPrivateNamesValid of StatementList with an empty List
+    as an argument is false unless the source code is eval code that is being
+    processed by a direct eval.
+
+  ModuleBody:ModuleItemList
+    It is a Syntax Error if AllPrivateNamesValid of ModuleItemList with an empty List
+    as an argument is false.
+
+  Static Semantics: AllPrivateNamesValid
+
+  ClassBody : ClassElementList
+  1. Let newNames be the concatenation of names with PrivateBoundNames of ClassBody.
+  2. Return AllPrivateNamesValid of ClassElementList with the argument newNames.
+
+  For all other grammatical productions, recurse on subexpressions/substatements,
+  passing in the names of the caller. If all pieces return true, then return true.
+  If any returns false, return false.
+esid: sec-static-semantics-early-errors
+negative:
+  phase: parse
+  type: SyntaxError
+---*/
+
+$DONOTEVALUATE();
+
+var C = class {
+  #x = 42;
+  m() {
+    class Inner {
+      z() { /*{ body }*/ }
+    }
+  }
+};

src/invalid-private-names/default/cls-expr-method-fn.template

@@ -0,0 +1,41 @@
+// Copyright (C) 2018 Leo Balter. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+path: language/expressions/class/syntax/early-errors/invalid-names/method-fn-
+name: >
+  Invalid private names should throw a SyntaxError,
+  inner function in method in class expression
+info: |
+  ScriptBody:StatementList
+    It is a Syntax Error if AllPrivateNamesValid of StatementList with an empty List
+    as an argument is false unless the source code is eval code that is being
+    processed by a direct eval.
+
+  ModuleBody:ModuleItemList
+    It is a Syntax Error if AllPrivateNamesValid of ModuleItemList with an empty List
+    as an argument is false.
+
+  Static Semantics: AllPrivateNamesValid
+
+  ClassBody : ClassElementList
+  1. Let newNames be the concatenation of names with PrivateBoundNames of ClassBody.
+  2. Return AllPrivateNamesValid of ClassElementList with the argument newNames.
+
+  For all other grammatical productions, recurse on subexpressions/substatements,
+  passing in the names of the caller. If all pieces return true, then return true.
+  If any returns false, return false.
+features: [class]
+esid: sec-static-semantics-early-errors
+negative:
+  phase: parse
+  type: SyntaxError
+---*/
+
+$DONOTEVALUATE();
+
+var C = class {
+  m() {
+    function fn() { /*{ body }*/ }
+  }
+};

src/invalid-private-names/default/cls-expr-method-heritage.template

@@ -0,0 +1,45 @@
+// Copyright (C) 2018 Leo Balter. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+path: language/expressions/class/syntax/early-errors/invalid-names/method-heritage-
+name: >
+  Invalid private names should throw a SyntaxError,
+  method in inner class expression
+features: [class, class-fields-private]
+info: |
+  ScriptBody:StatementList
+    It is a Syntax Error if AllPrivateNamesValid of StatementList with an empty List
+    as an argument is false unless the source code is eval code that is being
+    processed by a direct eval.
+
+  ModuleBody:ModuleItemList
+    It is a Syntax Error if AllPrivateNamesValid of ModuleItemList with an empty List
+    as an argument is false.
+
+  Static Semantics: AllPrivateNamesValid
+
+  ClassBody : ClassElementList
+  1. Let newNames be the concatenation of names with PrivateBoundNames of ClassBody.
+  2. Return AllPrivateNamesValid of ClassElementList with the argument newNames.
+
+  For all other grammatical productions, recurse on subexpressions/substatements,
+  passing in the names of the caller. If all pieces return true, then return true.
+  If any returns false, return false.
+esid: sec-static-semantics-early-errors
+negative:
+  phase: parse
+  type: SyntaxError
+---*/
+
+$DONOTEVALUATE();
+
+class Parent {
+  #x = 42;
+}
+
+var C = class extends Parent {
+  m() {
+    /*{ body }*/
+  }
+};

src/invalid-private-names/default/cls-expr-method.template

@@ -0,0 +1,39 @@
+// Copyright (C) 2018 Leo Balter. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+path: language/expressions/class/syntax/early-errors/invalid-names/method-
+name: >
+  Invalid private names should throw a SyntaxError,
+  method in class expression
+info: |
+  ScriptBody:StatementList
+    It is a Syntax Error if AllPrivateNamesValid of StatementList with an empty List
+    as an argument is false unless the source code is eval code that is being
+    processed by a direct eval.
+
+  ModuleBody:ModuleItemList
+    It is a Syntax Error if AllPrivateNamesValid of ModuleItemList with an empty List
+    as an argument is false.
+
+  Static Semantics: AllPrivateNamesValid
+
+  ClassBody : ClassElementList
+  1. Let newNames be the concatenation of names with PrivateBoundNames of ClassBody.
+  2. Return AllPrivateNamesValid of ClassElementList with the argument newNames.
+
+  For all other grammatical productions, recurse on subexpressions/substatements,
+  passing in the names of the caller. If all pieces return true, then return true.
+  If any returns false, return false.
+features: [class]
+esid: sec-static-semantics-early-errors
+negative:
+  phase: parse
+  type: SyntaxError
+---*/
+
+$DONOTEVALUATE();
+
+var C = class {
+  m() { /*{ body }*/ }
+};

src/invalid-private-names/default/cls-expr-outter-method.template

@@ -0,0 +1,45 @@
+// Copyright (C) 2018 Leo Balter. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+path: language/expressions/class/syntax/early-errors/invalid-names/method-outter-
+name: >
+  Invalid private names should throw a SyntaxError,
+  method in outter class expression
+features: [class, class-fields-private]
+info: |
+  ScriptBody:StatementList
+    It is a Syntax Error if AllPrivateNamesValid of StatementList with an empty List
+    as an argument is false unless the source code is eval code that is being
+    processed by a direct eval.
+
+  ModuleBody:ModuleItemList
+    It is a Syntax Error if AllPrivateNamesValid of ModuleItemList with an empty List
+    as an argument is false.
+
+  Static Semantics: AllPrivateNamesValid
+
+  ClassBody : ClassElementList
+  1. Let newNames be the concatenation of names with PrivateBoundNames of ClassBody.
+  2. Return AllPrivateNamesValid of ClassElementList with the argument newNames.
+
+  For all other grammatical productions, recurse on subexpressions/substatements,
+  passing in the names of the caller. If all pieces return true, then return true.
+  If any returns false, return false.
+esid: sec-static-semantics-early-errors
+negative:
+  phase: parse
+  type: SyntaxError
+---*/
+
+$DONOTEVALUATE();
+
+var C = class {
+  m() {
+    class Outter {
+      #x = 42;
+    }
+
+    this.#x;
+  }
+};

src/invalid-private-names/default/convention.md

@@ -0,0 +1 @@
+Cases conventionally use #x as the private name reference to be flagged as invalid.

src/invalid-private-names/default/function-decl.template

@@ -0,0 +1,26 @@
+// Copyright (C) 2018 Leo Balter. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+path: language/statements/function/early-errors/invalid-names-
+name: >
+  Invalid private names should throw a SyntaxError,
+  inside function declaration
+esid: sec-static-semantics-early-errors
+info: |
+  ScriptBody:StatementList
+    It is a Syntax Error if AllPrivateNamesValid of StatementList with an empty List
+    as an argument is false unless the source code is eval code that is being
+    processed by a direct eval.
+
+  ModuleBody:ModuleItemList
+    It is a Syntax Error if AllPrivateNamesValid of ModuleItemList with an empty List
+    as an argument is false.
+negative:
+  phase: parse
+  type: SyntaxError
+---*/
+
+$DONOTEVALUATE();
+
+function fn() { /*{ body }*/ }

src/invalid-private-names/default/function-expr.template

@@ -0,0 +1,26 @@
+// Copyright (C) 2018 Leo Balter. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+path: language/expressions/function/early-errors/invalid-names-
+name: >
+  Invalid private names should throw a SyntaxError,
+  inside function expression
+esid: sec-static-semantics-early-errors
+info: |
+  ScriptBody:StatementList
+    It is a Syntax Error if AllPrivateNamesValid of StatementList with an empty List
+    as an argument is false unless the source code is eval code that is being
+    processed by a direct eval.
+
+  ModuleBody:ModuleItemList
+    It is a Syntax Error if AllPrivateNamesValid of ModuleItemList with an empty List
+    as an argument is false.
+negative:
+  phase: parse
+  type: SyntaxError
+---*/
+
+$DONOTEVALUATE();
+
+var fn = function() { /*{ body }*/ };

src/invalid-private-names/default/top-level-modulebody.template

@@ -0,0 +1,27 @@
+// Copyright (C) 2018 Leo Balter. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+path: language/module-code/invalid-private-names-
+name: >
+  Invalid private names should throw a SyntaxError,
+  top level of module body
+esid: sec-static-semantics-early-errors
+info: |
+  ScriptBody:StatementList
+    It is a Syntax Error if AllPrivateNamesValid of StatementList with an empty List
+    as an argument is false unless the source code is eval code that is being
+    processed by a direct eval.
+
+  ModuleBody:ModuleItemList
+    It is a Syntax Error if AllPrivateNamesValid of ModuleItemList with an empty List
+    as an argument is false.
+negative:
+  phase: parse
+  type: SyntaxError
+flags: [module]
+---*/
+
+$DONOTEVALUATE();
+
+/*{ body }*/

src/invalid-private-names/default/top-level-scriptbody.template

@@ -0,0 +1,26 @@
+// Copyright (C) 2018 Leo Balter. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+path: language/global-code/invalid-private-names-
+name: >
+  Invalid private names should throw a SyntaxError,
+  top level of script body
+esid: sec-static-semantics-early-errors
+info: |
+  ScriptBody:StatementList
+    It is a Syntax Error if AllPrivateNamesValid of StatementList with an empty List
+    as an argument is false unless the source code is eval code that is being
+    processed by a direct eval.
+
+  ModuleBody:ModuleItemList
+    It is a Syntax Error if AllPrivateNamesValid of ModuleItemList with an empty List
+    as an argument is false.
+negative:
+  phase: parse
+  type: SyntaxError
+---*/
+
+$DONOTEVALUATE();
+
+/*{ body }*/

src/invalid-private-names/member-expression-bad-reference.case

@@ -0,0 +1,23 @@
+// Copyright (C) 2018 Leo Balter. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: bad reference in member expression
+info: |
+  Static Semantics: AllPrivateNamesValid
+
+  MemberExpression : MemberExpression . PrivateName
+
+  1. If StringValue of PrivateName is in names, return true.
+  2. Return false.
+
+  CallExpression : CallExpression . PrivateName
+
+  1. If StringValue of PrivateName is in names, return true.
+  2. Return false.
+template: default
+features: [class-fields-private]
+---*/
+
+//- body
+something.#x

src/invalid-private-names/member-expression-this.case

@@ -0,0 +1,23 @@
+// Copyright (C) 2018 Leo Balter. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: this reference in member expression
+info: |
+  Static Semantics: AllPrivateNamesValid
+
+  MemberExpression : MemberExpression . PrivateName
+
+  1. If StringValue of PrivateName is in names, return true.
+  2. Return false.
+
+  CallExpression : CallExpression . PrivateName
+
+  1. If StringValue of PrivateName is in names, return true.
+  2. Return false.
+template: default
+features: [class-fields-private]
+---*/
+
+//- body
+this.#x