Generated tests

src/class-elements/static-private-getter-access-on-inner-arrow-function.case

@@ -8,7 +8,7 @@ info: |
     1. Assert: P is a Private Name.
     2. If O is not an object, throw a TypeError exception.
     3. If P.[[Kind]] is "field",
-        ...
+    ...
     4. Perform ? PrivateBrandCheck(O, P).
     5. If P.[[Kind]] is "method",
       a. Return P.[[Value]].
@@ -33,7 +33,6 @@ static access() {
 
   return arrowFunction();
 }
-
 //- assertions
 assert.sameValue(C.access(), 'Test262');
 assert.throws(TypeError, function() {

src/class-elements/static-private-getter-access-on-inner-class.case

@@ -8,7 +8,7 @@ info: |
     1. Assert: P is a Private Name.
     2. If O is not an object, throw a TypeError exception.
     3. If P.[[Kind]] is "field",
-        ...
+    ...
     4. Perform ? PrivateBrandCheck(O, P).
     5. If P.[[Kind]] is "method",
       a. Return P.[[Value]].
@@ -31,7 +31,6 @@ static Inner = class {
     return o.#f;
   }
 }
-
 //- assertions
 assert.sameValue(C.Inner.access(C), 'Test262');
 assert.throws(TypeError, function() {

src/class-elements/static-private-getter-access-on-inner-function.case

@@ -8,7 +8,7 @@ info: |
     1. Assert: P is a Private Name.
     2. If O is not an object, throw a TypeError exception.
     3. If P.[[Kind]] is "field",
-        ...
+    ...
     4. Perform ? PrivateBrandCheck(O, P).
     5. If P.[[Kind]] is "method",
       a. Return P.[[Value]].
@@ -35,7 +35,6 @@ static access() {
 
   return innerFunction();
 }
-
 //- assertions
 assert.sameValue(C.access(), 'Test262');
 assert.throws(TypeError, function() {

src/class-elements/static-private-getter.case

@@ -4,26 +4,25 @@
 /*---
 desc: static private getter declaration and usage
 info: |
-
   MethodDefinition :
     get ClassElementName () { FunctionBody }
     set ClassElementName ( PropertySetParameterList ) { FunctionBody }
 
   ClassTail : ClassHeritage { ClassBody }
-	  ...
+    ...
-	  33. If PrivateBoundIdentifiers of ClassBody contains a Private Name P such that P's [[Kind]] field is either "method" or "accessor" and P's [[Brand]] is F,
+    33. If PrivateBoundIdentifiers of ClassBody contains a Private Name P such that P's [[Kind]] field is either "method" or "accessor" and P's [[Brand]] is F,
-	    a. PrivateBrandAdd(F, F).
+      a. PrivateBrandAdd(F, F).
-	  34. For each item fieldRecord in order from staticFields,
+    34. For each item fieldRecord in order from staticFields,
-	    a. Perform ? DefineField(F, field).
+      a. Perform ? DefineField(F, field).
 
   PrivateFieldGet (P, O)
     1. Assert: P is a Private Name.
     2. If O is not an object, throw a TypeError exception.
     3. If P.[[Kind]] is "field",
-      ...
+    ...
     4. Perform ? PrivateBrandCheck(O, P).
     5. If P.[[Kind]] is "method",
-      ...
+    ...
     6. Else,
       a. Assert: P.[[Kind]] is "accessor".
       b. If P does not have a [[Get]] field, throw a TypeError exception.
@@ -45,7 +44,6 @@ static get #f() {
 static access() {
   return this.#f;
 }
-
 //- assertions
 assert.sameValue(C.access(), 'Test262');
 assert.throws(TypeError, function() {

src/class-elements/static-private-setter-access-on-inner-arrow-function.case

@@ -8,7 +8,7 @@ info: |
     1. Assert: P is a Private Name.
     2. If O is not an object, throw a TypeError exception.
     3. If P.[[Kind]] is "field",
-        ...
+    ...
     4. Perform ? PrivateBrandCheck(O, P).
     5. If P.[[Kind]] is "method",
       a. Return P.[[Value]].
@@ -33,7 +33,6 @@ static access() {
 
   arrowFunction();
 }
-
 //- assertions
 C.access();
 assert.sameValue(C._v, 'Test262');

src/class-elements/static-private-setter-access-on-inner-class.case

@@ -8,7 +8,7 @@ info: |
     1. Assert: P is a Private Name.
     2. If O is not an object, throw a TypeError exception.
     3. If P.[[Kind]] is "field",
-        ...
+    ...
     4. Perform ? PrivateBrandCheck(O, P).
     5. If P.[[Kind]] is "method",
       a. Return P.[[Value]].

src/class-elements/static-private-setter-access-on-inner-function.case

@@ -8,7 +8,7 @@ info: |
     1. Assert: P is a Private Name.
     2. If O is not an object, throw a TypeError exception.
     3. If P.[[Kind]] is "field",
-        ...
+    ...
     4. Perform ? PrivateBrandCheck(O, P).
     5. If P.[[Kind]] is "method",
       a. Return P.[[Value]].
@@ -35,7 +35,6 @@ static access() {
 
   innerFunction();
 }
-
 //- assertions
 C.access();
 assert.sameValue(C._v, 'Test262');

src/class-elements/static-private-setter.case

@@ -4,26 +4,25 @@
 /*---
 desc: static private setter declaration and usage
 info: |
-
   MethodDefinition :
     get ClassElementName () { FunctionBody }
     set ClassElementName ( PropertySetParameterList ) { FunctionBody }
 
   ClassTail : ClassHeritage { ClassBody }
-	  ...
+    ...
-	  33. If PrivateBoundIdentifiers of ClassBody contains a Private Name P such that P's [[Kind]] field is either "method" or "accessor" and P's [[Brand]] is F,
+    33. If PrivateBoundIdentifiers of ClassBody contains a Private Name P such that P's [[Kind]] field is either "method" or "accessor" and P's [[Brand]] is F,
-	    a. PrivateBrandAdd(F, F).
+      a. PrivateBrandAdd(F, F).
-	  34. For each item fieldRecord in order from staticFields,
+    34. For each item fieldRecord in order from staticFields,
-	    a. Perform ? DefineField(F, field).
+      a. Perform ? DefineField(F, field).
 
   PrivateFieldGet (P, O)
     1. Assert: P is a Private Name.
     2. If O is not an object, throw a TypeError exception.
     3. If P.[[Kind]] is "field",
-      ...
+    ...
     4. Perform ? PrivateBrandCheck(O, P).
     5. If P.[[Kind]] is "method",
-      ...
+    ...
     6. Else,
       a. Assert: P.[[Kind]] is "accessor".
       b. If P does not have a [[Get]] field, throw a TypeError exception.
@@ -45,7 +44,6 @@ static set #f(v) {
 static access() {
   this.#f = 'Test262';
 }
-
 //- assertions
 C.access();
 assert.sameValue(C._v, 'Test262');

test/language/expressions/class/elements/static-private-getter-access-on-inner-arrow-function.js

@@ -0,0 +1,44 @@
+// This file was procedurally generated from the following sources:
+// - src/class-elements/static-private-getter-access-on-inner-arrow-function.case
+// - src/class-elements/default/cls-expr.template
+/*---
+description: static private getter access inside of an arrow function (field definitions in a class expression)
+esid: prod-FieldDefinition
+features: [class-static-methods-private, class]
+flags: [generated]
+info: |
+    PrivateFieldGet (P, O)
+      1. Assert: P is a Private Name.
+      2. If O is not an object, throw a TypeError exception.
+      3. If P.[[Kind]] is "field",
+      ...
+      4. Perform ? PrivateBrandCheck(O, P).
+      5. If P.[[Kind]] is "method",
+        a. Return P.[[Value]].
+      ...
+
+    PrivateBrandCheck(O, P)
+      1. If O.[[PrivateBrands]] does not contain an entry e such that SameValue(e, P.[[Brand]]) is true,
+        a. Throw a TypeError exception.
+
+---*/
+
+
+var C = class {
+  static get #f() {
+    return 'Test262';
+  }
+
+  static access() {
+    const arrowFunction = () => {
+      return this.#f;
+    };
+
+    return arrowFunction();
+  }
+}
+
+assert.sameValue(C.access(), 'Test262');
+assert.throws(TypeError, function() {
+  C.access.call({});
+}, 'Accessed static private getter from an object which did not contain it');

test/language/expressions/class/elements/static-private-getter-access-on-inner-class.js

@@ -0,0 +1,42 @@
+// This file was procedurally generated from the following sources:
+// - src/class-elements/static-private-getter-access-on-inner-class.case
+// - src/class-elements/default/cls-expr.template
+/*---
+description: static private getter access inside of an inner class (field definitions in a class expression)
+esid: prod-FieldDefinition
+features: [class-static-methods-private, class-static-fields-public, class]
+flags: [generated]
+info: |
+    PrivateFieldGet (P, O)
+      1. Assert: P is a Private Name.
+      2. If O is not an object, throw a TypeError exception.
+      3. If P.[[Kind]] is "field",
+      ...
+      4. Perform ? PrivateBrandCheck(O, P).
+      5. If P.[[Kind]] is "method",
+        a. Return P.[[Value]].
+      ...
+
+    PrivateBrandCheck(O, P)
+      1. If O.[[PrivateBrands]] does not contain an entry e such that SameValue(e, P.[[Brand]]) is true,
+        a. Throw a TypeError exception.
+
+---*/
+
+
+var C = class {
+  static get #f() {
+    return 'Test262';
+  }
+
+  static Inner = class {
+    static access(o) {
+      return o.#f;
+    }
+  }
+}
+
+assert.sameValue(C.Inner.access(C), 'Test262');
+assert.throws(TypeError, function() {
+  C.Inner.access(C.Inner);
+}, 'Accessed static private getter from an object which did not contain it');

test/language/expressions/class/elements/static-private-getter-access-on-inner-function.js

@@ -0,0 +1,46 @@
+// This file was procedurally generated from the following sources:
+// - src/class-elements/static-private-getter-access-on-inner-function.case
+// - src/class-elements/default/cls-expr.template
+/*---
+description: static private getter access inside of a nested function (field definitions in a class expression)
+esid: prod-FieldDefinition
+features: [class-static-methods-private, class]
+flags: [generated]
+info: |
+    PrivateFieldGet (P, O)
+      1. Assert: P is a Private Name.
+      2. If O is not an object, throw a TypeError exception.
+      3. If P.[[Kind]] is "field",
+      ...
+      4. Perform ? PrivateBrandCheck(O, P).
+      5. If P.[[Kind]] is "method",
+        a. Return P.[[Value]].
+      ...
+
+    PrivateBrandCheck(O, P)
+      1. If O.[[PrivateBrands]] does not contain an entry e such that SameValue(e, P.[[Brand]]) is true,
+        a. Throw a TypeError exception.
+
+---*/
+
+
+var C = class {
+  static get #f() {
+    return 'Test262';
+  }
+
+  static access() {
+    const self = this;
+
+    function innerFunction() {
+      return self.#f;
+    }
+
+    return innerFunction();
+  }
+}
+
+assert.sameValue(C.access(), 'Test262');
+assert.throws(TypeError, function() {
+  C.access.call({});
+}, 'Accessed static private getter from an arbitrary object');

test/language/expressions/class/elements/static-private-getter.js

@@ -0,0 +1,55 @@
+// This file was procedurally generated from the following sources:
+// - src/class-elements/static-private-getter.case
+// - src/class-elements/default/cls-expr.template
+/*---
+description: static private getter declaration and usage (field definitions in a class expression)
+esid: prod-FieldDefinition
+features: [class-static-methods-private, class]
+flags: [generated]
+info: |
+    MethodDefinition :
+      get ClassElementName () { FunctionBody }
+      set ClassElementName ( PropertySetParameterList ) { FunctionBody }
+
+    ClassTail : ClassHeritage { ClassBody }
+      ...
+      33. If PrivateBoundIdentifiers of ClassBody contains a Private Name P such that P's [[Kind]] field is either "method" or "accessor" and P's [[Brand]] is F,
+        a. PrivateBrandAdd(F, F).
+      34. For each item fieldRecord in order from staticFields,
+        a. Perform ? DefineField(F, field).
+
+    PrivateFieldGet (P, O)
+      1. Assert: P is a Private Name.
+      2. If O is not an object, throw a TypeError exception.
+      3. If P.[[Kind]] is "field",
+      ...
+      4. Perform ? PrivateBrandCheck(O, P).
+      5. If P.[[Kind]] is "method",
+      ...
+      6. Else,
+        a. Assert: P.[[Kind]] is "accessor".
+        b. If P does not have a [[Get]] field, throw a TypeError exception.
+        c. Let getter be P.[[Get]].
+        d. Return ? Call(getter, O).
+
+    PrivateBrandCheck(O, P)
+      1. If O.[[PrivateBrands]] does not contain an entry e such that SameValue(e, P.[[Brand]]) is true,
+        a. Throw a TypeError exception.
+
+---*/
+
+
+var C = class {
+  static get #f() {
+    return 'Test262';
+  }
+
+  static access() {
+    return this.#f;
+  }
+}
+
+assert.sameValue(C.access(), 'Test262');
+assert.throws(TypeError, function() {
+  C.access.call({});
+}, 'Accessed static private getter from an arbitrary object');

test/language/expressions/class/elements/static-private-setter-access-on-inner-arrow-function.js

@@ -0,0 +1,45 @@
+// This file was procedurally generated from the following sources:
+// - src/class-elements/static-private-setter-access-on-inner-arrow-function.case
+// - src/class-elements/default/cls-expr.template
+/*---
+description: static private setter access inside of an arrow function (field definitions in a class expression)
+esid: prod-FieldDefinition
+features: [class-static-methods-private, class]
+flags: [generated]
+info: |
+    PrivateFieldGet (P, O)
+      1. Assert: P is a Private Name.
+      2. If O is not an object, throw a TypeError exception.
+      3. If P.[[Kind]] is "field",
+      ...
+      4. Perform ? PrivateBrandCheck(O, P).
+      5. If P.[[Kind]] is "method",
+        a. Return P.[[Value]].
+      ...
+
+    PrivateBrandCheck(O, P)
+      1. If O.[[PrivateBrands]] does not contain an entry e such that SameValue(e, P.[[Brand]]) is true,
+        a. Throw a TypeError exception.
+
+---*/
+
+
+var C = class {
+  static set #f(v) {
+    this._v = v;
+  }
+
+  static access() {
+    const arrowFunction = () => {
+      this.#f = 'Test262';
+    };
+
+    arrowFunction();
+  }
+}
+
+C.access();
+assert.sameValue(C._v, 'Test262');
+assert.throws(TypeError, function() {
+  C.access.call({});
+}, 'Accessed static private setter from an object which did not contain it');

