add verifyPrimordialProperty

harness/propertyHelper.js

@@ -13,6 +13,7 @@ defines:
   - verifyNotEnumerable # deprecated
   - verifyConfigurable # deprecated
   - verifyNotConfigurable # deprecated
+  - verifyPrimordialProperty
 ---*/
 
 // @ts-check
@@ -280,3 +281,10 @@ function verifyNotConfigurable(obj, name) {
     throw new Test262Error("Expected obj[" + String(name) + "] NOT to be configurable, but was.");
   }
 }
+
+/**
+ * Use this function to verify the properties of a primordial object.
+ * For non-primordial objects, use verifyProperty.
+ * See: https://github.com/tc39/how-we-work/blob/main/terminology.md#primordial
+ */
+var verifyPrimordialProperty = verifyProperty;

tools/lint/lib/checks/harness.py

@@ -9,5 +9,7 @@ class CheckHarness(Check):
     def run(self, name, meta, source):
         if 'verifyConfigurable(' in source and 'verifyProperty(' in source:
             return 'verifyConfigurable & verifyProperty may not be used in the same file'
+        elif 'verifyConfigurable(' in source and 'verifyPrimordialProperty(' in source:
+            return 'verifyConfigurable & verifyPrimordialProperty may not be used in the same file'
         else:
             return

tools/lint/test/fixtures/harness/propertyHelper.js

@@ -13,6 +13,7 @@ defines:
   - verifyNotEnumerable
   - verifyConfigurable
   - verifyNotConfigurable
+  - verifyPrimordialProperty
 ---*/
 
 // @ts-check
@@ -227,3 +228,10 @@ function verifyNotConfigurable(obj, name) {
     throw new Test262Error("Expected obj[" + String(name) + "] NOT to be configurable, but was.");
   }
 }
+
+/**
+ * Use this function to verify the properties of a primordial object.
+ * For non-primordial objects, use verifyProperty.
+ * See: https://github.com/tc39/how-we-work/blob/main/terminology.md#primordial
+ */
+var verifyPrimordialProperty = verifyProperty;