test/language/expressions/class/elements/static-private-setter-access-on-inner-class.js

@@ -0,0 +1,44 @@
+// This file was procedurally generated from the following sources:
+// - src/class-elements/static-private-setter-access-on-inner-class.case
+// - src/class-elements/default/cls-expr.template
+/*---
+description: static private setter access inside of an inner class (field definitions in a class expression)
+esid: prod-FieldDefinition
+features: [class-static-methods-private, class-static-fields-public, class]
+flags: [generated]
+info: |
+    PrivateFieldGet (P, O)
+      1. Assert: P is a Private Name.
+      2. If O is not an object, throw a TypeError exception.
+      3. If P.[[Kind]] is "field",
+      ...
+      4. Perform ? PrivateBrandCheck(O, P).
+      5. If P.[[Kind]] is "method",
+        a. Return P.[[Value]].
+      ...
+
+    PrivateBrandCheck(O, P)
+      1. If O.[[PrivateBrands]] does not contain an entry e such that SameValue(e, P.[[Brand]]) is true,
+        a. Throw a TypeError exception.
+
+---*/
+
+
+var C = class {
+  static set #f(v) {
+    return this._v = v;
+  }
+
+  static Inner = class {
+    static access(o) {
+      o.#f = 'Test262';
+    }
+  }
+
+}
+
+C.Inner.access(C)
+assert.sameValue(C._v, 'Test262');
+assert.throws(TypeError, function() {
+  C.Inner.access(C.Inner);
+}, 'Accessed static private setter from an object which did not contain it');

test/language/expressions/class/elements/static-private-setter-access-on-inner-function.js

@@ -0,0 +1,47 @@
+// This file was procedurally generated from the following sources:
+// - src/class-elements/static-private-setter-access-on-inner-function.case
+// - src/class-elements/default/cls-expr.template
+/*---
+description: static private setter access inside of a nested function (field definitions in a class expression)
+esid: prod-FieldDefinition
+features: [class-static-methods-private, class]
+flags: [generated]
+info: |
+    PrivateFieldGet (P, O)
+      1. Assert: P is a Private Name.
+      2. If O is not an object, throw a TypeError exception.
+      3. If P.[[Kind]] is "field",
+      ...
+      4. Perform ? PrivateBrandCheck(O, P).
+      5. If P.[[Kind]] is "method",
+        a. Return P.[[Value]].
+      ...
+
+    PrivateBrandCheck(O, P)
+      1. If O.[[PrivateBrands]] does not contain an entry e such that SameValue(e, P.[[Brand]]) is true,
+        a. Throw a TypeError exception.
+
+---*/
+
+
+var C = class {
+  static set #f(v) {
+    this._v = v;
+  }
+
+  static access() {
+    const self = this;
+
+    function innerFunction() {
+      self.#f = 'Test262';
+    }
+
+    innerFunction();
+  }
+}
+
+C.access();
+assert.sameValue(C._v, 'Test262');
+assert.throws(TypeError, function() {
+  C.access.call({});
+}, 'Accessed static private setter from an arbitrary object');

test/language/expressions/class/elements/static-private-setter.js

@@ -0,0 +1,56 @@
+// This file was procedurally generated from the following sources:
+// - src/class-elements/static-private-setter.case
+// - src/class-elements/default/cls-expr.template
+/*---
+description: static private setter declaration and usage (field definitions in a class expression)
+esid: prod-FieldDefinition
+features: [class-static-methods-private, class]
+flags: [generated]
+info: |
+    MethodDefinition :
+      get ClassElementName () { FunctionBody }
+      set ClassElementName ( PropertySetParameterList ) { FunctionBody }
+
+    ClassTail : ClassHeritage { ClassBody }
+      ...
+      33. If PrivateBoundIdentifiers of ClassBody contains a Private Name P such that P's [[Kind]] field is either "method" or "accessor" and P's [[Brand]] is F,
+        a. PrivateBrandAdd(F, F).
+      34. For each item fieldRecord in order from staticFields,
+        a. Perform ? DefineField(F, field).
+
+    PrivateFieldGet (P, O)
+      1. Assert: P is a Private Name.
+      2. If O is not an object, throw a TypeError exception.
+      3. If P.[[Kind]] is "field",
+      ...
+      4. Perform ? PrivateBrandCheck(O, P).
+      5. If P.[[Kind]] is "method",
+      ...
+      6. Else,
+        a. Assert: P.[[Kind]] is "accessor".
+        b. If P does not have a [[Get]] field, throw a TypeError exception.
+        c. Let getter be P.[[Get]].
+        d. Return ? Call(getter, O).
+
+    PrivateBrandCheck(O, P)
+      1. If O.[[PrivateBrands]] does not contain an entry e such that SameValue(e, P.[[Brand]]) is true,
+        a. Throw a TypeError exception.
+
+---*/
+
+
+var C = class {
+  static set #f(v) {
+    this._v = v;
+  }
+
+  static access() {
+    this.#f = 'Test262';
+  }
+}
+
+C.access();
+assert.sameValue(C._v, 'Test262');
+assert.throws(TypeError, function() {
+  C.access.call({});
+}, 'Accessed static private setter from an arbitrary object');

test/language/statements/class/elements/static-private-getter-access-on-inner-arrow-function.js

@@ -0,0 +1,44 @@
+// This file was procedurally generated from the following sources:
+// - src/class-elements/static-private-getter-access-on-inner-arrow-function.case
+// - src/class-elements/default/cls-decl.template
+/*---
+description: static private getter access inside of an arrow function (field definitions in a class declaration)
+esid: prod-FieldDefinition
+features: [class-static-methods-private, class]
+flags: [generated]
+info: |
+    PrivateFieldGet (P, O)
+      1. Assert: P is a Private Name.
+      2. If O is not an object, throw a TypeError exception.
+      3. If P.[[Kind]] is "field",
+      ...
+      4. Perform ? PrivateBrandCheck(O, P).
+      5. If P.[[Kind]] is "method",
+        a. Return P.[[Value]].
+      ...
+
+    PrivateBrandCheck(O, P)
+      1. If O.[[PrivateBrands]] does not contain an entry e such that SameValue(e, P.[[Brand]]) is true,
+        a. Throw a TypeError exception.
+
+---*/
+
+
+class C {
+  static get #f() {
+    return 'Test262';
+  }
+
+  static access() {
+    const arrowFunction = () => {
+      return this.#f;
+    };
+
+    return arrowFunction();
+  }
+}
+
+assert.sameValue(C.access(), 'Test262');
+assert.throws(TypeError, function() {
+  C.access.call({});
+}, 'Accessed static private getter from an object which did not contain it');

test/language/statements/class/elements/static-private-getter-access-on-inner-class.js

@@ -0,0 +1,42 @@
+// This file was procedurally generated from the following sources:
+// - src/class-elements/static-private-getter-access-on-inner-class.case
+// - src/class-elements/default/cls-decl.template
+/*---
+description: static private getter access inside of an inner class (field definitions in a class declaration)
+esid: prod-FieldDefinition
+features: [class-static-methods-private, class-static-fields-public, class]
+flags: [generated]
+info: |
+    PrivateFieldGet (P, O)
+      1. Assert: P is a Private Name.
+      2. If O is not an object, throw a TypeError exception.
+      3. If P.[[Kind]] is "field",
+      ...
+      4. Perform ? PrivateBrandCheck(O, P).
+      5. If P.[[Kind]] is "method",
+        a. Return P.[[Value]].
+      ...
+
+    PrivateBrandCheck(O, P)
+      1. If O.[[PrivateBrands]] does not contain an entry e such that SameValue(e, P.[[Brand]]) is true,
+        a. Throw a TypeError exception.
+
+---*/
+
+
+class C {
+  static get #f() {
+    return 'Test262';
+  }
+
+  static Inner = class {
+    static access(o) {
+      return o.#f;
+    }
+  }
+}
+
+assert.sameValue(C.Inner.access(C), 'Test262');
+assert.throws(TypeError, function() {
+  C.Inner.access(C.Inner);
+}, 'Accessed static private getter from an object which did not contain it');

test/language/statements/class/elements/static-private-getter-access-on-inner-function.js

@@ -0,0 +1,46 @@
+// This file was procedurally generated from the following sources:
+// - src/class-elements/static-private-getter-access-on-inner-function.case
+// - src/class-elements/default/cls-decl.template
+/*---
+description: static private getter access inside of a nested function (field definitions in a class declaration)
+esid: prod-FieldDefinition
+features: [class-static-methods-private, class]
+flags: [generated]
+info: |
+    PrivateFieldGet (P, O)
+      1. Assert: P is a Private Name.
+      2. If O is not an object, throw a TypeError exception.
+      3. If P.[[Kind]] is "field",
+      ...
+      4. Perform ? PrivateBrandCheck(O, P).
+      5. If P.[[Kind]] is "method",
+        a. Return P.[[Value]].
+      ...
+
+    PrivateBrandCheck(O, P)
+      1. If O.[[PrivateBrands]] does not contain an entry e such that SameValue(e, P.[[Brand]]) is true,
+        a. Throw a TypeError exception.
+
+---*/
+
+
+class C {
+  static get #f() {
+    return 'Test262';
+  }
+
+  static access() {
+    const self = this;
+
+    function innerFunction() {
+      return self.#f;
+    }
+
+    return innerFunction();
+  }
+}
+
+assert.sameValue(C.access(), 'Test262');
+assert.throws(TypeError, function() {
+  C.access.call({});
+}, 'Accessed static private getter from an arbitrary object');

test/language/statements/class/elements/static-private-getter.js

@@ -0,0 +1,55 @@
+// This file was procedurally generated from the following sources:
+// - src/class-elements/static-private-getter.case
+// - src/class-elements/default/cls-decl.template
+/*---
+description: static private getter declaration and usage (field definitions in a class declaration)
+esid: prod-FieldDefinition
+features: [class-static-methods-private, class]
+flags: [generated]
+info: |
+    MethodDefinition :
+      get ClassElementName () { FunctionBody }
+      set ClassElementName ( PropertySetParameterList ) { FunctionBody }
+
+    ClassTail : ClassHeritage { ClassBody }
+      ...
+      33. If PrivateBoundIdentifiers of ClassBody contains a Private Name P such that P's [[Kind]] field is either "method" or "accessor" and P's [[Brand]] is F,
+        a. PrivateBrandAdd(F, F).
+      34. For each item fieldRecord in order from staticFields,
+        a. Perform ? DefineField(F, field).
+
+    PrivateFieldGet (P, O)
+      1. Assert: P is a Private Name.
+      2. If O is not an object, throw a TypeError exception.
+      3. If P.[[Kind]] is "field",
+      ...
+      4. Perform ? PrivateBrandCheck(O, P).
+      5. If P.[[Kind]] is "method",
+      ...
+      6. Else,
+        a. Assert: P.[[Kind]] is "accessor".
+        b. If P does not have a [[Get]] field, throw a TypeError exception.
+        c. Let getter be P.[[Get]].
+        d. Return ? Call(getter, O).
+
+    PrivateBrandCheck(O, P)
+      1. If O.[[PrivateBrands]] does not contain an entry e such that SameValue(e, P.[[Brand]]) is true,
+        a. Throw a TypeError exception.
+
+---*/
+
+
+class C {
+  static get #f() {
+    return 'Test262';
+  }
+
+  static access() {
+    return this.#f;
+  }
+}
+
+assert.sameValue(C.access(), 'Test262');
+assert.throws(TypeError, function() {
+  C.access.call({});
+}, 'Accessed static private getter from an arbitrary object');

test/language/statements/class/elements/static-private-setter-access-on-inner-arrow-function.js

@@ -0,0 +1,45 @@
+// This file was procedurally generated from the following sources:
+// - src/class-elements/static-private-setter-access-on-inner-arrow-function.case
+// - src/class-elements/default/cls-decl.template
+/*---
+description: static private setter access inside of an arrow function (field definitions in a class declaration)
+esid: prod-FieldDefinition
+features: [class-static-methods-private, class]
+flags: [generated]
+info: |
+    PrivateFieldGet (P, O)
+      1. Assert: P is a Private Name.
+      2. If O is not an object, throw a TypeError exception.
+      3. If P.[[Kind]] is "field",
+      ...
+      4. Perform ? PrivateBrandCheck(O, P).
+      5. If P.[[Kind]] is "method",
+        a. Return P.[[Value]].
+      ...
+
+    PrivateBrandCheck(O, P)
+      1. If O.[[PrivateBrands]] does not contain an entry e such that SameValue(e, P.[[Brand]]) is true,
+        a. Throw a TypeError exception.
+
+---*/
+
+
+class C {
+  static set #f(v) {
+    this._v = v;
+  }
+
+  static access() {
+    const arrowFunction = () => {
+      this.#f = 'Test262';
+    };
+
+    arrowFunction();
+  }
+}
+
+C.access();
+assert.sameValue(C._v, 'Test262');
+assert.throws(TypeError, function() {
+  C.access.call({});
+}, 'Accessed static private setter from an object which did not contain it');

test/language/statements/class/elements/static-private-setter-access-on-inner-class.js

@@ -0,0 +1,44 @@
+// This file was procedurally generated from the following sources:
+// - src/class-elements/static-private-setter-access-on-inner-class.case
+// - src/class-elements/default/cls-decl.template
+/*---
+description: static private setter access inside of an inner class (field definitions in a class declaration)
+esid: prod-FieldDefinition
+features: [class-static-methods-private, class-static-fields-public, class]
+flags: [generated]
+info: |
+    PrivateFieldGet (P, O)
+      1. Assert: P is a Private Name.
+      2. If O is not an object, throw a TypeError exception.
+      3. If P.[[Kind]] is "field",
+      ...
+      4. Perform ? PrivateBrandCheck(O, P).
+      5. If P.[[Kind]] is "method",
+        a. Return P.[[Value]].
+      ...
+
+    PrivateBrandCheck(O, P)
+      1. If O.[[PrivateBrands]] does not contain an entry e such that SameValue(e, P.[[Brand]]) is true,
+        a. Throw a TypeError exception.
+
+---*/
+
+
+class C {
+  static set #f(v) {
+    return this._v = v;
+  }
+
+  static Inner = class {
+    static access(o) {
+      o.#f = 'Test262';
+    }
+  }
+
+}
+
+C.Inner.access(C)
+assert.sameValue(C._v, 'Test262');
+assert.throws(TypeError, function() {
+  C.Inner.access(C.Inner);
+}, 'Accessed static private setter from an object which did not contain it');

test/language/statements/class/elements/static-private-setter-access-on-inner-function.js

@@ -0,0 +1,47 @@
+// This file was procedurally generated from the following sources:
+// - src/class-elements/static-private-setter-access-on-inner-function.case
+// - src/class-elements/default/cls-decl.template
+/*---
+description: static private setter access inside of a nested function (field definitions in a class declaration)
+esid: prod-FieldDefinition
+features: [class-static-methods-private, class]
+flags: [generated]
+info: |
+    PrivateFieldGet (P, O)
+      1. Assert: P is a Private Name.
+      2. If O is not an object, throw a TypeError exception.
+      3. If P.[[Kind]] is "field",
+      ...
+      4. Perform ? PrivateBrandCheck(O, P).
+      5. If P.[[Kind]] is "method",
+        a. Return P.[[Value]].
+      ...
+
+    PrivateBrandCheck(O, P)
+      1. If O.[[PrivateBrands]] does not contain an entry e such that SameValue(e, P.[[Brand]]) is true,
+        a. Throw a TypeError exception.
+
+---*/
+
+
+class C {
+  static set #f(v) {
+    this._v = v;
+  }
+
+  static access() {
+    const self = this;
+
+    function innerFunction() {
+      self.#f = 'Test262';
+    }
+
+    innerFunction();
+  }
+}
+
+C.access();
+assert.sameValue(C._v, 'Test262');
+assert.throws(TypeError, function() {
+  C.access.call({});
+}, 'Accessed static private setter from an arbitrary object');

test/language/statements/class/elements/static-private-setter.js

@@ -0,0 +1,56 @@
+// This file was procedurally generated from the following sources:
+// - src/class-elements/static-private-setter.case
+// - src/class-elements/default/cls-decl.template
+/*---
+description: static private setter declaration and usage (field definitions in a class declaration)
+esid: prod-FieldDefinition
+features: [class-static-methods-private, class]
+flags: [generated]
+info: |
+    MethodDefinition :
+      get ClassElementName () { FunctionBody }
+      set ClassElementName ( PropertySetParameterList ) { FunctionBody }
+
+    ClassTail : ClassHeritage { ClassBody }
+      ...
+      33. If PrivateBoundIdentifiers of ClassBody contains a Private Name P such that P's [[Kind]] field is either "method" or "accessor" and P's [[Brand]] is F,
+        a. PrivateBrandAdd(F, F).
+      34. For each item fieldRecord in order from staticFields,
+        a. Perform ? DefineField(F, field).
+
+    PrivateFieldGet (P, O)
+      1. Assert: P is a Private Name.
+      2. If O is not an object, throw a TypeError exception.
+      3. If P.[[Kind]] is "field",
+      ...
+      4. Perform ? PrivateBrandCheck(O, P).
+      5. If P.[[Kind]] is "method",
+      ...
+      6. Else,
+        a. Assert: P.[[Kind]] is "accessor".
+        b. If P does not have a [[Get]] field, throw a TypeError exception.
+        c. Let getter be P.[[Get]].
+        d. Return ? Call(getter, O).
+
+    PrivateBrandCheck(O, P)
+      1. If O.[[PrivateBrands]] does not contain an entry e such that SameValue(e, P.[[Brand]]) is true,
+        a. Throw a TypeError exception.
+
+---*/
+
+
+class C {
+  static set #f(v) {
+    this._v = v;
+  }
+
+  static access() {
+    this.#f = 'Test262';
+  }
+}
+
+C.access();
+assert.sameValue(C._v, 'Test262');
+assert.throws(TypeError, function() {
+  C.access.call({});
+}, 'Accessed static private setter from an arbitrary object');