Coverage: Object.seal instances of all built-in constructors. Fixes gh-2845

test/built-ins/Object/seal/seal-aggregateerror-object.js

@@ -0,0 +1,36 @@
+// Copyright (C) 2020 Rick Waldron. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-object.seal
+description: >
+    Object.seal an AggregateError object
+info: |
+  If Type(O) is not Object, return O.
+  Let status be ? SetIntegrityLevel(O, sealed).
+
+  SetIntegrityLevel ( O, level )
+
+  Assert: Type(O) is Object.
+  Assert: level is either sealed or frozen.
+  Let status be ? O.[[PreventExtensions]]().
+  If status is false, return false.
+  Let keys be ? O.[[OwnPropertyKeys]]().
+  If level is sealed, then
+    For each element k of keys, do
+      Perform ? DefinePropertyOrThrow(O, k, PropertyDescriptor { [[Configurable]]: false }).
+  Else,
+    Assert: level is frozen.
+    For each element k of keys, do
+      Let currentDesc be ? O.[[GetOwnProperty]](k).
+      If currentDesc is not undefined, then
+        If IsAccessorDescriptor(currentDesc) is true, then
+          Let desc be the PropertyDescriptor { [[Configurable]]: false }.
+        Else,
+          Let desc be the PropertyDescriptor { [[Configurable]]: false, [[Writable]]: false }.
+        Perform ? DefinePropertyOrThrow(O, k, desc).
+  Return true.
+
+---*/
+
+Object.seal(new AggregateError([]));

test/built-ins/Object/seal/seal-arraybuffer-object.js

@@ -0,0 +1,36 @@
+// Copyright (C) 2020 Rick Waldron. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-object.seal
+description: >
+    Object.seal an ArrayBuffer object
+info: |
+  If Type(O) is not Object, return O.
+  Let status be ? SetIntegrityLevel(O, sealed).
+
+  SetIntegrityLevel ( O, level )
+
+  Assert: Type(O) is Object.
+  Assert: level is either sealed or frozen.
+  Let status be ? O.[[PreventExtensions]]().
+  If status is false, return false.
+  Let keys be ? O.[[OwnPropertyKeys]]().
+  If level is sealed, then
+    For each element k of keys, do
+      Perform ? DefinePropertyOrThrow(O, k, PropertyDescriptor { [[Configurable]]: false }).
+  Else,
+    Assert: level is frozen.
+    For each element k of keys, do
+      Let currentDesc be ? O.[[GetOwnProperty]](k).
+      If currentDesc is not undefined, then
+        If IsAccessorDescriptor(currentDesc) is true, then
+          Let desc be the PropertyDescriptor { [[Configurable]]: false }.
+        Else,
+          Let desc be the PropertyDescriptor { [[Configurable]]: false, [[Writable]]: false }.
+        Perform ? DefinePropertyOrThrow(O, k, desc).
+  Return true.
+
+---*/
+
+Object.seal(new ArrayBuffer());

test/built-ins/Object/seal/seal-arrowfunction-object.js

@@ -0,0 +1,36 @@
+// Copyright (C) 2020 Rick Waldron. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-object.seal
+description: >
+    Object.seal an ArrowFunction object
+info: |
+  If Type(O) is not Object, return O.
+  Let status be ? SetIntegrityLevel(O, sealed).
+
+  SetIntegrityLevel ( O, level )
+
+  Assert: Type(O) is Object.
+  Assert: level is either sealed or frozen.
+  Let status be ? O.[[PreventExtensions]]().
+  If status is false, return false.
+  Let keys be ? O.[[OwnPropertyKeys]]().
+  If level is sealed, then
+    For each element k of keys, do
+      Perform ? DefinePropertyOrThrow(O, k, PropertyDescriptor { [[Configurable]]: false }).
+  Else,
+    Assert: level is frozen.
+    For each element k of keys, do
+      Let currentDesc be ? O.[[GetOwnProperty]](k).
+      If currentDesc is not undefined, then
+        If IsAccessorDescriptor(currentDesc) is true, then
+          Let desc be the PropertyDescriptor { [[Configurable]]: false }.
+        Else,
+          Let desc be the PropertyDescriptor { [[Configurable]]: false, [[Writable]]: false }.
+        Perform ? DefinePropertyOrThrow(O, k, desc).
+  Return true.
+
+---*/
+
+Object.seal(new (Object.getPrototypeOf(() => {}).constructor)());

test/built-ins/Object/seal/seal-asyncarrowfunction-object.js

@@ -0,0 +1,36 @@
+// Copyright (C) 2020 Rick Waldron. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-object.seal
+description: >
+    Object.seal an AsyncArrowFunction object
+info: |
+  If Type(O) is not Object, return O.
+  Let status be ? SetIntegrityLevel(O, sealed).
+
+  SetIntegrityLevel ( O, level )
+
+  Assert: Type(O) is Object.
+  Assert: level is either sealed or frozen.
+  Let status be ? O.[[PreventExtensions]]().
+  If status is false, return false.
+  Let keys be ? O.[[OwnPropertyKeys]]().
+  If level is sealed, then
+    For each element k of keys, do
+      Perform ? DefinePropertyOrThrow(O, k, PropertyDescriptor { [[Configurable]]: false }).
+  Else,
+    Assert: level is frozen.
+    For each element k of keys, do
+      Let currentDesc be ? O.[[GetOwnProperty]](k).
+      If currentDesc is not undefined, then
+        If IsAccessorDescriptor(currentDesc) is true, then
+          Let desc be the PropertyDescriptor { [[Configurable]]: false }.
+        Else,
+          Let desc be the PropertyDescriptor { [[Configurable]]: false, [[Writable]]: false }.
+        Perform ? DefinePropertyOrThrow(O, k, desc).
+  Return true.
+
+---*/
+
+Object.seal(new (Object.getPrototypeOf(async () => {}).constructor)());

test/built-ins/Object/seal/seal-asyncfunction-object.js

@@ -0,0 +1,36 @@
+// Copyright (C) 2020 Rick Waldron. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-object.seal
+description: >
+    Object.seal an AsyncFunction object
+info: |
+  If Type(O) is not Object, return O.
+  Let status be ? SetIntegrityLevel(O, sealed).
+
+  SetIntegrityLevel ( O, level )
+
+  Assert: Type(O) is Object.
+  Assert: level is either sealed or frozen.
+  Let status be ? O.[[PreventExtensions]]().
+  If status is false, return false.
+  Let keys be ? O.[[OwnPropertyKeys]]().
+  If level is sealed, then
+    For each element k of keys, do
+      Perform ? DefinePropertyOrThrow(O, k, PropertyDescriptor { [[Configurable]]: false }).
+  Else,
+    Assert: level is frozen.
+    For each element k of keys, do
+      Let currentDesc be ? O.[[GetOwnProperty]](k).
+      If currentDesc is not undefined, then
+        If IsAccessorDescriptor(currentDesc) is true, then
+          Let desc be the PropertyDescriptor { [[Configurable]]: false }.
+        Else,
+          Let desc be the PropertyDescriptor { [[Configurable]]: false, [[Writable]]: false }.
+        Perform ? DefinePropertyOrThrow(O, k, desc).
+  Return true.
+
+---*/
+
+Object.seal(new (Object.getPrototypeOf(async function() {}).constructor)());

test/built-ins/Object/seal/seal-asyncgeneratorfunction-object.js

@@ -0,0 +1,36 @@
+// Copyright (C) 2020 Rick Waldron. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-object.seal
+description: >
+    Object.seal an AsyncGeneratorFunction object
+info: |
+  If Type(O) is not Object, return O.
+  Let status be ? SetIntegrityLevel(O, sealed).
+
+  SetIntegrityLevel ( O, level )
+
+  Assert: Type(O) is Object.
+  Assert: level is either sealed or frozen.
+  Let status be ? O.[[PreventExtensions]]().
+  If status is false, return false.
+  Let keys be ? O.[[OwnPropertyKeys]]().
+  If level is sealed, then
+    For each element k of keys, do
+      Perform ? DefinePropertyOrThrow(O, k, PropertyDescriptor { [[Configurable]]: false }).
+  Else,
+    Assert: level is frozen.
+    For each element k of keys, do
+      Let currentDesc be ? O.[[GetOwnProperty]](k).
+      If currentDesc is not undefined, then
+        If IsAccessorDescriptor(currentDesc) is true, then
+          Let desc be the PropertyDescriptor { [[Configurable]]: false }.
+        Else,
+          Let desc be the PropertyDescriptor { [[Configurable]]: false, [[Writable]]: false }.
+        Perform ? DefinePropertyOrThrow(O, k, desc).
+  Return true.
+
+---*/
+
+Object.seal(new (Object.getPrototypeOf(async function * () {}).constructor)());

test/built-ins/Object/seal/seal-bigint64array-object.js

@@ -0,0 +1,36 @@
+// Copyright (C) 2020 Rick Waldron. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-object.seal
+description: >
+    Object.seal a BigInt64Array object
+info: |
+  If Type(O) is not Object, return O.
+  Let status be ? SetIntegrityLevel(O, sealed).
+
+  SetIntegrityLevel ( O, level )
+
+  Assert: Type(O) is Object.
+  Assert: level is either sealed or frozen.
+  Let status be ? O.[[PreventExtensions]]().
+  If status is false, return false.
+  Let keys be ? O.[[OwnPropertyKeys]]().
+  If level is sealed, then
+    For each element k of keys, do
+      Perform ? DefinePropertyOrThrow(O, k, PropertyDescriptor { [[Configurable]]: false }).
+  Else,
+    Assert: level is frozen.
+    For each element k of keys, do
+      Let currentDesc be ? O.[[GetOwnProperty]](k).
+      If currentDesc is not undefined, then
+        If IsAccessorDescriptor(currentDesc) is true, then
+          Let desc be the PropertyDescriptor { [[Configurable]]: false }.
+        Else,
+          Let desc be the PropertyDescriptor { [[Configurable]]: false, [[Writable]]: false }.
+        Perform ? DefinePropertyOrThrow(O, k, desc).
+  Return true.
+
+---*/
+
+Object.seal(new BigInt64Array());

test/built-ins/Object/seal/seal-biguint64array-object.js

@@ -0,0 +1,36 @@
+// Copyright (C) 2020 Rick Waldron. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-object.seal
+description: >
+    Object.seal a BigUint64Array object
+info: |
+  If Type(O) is not Object, return O.
+  Let status be ? SetIntegrityLevel(O, sealed).
+
+  SetIntegrityLevel ( O, level )
+
+  Assert: Type(O) is Object.
+  Assert: level is either sealed or frozen.
+  Let status be ? O.[[PreventExtensions]]().
+  If status is false, return false.
+  Let keys be ? O.[[OwnPropertyKeys]]().
+  If level is sealed, then
+    For each element k of keys, do
+      Perform ? DefinePropertyOrThrow(O, k, PropertyDescriptor { [[Configurable]]: false }).
+  Else,
+    Assert: level is frozen.
+    For each element k of keys, do
+      Let currentDesc be ? O.[[GetOwnProperty]](k).
+      If currentDesc is not undefined, then
+        If IsAccessorDescriptor(currentDesc) is true, then
+          Let desc be the PropertyDescriptor { [[Configurable]]: false }.
+        Else,
+          Let desc be the PropertyDescriptor { [[Configurable]]: false, [[Writable]]: false }.
+        Perform ? DefinePropertyOrThrow(O, k, desc).
+  Return true.
+
+---*/
+
+Object.seal(new BigUint64Array());

test/built-ins/Object/seal/seal-boolean-object.js

@@ -0,0 +1,36 @@
+// Copyright (C) 2020 Rick Waldron. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-object.seal
+description: >
+    Object.seal a Boolean object
+info: |
+  If Type(O) is not Object, return O.
+  Let status be ? SetIntegrityLevel(O, sealed).
+
+  SetIntegrityLevel ( O, level )
+
+  Assert: Type(O) is Object.
+  Assert: level is either sealed or frozen.
+  Let status be ? O.[[PreventExtensions]]().
+  If status is false, return false.
+  Let keys be ? O.[[OwnPropertyKeys]]().
+  If level is sealed, then
+    For each element k of keys, do
+      Perform ? DefinePropertyOrThrow(O, k, PropertyDescriptor { [[Configurable]]: false }).
+  Else,
+    Assert: level is frozen.
+    For each element k of keys, do
+      Let currentDesc be ? O.[[GetOwnProperty]](k).
+      If currentDesc is not undefined, then
+        If IsAccessorDescriptor(currentDesc) is true, then
+          Let desc be the PropertyDescriptor { [[Configurable]]: false }.
+        Else,
+          Let desc be the PropertyDescriptor { [[Configurable]]: false, [[Writable]]: false }.
+        Perform ? DefinePropertyOrThrow(O, k, desc).
+  Return true.
+
+---*/
+
+Object.seal(new Boolean());

test/built-ins/Object/seal/seal-dataview-object.js

@@ -0,0 +1,36 @@
+// Copyright (C) 2020 Rick Waldron. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-object.seal
+description: >
+    Object.seal a DataView object
+info: |
+  If Type(O) is not Object, return O.
+  Let status be ? SetIntegrityLevel(O, sealed).
+
+  SetIntegrityLevel ( O, level )
+
+  Assert: Type(O) is Object.
+  Assert: level is either sealed or frozen.
+  Let status be ? O.[[PreventExtensions]]().
+  If status is false, return false.
+  Let keys be ? O.[[OwnPropertyKeys]]().
+  If level is sealed, then
+    For each element k of keys, do
+      Perform ? DefinePropertyOrThrow(O, k, PropertyDescriptor { [[Configurable]]: false }).
+  Else,
+    Assert: level is frozen.
+    For each element k of keys, do
+      Let currentDesc be ? O.[[GetOwnProperty]](k).
+      If currentDesc is not undefined, then
+        If IsAccessorDescriptor(currentDesc) is true, then
+          Let desc be the PropertyDescriptor { [[Configurable]]: false }.
+        Else,
+          Let desc be the PropertyDescriptor { [[Configurable]]: false, [[Writable]]: false }.
+        Perform ? DefinePropertyOrThrow(O, k, desc).
+  Return true.
+
+---*/
+
+Object.seal(new DataView(new ArrayBuffer(4)));

test/built-ins/Object/seal/seal-date-object.js

@@ -0,0 +1,36 @@
+// Copyright (C) 2020 Rick Waldron. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-object.seal
+description: >
+    Object.seal a Date object
+info: |
+  If Type(O) is not Object, return O.
+  Let status be ? SetIntegrityLevel(O, sealed).
+
+  SetIntegrityLevel ( O, level )
+
+  Assert: Type(O) is Object.
+  Assert: level is either sealed or frozen.
+  Let status be ? O.[[PreventExtensions]]().
+  If status is false, return false.
+  Let keys be ? O.[[OwnPropertyKeys]]().
+  If level is sealed, then
+    For each element k of keys, do
+      Perform ? DefinePropertyOrThrow(O, k, PropertyDescriptor { [[Configurable]]: false }).
+  Else,
+    Assert: level is frozen.
+    For each element k of keys, do
+      Let currentDesc be ? O.[[GetOwnProperty]](k).
+      If currentDesc is not undefined, then
+        If IsAccessorDescriptor(currentDesc) is true, then
+          Let desc be the PropertyDescriptor { [[Configurable]]: false }.
+        Else,
+          Let desc be the PropertyDescriptor { [[Configurable]]: false, [[Writable]]: false }.
+        Perform ? DefinePropertyOrThrow(O, k, desc).
+  Return true.
+
+---*/
+
+Object.seal(new Date());

test/built-ins/Object/seal/seal-error-object.js

@@ -0,0 +1,36 @@
+// Copyright (C) 2020 Rick Waldron. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-object.seal
+description: >
+    Object.seal an Error object
+info: |
+  If Type(O) is not Object, return O.
+  Let status be ? SetIntegrityLevel(O, sealed).
+
+  SetIntegrityLevel ( O, level )
+
+  Assert: Type(O) is Object.
+  Assert: level is either sealed or frozen.
+  Let status be ? O.[[PreventExtensions]]().
+  If status is false, return false.
+  Let keys be ? O.[[OwnPropertyKeys]]().
+  If level is sealed, then
+    For each element k of keys, do
+      Perform ? DefinePropertyOrThrow(O, k, PropertyDescriptor { [[Configurable]]: false }).
+  Else,
+    Assert: level is frozen.
+    For each element k of keys, do
+      Let currentDesc be ? O.[[GetOwnProperty]](k).
+      If currentDesc is not undefined, then
+        If IsAccessorDescriptor(currentDesc) is true, then
+          Let desc be the PropertyDescriptor { [[Configurable]]: false }.
+        Else,
+          Let desc be the PropertyDescriptor { [[Configurable]]: false, [[Writable]]: false }.
+        Perform ? DefinePropertyOrThrow(O, k, desc).
+  Return true.
+
+---*/
+
+Object.seal(new Error());

test/built-ins/Object/seal/seal-evalerror-object.js

@@ -0,0 +1,36 @@
+// Copyright (C) 2020 Rick Waldron. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-object.seal
+description: >
+    Object.seal an EvalError object
+info: |
+  If Type(O) is not Object, return O.
+  Let status be ? SetIntegrityLevel(O, sealed).
+
+  SetIntegrityLevel ( O, level )
+
+  Assert: Type(O) is Object.
+  Assert: level is either sealed or frozen.
+  Let status be ? O.[[PreventExtensions]]().
+  If status is false, return false.
+  Let keys be ? O.[[OwnPropertyKeys]]().
+  If level is sealed, then
+    For each element k of keys, do
+      Perform ? DefinePropertyOrThrow(O, k, PropertyDescriptor { [[Configurable]]: false }).
+  Else,
+    Assert: level is frozen.
+    For each element k of keys, do
+      Let currentDesc be ? O.[[GetOwnProperty]](k).
+      If currentDesc is not undefined, then
+        If IsAccessorDescriptor(currentDesc) is true, then
+          Let desc be the PropertyDescriptor { [[Configurable]]: false }.
+        Else,
+          Let desc be the PropertyDescriptor { [[Configurable]]: false, [[Writable]]: false }.
+        Perform ? DefinePropertyOrThrow(O, k, desc).
+  Return true.
+
+---*/
+
+Object.seal(new EvalError());

test/built-ins/Object/seal/seal-finalizationregistry-object.js

@@ -0,0 +1,36 @@
+// Copyright (C) 2020 Rick Waldron. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-object.seal
+description: >
+    Object.seal a FinalizationRegistry object
+info: |
+  If Type(O) is not Object, return O.
+  Let status be ? SetIntegrityLevel(O, sealed).
+
+  SetIntegrityLevel ( O, level )
+
+  Assert: Type(O) is Object.
+  Assert: level is either sealed or frozen.
+  Let status be ? O.[[PreventExtensions]]().
+  If status is false, return false.
+  Let keys be ? O.[[OwnPropertyKeys]]().
+  If level is sealed, then
+    For each element k of keys, do
+      Perform ? DefinePropertyOrThrow(O, k, PropertyDescriptor { [[Configurable]]: false }).
+  Else,
+    Assert: level is frozen.
+    For each element k of keys, do
+      Let currentDesc be ? O.[[GetOwnProperty]](k).
+      If currentDesc is not undefined, then
+        If IsAccessorDescriptor(currentDesc) is true, then
+          Let desc be the PropertyDescriptor { [[Configurable]]: false }.
+        Else,
+          Let desc be the PropertyDescriptor { [[Configurable]]: false, [[Writable]]: false }.
+        Perform ? DefinePropertyOrThrow(O, k, desc).
+  Return true.
+
+---*/
+
+Object.seal(new FinalizationRegistry(() => {}));

test/built-ins/Object/seal/seal-float32array-object.js

@@ -0,0 +1,36 @@
+// Copyright (C) 2020 Rick Waldron. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-object.seal
+description: >
+    Object.seal a Float32Array object
+info: |
+  If Type(O) is not Object, return O.
+  Let status be ? SetIntegrityLevel(O, sealed).
+
+  SetIntegrityLevel ( O, level )
+
+  Assert: Type(O) is Object.
+  Assert: level is either sealed or frozen.
+  Let status be ? O.[[PreventExtensions]]().
+  If status is false, return false.
+  Let keys be ? O.[[OwnPropertyKeys]]().
+  If level is sealed, then
+    For each element k of keys, do
+      Perform ? DefinePropertyOrThrow(O, k, PropertyDescriptor { [[Configurable]]: false }).
+  Else,
+    Assert: level is frozen.
+    For each element k of keys, do
+      Let currentDesc be ? O.[[GetOwnProperty]](k).
+      If currentDesc is not undefined, then
+        If IsAccessorDescriptor(currentDesc) is true, then
+          Let desc be the PropertyDescriptor { [[Configurable]]: false }.
+        Else,
+          Let desc be the PropertyDescriptor { [[Configurable]]: false, [[Writable]]: false }.
+        Perform ? DefinePropertyOrThrow(O, k, desc).
+  Return true.
+
+---*/
+
+Object.seal(new Float32Array());

test/built-ins/Object/seal/seal-float64array-object.js

@@ -0,0 +1,36 @@
+// Copyright (C) 2020 Rick Waldron. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-object.seal
+description: >
+    Object.seal a Float64Array object
+info: |
+  If Type(O) is not Object, return O.
+  Let status be ? SetIntegrityLevel(O, sealed).
+
+  SetIntegrityLevel ( O, level )
+
+  Assert: Type(O) is Object.
+  Assert: level is either sealed or frozen.
+  Let status be ? O.[[PreventExtensions]]().
+  If status is false, return false.
+  Let keys be ? O.[[OwnPropertyKeys]]().
+  If level is sealed, then
+    For each element k of keys, do
+      Perform ? DefinePropertyOrThrow(O, k, PropertyDescriptor { [[Configurable]]: false }).
+  Else,
+    Assert: level is frozen.
+    For each element k of keys, do
+      Let currentDesc be ? O.[[GetOwnProperty]](k).
+      If currentDesc is not undefined, then
+        If IsAccessorDescriptor(currentDesc) is true, then
+          Let desc be the PropertyDescriptor { [[Configurable]]: false }.
+        Else,
+          Let desc be the PropertyDescriptor { [[Configurable]]: false, [[Writable]]: false }.
+        Perform ? DefinePropertyOrThrow(O, k, desc).
+  Return true.
+
+---*/
+
+Object.seal(new Float64Array());

test/built-ins/Object/seal/seal-function-object.js

@@ -0,0 +1,36 @@
+// Copyright (C) 2020 Rick Waldron. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-object.seal
+description: >
+    Object.seal a Function object
+info: |
+  If Type(O) is not Object, return O.
+  Let status be ? SetIntegrityLevel(O, sealed).
+
+  SetIntegrityLevel ( O, level )
+
+  Assert: Type(O) is Object.
+  Assert: level is either sealed or frozen.
+  Let status be ? O.[[PreventExtensions]]().
+  If status is false, return false.
+  Let keys be ? O.[[OwnPropertyKeys]]().
+  If level is sealed, then
+    For each element k of keys, do
+      Perform ? DefinePropertyOrThrow(O, k, PropertyDescriptor { [[Configurable]]: false }).
+  Else,
+    Assert: level is frozen.
+    For each element k of keys, do
+      Let currentDesc be ? O.[[GetOwnProperty]](k).
+      If currentDesc is not undefined, then
+        If IsAccessorDescriptor(currentDesc) is true, then
+          Let desc be the PropertyDescriptor { [[Configurable]]: false }.
+        Else,
+          Let desc be the PropertyDescriptor { [[Configurable]]: false, [[Writable]]: false }.
+        Perform ? DefinePropertyOrThrow(O, k, desc).
+  Return true.
+
+---*/
+
+Object.seal(new Function());

test/built-ins/Object/seal/seal-generatorfunction-object.js

@@ -0,0 +1,36 @@
+// Copyright (C) 2020 Rick Waldron. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-object.seal
+description: >
+    Object.seal a GeneratorFunction object
+info: |
+  If Type(O) is not Object, return O.
+  Let status be ? SetIntegrityLevel(O, sealed).
+
+  SetIntegrityLevel ( O, level )
+
+  Assert: Type(O) is Object.
+  Assert: level is either sealed or frozen.
+  Let status be ? O.[[PreventExtensions]]().
+  If status is false, return false.
+  Let keys be ? O.[[OwnPropertyKeys]]().
+  If level is sealed, then
+    For each element k of keys, do
+      Perform ? DefinePropertyOrThrow(O, k, PropertyDescriptor { [[Configurable]]: false }).
+  Else,
+    Assert: level is frozen.
+    For each element k of keys, do
+      Let currentDesc be ? O.[[GetOwnProperty]](k).
+      If currentDesc is not undefined, then
+        If IsAccessorDescriptor(currentDesc) is true, then
+          Let desc be the PropertyDescriptor { [[Configurable]]: false }.
+        Else,
+          Let desc be the PropertyDescriptor { [[Configurable]]: false, [[Writable]]: false }.
+        Perform ? DefinePropertyOrThrow(O, k, desc).
+  Return true.
+
+---*/
+
+Object.seal(new (Object.getPrototypeOf(function * () {}).constructor)());

test/built-ins/Object/seal/seal-int16array-object.js

@@ -0,0 +1,36 @@
+// Copyright (C) 2020 Rick Waldron. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-object.seal
+description: >
+    Object.seal an Int16Array object
+info: |
+  If Type(O) is not Object, return O.
+  Let status be ? SetIntegrityLevel(O, sealed).
+
+  SetIntegrityLevel ( O, level )
+
+  Assert: Type(O) is Object.
+  Assert: level is either sealed or frozen.
+  Let status be ? O.[[PreventExtensions]]().
+  If status is false, return false.
+  Let keys be ? O.[[OwnPropertyKeys]]().
+  If level is sealed, then
+    For each element k of keys, do
+      Perform ? DefinePropertyOrThrow(O, k, PropertyDescriptor { [[Configurable]]: false }).
+  Else,
+    Assert: level is frozen.
+    For each element k of keys, do
+      Let currentDesc be ? O.[[GetOwnProperty]](k).
+      If currentDesc is not undefined, then
+        If IsAccessorDescriptor(currentDesc) is true, then
+          Let desc be the PropertyDescriptor { [[Configurable]]: false }.
+        Else,
+          Let desc be the PropertyDescriptor { [[Configurable]]: false, [[Writable]]: false }.
+        Perform ? DefinePropertyOrThrow(O, k, desc).
+  Return true.
+
+---*/
+
+Object.seal(new Int16Array());

test/built-ins/Object/seal/seal-int32array-object.js

@@ -0,0 +1,36 @@
+// Copyright (C) 2020 Rick Waldron. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-object.seal
+description: >
+    Object.seal an Int32Array object
+info: |
+  If Type(O) is not Object, return O.
+  Let status be ? SetIntegrityLevel(O, sealed).
+
+  SetIntegrityLevel ( O, level )
+
+  Assert: Type(O) is Object.
+  Assert: level is either sealed or frozen.
+  Let status be ? O.[[PreventExtensions]]().
+  If status is false, return false.
+  Let keys be ? O.[[OwnPropertyKeys]]().
+  If level is sealed, then
+    For each element k of keys, do
+      Perform ? DefinePropertyOrThrow(O, k, PropertyDescriptor { [[Configurable]]: false }).
+  Else,
+    Assert: level is frozen.
+    For each element k of keys, do
+      Let currentDesc be ? O.[[GetOwnProperty]](k).
+      If currentDesc is not undefined, then
+        If IsAccessorDescriptor(currentDesc) is true, then
+          Let desc be the PropertyDescriptor { [[Configurable]]: false }.
+        Else,
+          Let desc be the PropertyDescriptor { [[Configurable]]: false, [[Writable]]: false }.
+        Perform ? DefinePropertyOrThrow(O, k, desc).
+  Return true.
+
+---*/
+
+Object.seal(new Int32Array());

test/built-ins/Object/seal/seal-int8array-object.js

@@ -0,0 +1,36 @@
+// Copyright (C) 2020 Rick Waldron. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-object.seal
+description: >
+    Object.seal an Int8Array object
+info: |
+  If Type(O) is not Object, return O.
+  Let status be ? SetIntegrityLevel(O, sealed).
+
+  SetIntegrityLevel ( O, level )
+
+  Assert: Type(O) is Object.
+  Assert: level is either sealed or frozen.
+  Let status be ? O.[[PreventExtensions]]().
+  If status is false, return false.
+  Let keys be ? O.[[OwnPropertyKeys]]().
+  If level is sealed, then
+    For each element k of keys, do
+      Perform ? DefinePropertyOrThrow(O, k, PropertyDescriptor { [[Configurable]]: false }).
+  Else,
+    Assert: level is frozen.
+    For each element k of keys, do
+      Let currentDesc be ? O.[[GetOwnProperty]](k).
+      If currentDesc is not undefined, then
+        If IsAccessorDescriptor(currentDesc) is true, then
+          Let desc be the PropertyDescriptor { [[Configurable]]: false }.
+        Else,
+          Let desc be the PropertyDescriptor { [[Configurable]]: false, [[Writable]]: false }.
+        Perform ? DefinePropertyOrThrow(O, k, desc).
+  Return true.
+
+---*/
+
+Object.seal(new Int8Array());

test/built-ins/Object/seal/seal-map-object.js

@@ -0,0 +1,36 @@
+// Copyright (C) 2020 Rick Waldron. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-object.seal
+description: >
+    Object.seal a Map object
+info: |
+  If Type(O) is not Object, return O.
+  Let status be ? SetIntegrityLevel(O, sealed).
+
+  SetIntegrityLevel ( O, level )
+
+  Assert: Type(O) is Object.
+  Assert: level is either sealed or frozen.
+  Let status be ? O.[[PreventExtensions]]().
+  If status is false, return false.
+  Let keys be ? O.[[OwnPropertyKeys]]().
+  If level is sealed, then
+    For each element k of keys, do
+      Perform ? DefinePropertyOrThrow(O, k, PropertyDescriptor { [[Configurable]]: false }).
+  Else,
+    Assert: level is frozen.
+    For each element k of keys, do
+      Let currentDesc be ? O.[[GetOwnProperty]](k).
+      If currentDesc is not undefined, then
+        If IsAccessorDescriptor(currentDesc) is true, then
+          Let desc be the PropertyDescriptor { [[Configurable]]: false }.
+        Else,
+          Let desc be the PropertyDescriptor { [[Configurable]]: false, [[Writable]]: false }.
+        Perform ? DefinePropertyOrThrow(O, k, desc).
+  Return true.
+
+---*/
+
+Object.seal(new Map());

test/built-ins/Object/seal/seal-number-object.js

@@ -0,0 +1,36 @@
+// Copyright (C) 2020 Rick Waldron. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-object.seal
+description: >
+    Object.seal a Number object
+info: |
+  If Type(O) is not Object, return O.
+  Let status be ? SetIntegrityLevel(O, sealed).
+
+  SetIntegrityLevel ( O, level )
+
+  Assert: Type(O) is Object.
+  Assert: level is either sealed or frozen.
+  Let status be ? O.[[PreventExtensions]]().
+  If status is false, return false.
+  Let keys be ? O.[[OwnPropertyKeys]]().
+  If level is sealed, then
+    For each element k of keys, do
+      Perform ? DefinePropertyOrThrow(O, k, PropertyDescriptor { [[Configurable]]: false }).
+  Else,
+    Assert: level is frozen.
+    For each element k of keys, do
+      Let currentDesc be ? O.[[GetOwnProperty]](k).
+      If currentDesc is not undefined, then
+        If IsAccessorDescriptor(currentDesc) is true, then
+          Let desc be the PropertyDescriptor { [[Configurable]]: false }.
+        Else,
+          Let desc be the PropertyDescriptor { [[Configurable]]: false, [[Writable]]: false }.
+        Perform ? DefinePropertyOrThrow(O, k, desc).
+  Return true.
+
+---*/
+
+Object.seal(new Number(1));

test/built-ins/Object/seal/seal-object-object.js

@@ -0,0 +1,36 @@
+// Copyright (C) 2020 Rick Waldron. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-object.seal
+description: >
+    Object.seal an Object object
+info: |
+  If Type(O) is not Object, return O.
+  Let status be ? SetIntegrityLevel(O, sealed).
+
+  SetIntegrityLevel ( O, level )
+
+  Assert: Type(O) is Object.
+  Assert: level is either sealed or frozen.
+  Let status be ? O.[[PreventExtensions]]().
+  If status is false, return false.
+  Let keys be ? O.[[OwnPropertyKeys]]().
+  If level is sealed, then
+    For each element k of keys, do
+      Perform ? DefinePropertyOrThrow(O, k, PropertyDescriptor { [[Configurable]]: false }).
+  Else,
+    Assert: level is frozen.
+    For each element k of keys, do
+      Let currentDesc be ? O.[[GetOwnProperty]](k).
+      If currentDesc is not undefined, then
+        If IsAccessorDescriptor(currentDesc) is true, then
+          Let desc be the PropertyDescriptor { [[Configurable]]: false }.
+        Else,
+          Let desc be the PropertyDescriptor { [[Configurable]]: false, [[Writable]]: false }.
+        Perform ? DefinePropertyOrThrow(O, k, desc).
+  Return true.
+
+---*/
+
+Object.seal(new Object());

test/built-ins/Object/seal/seal-promise-object.js

@@ -0,0 +1,36 @@
+// Copyright (C) 2020 Rick Waldron. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-object.seal
+description: >
+    Object.seal a Promise object
+info: |
+  If Type(O) is not Object, return O.
+  Let status be ? SetIntegrityLevel(O, sealed).
+
+  SetIntegrityLevel ( O, level )
+
+  Assert: Type(O) is Object.
+  Assert: level is either sealed or frozen.
+  Let status be ? O.[[PreventExtensions]]().
+  If status is false, return false.
+  Let keys be ? O.[[OwnPropertyKeys]]().
+  If level is sealed, then
+    For each element k of keys, do
+      Perform ? DefinePropertyOrThrow(O, k, PropertyDescriptor { [[Configurable]]: false }).
+  Else,
+    Assert: level is frozen.
+    For each element k of keys, do
+      Let currentDesc be ? O.[[GetOwnProperty]](k).
+      If currentDesc is not undefined, then
+        If IsAccessorDescriptor(currentDesc) is true, then
+          Let desc be the PropertyDescriptor { [[Configurable]]: false }.
+        Else,
+          Let desc be the PropertyDescriptor { [[Configurable]]: false, [[Writable]]: false }.
+        Perform ? DefinePropertyOrThrow(O, k, desc).
+  Return true.
+
+---*/
+
+Object.seal(new Promise(() => {}));

test/built-ins/Object/seal/seal-proxy-object.js

@@ -0,0 +1,36 @@
+// Copyright (C) 2020 Rick Waldron. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-object.seal
+description: >
+    Object.seal a Proxy object
+info: |
+  If Type(O) is not Object, return O.
+  Let status be ? SetIntegrityLevel(O, sealed).
+
+  SetIntegrityLevel ( O, level )
+
+  Assert: Type(O) is Object.
+  Assert: level is either sealed or frozen.
+  Let status be ? O.[[PreventExtensions]]().
+  If status is false, return false.
+  Let keys be ? O.[[OwnPropertyKeys]]().
+  If level is sealed, then
+    For each element k of keys, do
+      Perform ? DefinePropertyOrThrow(O, k, PropertyDescriptor { [[Configurable]]: false }).
+  Else,
+    Assert: level is frozen.
+    For each element k of keys, do
+      Let currentDesc be ? O.[[GetOwnProperty]](k).
+      If currentDesc is not undefined, then
+        If IsAccessorDescriptor(currentDesc) is true, then
+          Let desc be the PropertyDescriptor { [[Configurable]]: false }.
+        Else,
+          Let desc be the PropertyDescriptor { [[Configurable]]: false, [[Writable]]: false }.
+        Perform ? DefinePropertyOrThrow(O, k, desc).
+  Return true.
+
+---*/
+
+Object.seal(new Proxy({}, {}));

test/built-ins/Object/seal/seal-rangeerror-object.js

@@ -0,0 +1,36 @@
+// Copyright (C) 2020 Rick Waldron. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-object.seal
+description: >
+    Object.seal a RangeError object
+info: |
+  If Type(O) is not Object, return O.
+  Let status be ? SetIntegrityLevel(O, sealed).
+
+  SetIntegrityLevel ( O, level )
+
+  Assert: Type(O) is Object.
+  Assert: level is either sealed or frozen.
+  Let status be ? O.[[PreventExtensions]]().
+  If status is false, return false.
+  Let keys be ? O.[[OwnPropertyKeys]]().
+  If level is sealed, then
+    For each element k of keys, do
+      Perform ? DefinePropertyOrThrow(O, k, PropertyDescriptor { [[Configurable]]: false }).
+  Else,
+    Assert: level is frozen.
+    For each element k of keys, do
+      Let currentDesc be ? O.[[GetOwnProperty]](k).
+      If currentDesc is not undefined, then
+        If IsAccessorDescriptor(currentDesc) is true, then
+          Let desc be the PropertyDescriptor { [[Configurable]]: false }.
+        Else,
+          Let desc be the PropertyDescriptor { [[Configurable]]: false, [[Writable]]: false }.
+        Perform ? DefinePropertyOrThrow(O, k, desc).
+  Return true.
+
+---*/
+
+Object.seal(new RangeError());

test/built-ins/Object/seal/seal-referenceerror-object.js

@@ -0,0 +1,36 @@
+// Copyright (C) 2020 Rick Waldron. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-object.seal
+description: >
+    Object.seal a ReferenceError object
+info: |
+  If Type(O) is not Object, return O.
+  Let status be ? SetIntegrityLevel(O, sealed).
+
+  SetIntegrityLevel ( O, level )
+
+  Assert: Type(O) is Object.
+  Assert: level is either sealed or frozen.
+  Let status be ? O.[[PreventExtensions]]().
+  If status is false, return false.
+  Let keys be ? O.[[OwnPropertyKeys]]().
+  If level is sealed, then
+    For each element k of keys, do
+      Perform ? DefinePropertyOrThrow(O, k, PropertyDescriptor { [[Configurable]]: false }).
+  Else,
+    Assert: level is frozen.
+    For each element k of keys, do
+      Let currentDesc be ? O.[[GetOwnProperty]](k).
+      If currentDesc is not undefined, then
+        If IsAccessorDescriptor(currentDesc) is true, then
+          Let desc be the PropertyDescriptor { [[Configurable]]: false }.
+        Else,
+          Let desc be the PropertyDescriptor { [[Configurable]]: false, [[Writable]]: false }.
+        Perform ? DefinePropertyOrThrow(O, k, desc).
+  Return true.
+
+---*/
+
+Object.seal(new ReferenceError());

test/built-ins/Object/seal/seal-regexp-object.js

@@ -0,0 +1,36 @@
+// Copyright (C) 2020 Rick Waldron. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-object.seal
+description: >
+    Object.seal a RegExp object
+info: |
+  If Type(O) is not Object, return O.
+  Let status be ? SetIntegrityLevel(O, sealed).
+
+  SetIntegrityLevel ( O, level )
+
+  Assert: Type(O) is Object.
+  Assert: level is either sealed or frozen.
+  Let status be ? O.[[PreventExtensions]]().
+  If status is false, return false.
+  Let keys be ? O.[[OwnPropertyKeys]]().
+  If level is sealed, then
+    For each element k of keys, do
+      Perform ? DefinePropertyOrThrow(O, k, PropertyDescriptor { [[Configurable]]: false }).
+  Else,
+    Assert: level is frozen.
+    For each element k of keys, do
+      Let currentDesc be ? O.[[GetOwnProperty]](k).
+      If currentDesc is not undefined, then
+        If IsAccessorDescriptor(currentDesc) is true, then
+          Let desc be the PropertyDescriptor { [[Configurable]]: false }.
+        Else,
+          Let desc be the PropertyDescriptor { [[Configurable]]: false, [[Writable]]: false }.
+        Perform ? DefinePropertyOrThrow(O, k, desc).
+  Return true.
+
+---*/
+
+Object.seal(new RegExp(""));

test/built-ins/Object/seal/seal-set-object.js

@@ -0,0 +1,36 @@
+// Copyright (C) 2020 Rick Waldron. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-object.seal
+description: >
+    Object.seal a Set object
+info: |
+  If Type(O) is not Object, return O.
+  Let status be ? SetIntegrityLevel(O, sealed).
+
+  SetIntegrityLevel ( O, level )
+
+  Assert: Type(O) is Object.
+  Assert: level is either sealed or frozen.
+  Let status be ? O.[[PreventExtensions]]().
+  If status is false, return false.
+  Let keys be ? O.[[OwnPropertyKeys]]().
+  If level is sealed, then
+    For each element k of keys, do
+      Perform ? DefinePropertyOrThrow(O, k, PropertyDescriptor { [[Configurable]]: false }).
+  Else,
+    Assert: level is frozen.
+    For each element k of keys, do
+      Let currentDesc be ? O.[[GetOwnProperty]](k).
+      If currentDesc is not undefined, then
+        If IsAccessorDescriptor(currentDesc) is true, then
+          Let desc be the PropertyDescriptor { [[Configurable]]: false }.
+        Else,
+          Let desc be the PropertyDescriptor { [[Configurable]]: false, [[Writable]]: false }.
+        Perform ? DefinePropertyOrThrow(O, k, desc).
+  Return true.
+
+---*/
+
+Object.seal(new Set());

test/built-ins/Object/seal/seal-sharedarraybuffer-object.js

@@ -0,0 +1,36 @@
+// Copyright (C) 2020 Rick Waldron. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-object.seal
+description: >
+    Object.seal a SharedArrayBuffer object
+info: |
+  If Type(O) is not Object, return O.
+  Let status be ? SetIntegrityLevel(O, sealed).
+
+  SetIntegrityLevel ( O, level )
+
+  Assert: Type(O) is Object.
+  Assert: level is either sealed or frozen.
+  Let status be ? O.[[PreventExtensions]]().
+  If status is false, return false.
+  Let keys be ? O.[[OwnPropertyKeys]]().
+  If level is sealed, then
+    For each element k of keys, do
+      Perform ? DefinePropertyOrThrow(O, k, PropertyDescriptor { [[Configurable]]: false }).
+  Else,
+    Assert: level is frozen.
+    For each element k of keys, do
+      Let currentDesc be ? O.[[GetOwnProperty]](k).
+      If currentDesc is not undefined, then
+        If IsAccessorDescriptor(currentDesc) is true, then
+          Let desc be the PropertyDescriptor { [[Configurable]]: false }.
+        Else,
+          Let desc be the PropertyDescriptor { [[Configurable]]: false, [[Writable]]: false }.
+        Perform ? DefinePropertyOrThrow(O, k, desc).
+  Return true.
+
+---*/
+
+Object.seal(new SharedArrayBuffer(4));

test/built-ins/Object/seal/seal-string-object.js

@@ -0,0 +1,36 @@
+// Copyright (C) 2020 Rick Waldron. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-object.seal
+description: >
+    Object.seal a String object
+info: |
+  If Type(O) is not Object, return O.
+  Let status be ? SetIntegrityLevel(O, sealed).
+
+  SetIntegrityLevel ( O, level )
+
+  Assert: Type(O) is Object.
+  Assert: level is either sealed or frozen.
+  Let status be ? O.[[PreventExtensions]]().
+  If status is false, return false.
+  Let keys be ? O.[[OwnPropertyKeys]]().
+  If level is sealed, then
+    For each element k of keys, do
+      Perform ? DefinePropertyOrThrow(O, k, PropertyDescriptor { [[Configurable]]: false }).
+  Else,
+    Assert: level is frozen.
+    For each element k of keys, do
+      Let currentDesc be ? O.[[GetOwnProperty]](k).
+      If currentDesc is not undefined, then
+        If IsAccessorDescriptor(currentDesc) is true, then
+          Let desc be the PropertyDescriptor { [[Configurable]]: false }.
+        Else,
+          Let desc be the PropertyDescriptor { [[Configurable]]: false, [[Writable]]: false }.
+        Perform ? DefinePropertyOrThrow(O, k, desc).
+  Return true.
+
+---*/
+
+Object.seal(new String(""));

test/built-ins/Object/seal/seal-symbol-object.js

@@ -0,0 +1,36 @@
+// Copyright (C) 2020 Rick Waldron. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-object.seal
+description: >
+    Object.seal a Symbol object
+info: |
+  If Type(O) is not Object, return O.
+  Let status be ? SetIntegrityLevel(O, sealed).
+
+  SetIntegrityLevel ( O, level )
+
+  Assert: Type(O) is Object.
+  Assert: level is either sealed or frozen.
+  Let status be ? O.[[PreventExtensions]]().
+  If status is false, return false.
+  Let keys be ? O.[[OwnPropertyKeys]]().
+  If level is sealed, then
+    For each element k of keys, do
+      Perform ? DefinePropertyOrThrow(O, k, PropertyDescriptor { [[Configurable]]: false }).
+  Else,
+    Assert: level is frozen.
+    For each element k of keys, do
+      Let currentDesc be ? O.[[GetOwnProperty]](k).
+      If currentDesc is not undefined, then
+        If IsAccessorDescriptor(currentDesc) is true, then
+          Let desc be the PropertyDescriptor { [[Configurable]]: false }.
+        Else,
+          Let desc be the PropertyDescriptor { [[Configurable]]: false, [[Writable]]: false }.
+        Perform ? DefinePropertyOrThrow(O, k, desc).
+  Return true.
+
+---*/
+
+Object.seal(Symbol());

test/built-ins/Object/seal/seal-syntaxerror-object.js

@@ -0,0 +1,36 @@
+// Copyright (C) 2020 Rick Waldron. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-object.seal
+description: >
+    Object.seal a SyntaxError object
+info: |
+  If Type(O) is not Object, return O.
+  Let status be ? SetIntegrityLevel(O, sealed).
+
+  SetIntegrityLevel ( O, level )
+
+  Assert: Type(O) is Object.
+  Assert: level is either sealed or frozen.
+  Let status be ? O.[[PreventExtensions]]().
+  If status is false, return false.
+  Let keys be ? O.[[OwnPropertyKeys]]().
+  If level is sealed, then
+    For each element k of keys, do
+      Perform ? DefinePropertyOrThrow(O, k, PropertyDescriptor { [[Configurable]]: false }).
+  Else,
+    Assert: level is frozen.
+    For each element k of keys, do
+      Let currentDesc be ? O.[[GetOwnProperty]](k).
+      If currentDesc is not undefined, then
+        If IsAccessorDescriptor(currentDesc) is true, then
+          Let desc be the PropertyDescriptor { [[Configurable]]: false }.
+        Else,
+          Let desc be the PropertyDescriptor { [[Configurable]]: false, [[Writable]]: false }.
+        Perform ? DefinePropertyOrThrow(O, k, desc).
+  Return true.
+
+---*/
+
+Object.seal(new SyntaxError());

test/built-ins/Object/seal/seal-typeerror-object.js

@@ -0,0 +1,36 @@
+// Copyright (C) 2020 Rick Waldron. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-object.seal
+description: >
+    Object.seal a TypeError object
+info: |
+  If Type(O) is not Object, return O.
+  Let status be ? SetIntegrityLevel(O, sealed).
+
+  SetIntegrityLevel ( O, level )
+
+  Assert: Type(O) is Object.
+  Assert: level is either sealed or frozen.
+  Let status be ? O.[[PreventExtensions]]().
+  If status is false, return false.
+  Let keys be ? O.[[OwnPropertyKeys]]().
+  If level is sealed, then
+    For each element k of keys, do
+      Perform ? DefinePropertyOrThrow(O, k, PropertyDescriptor { [[Configurable]]: false }).
+  Else,
+    Assert: level is frozen.
+    For each element k of keys, do
+      Let currentDesc be ? O.[[GetOwnProperty]](k).
+      If currentDesc is not undefined, then
+        If IsAccessorDescriptor(currentDesc) is true, then
+          Let desc be the PropertyDescriptor { [[Configurable]]: false }.
+        Else,
+          Let desc be the PropertyDescriptor { [[Configurable]]: false, [[Writable]]: false }.
+        Perform ? DefinePropertyOrThrow(O, k, desc).
+  Return true.
+
+---*/
+
+Object.seal(new TypeError());

test/built-ins/Object/seal/seal-uint16array-object.js

@@ -0,0 +1,36 @@
+// Copyright (C) 2020 Rick Waldron. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-object.seal
+description: >
+    Object.seal an Uint16Array object
+info: |
+  If Type(O) is not Object, return O.
+  Let status be ? SetIntegrityLevel(O, sealed).
+
+  SetIntegrityLevel ( O, level )
+
+  Assert: Type(O) is Object.
+  Assert: level is either sealed or frozen.
+  Let status be ? O.[[PreventExtensions]]().
+  If status is false, return false.
+  Let keys be ? O.[[OwnPropertyKeys]]().
+  If level is sealed, then
+    For each element k of keys, do
+      Perform ? DefinePropertyOrThrow(O, k, PropertyDescriptor { [[Configurable]]: false }).
+  Else,
+    Assert: level is frozen.
+    For each element k of keys, do
+      Let currentDesc be ? O.[[GetOwnProperty]](k).
+      If currentDesc is not undefined, then
+        If IsAccessorDescriptor(currentDesc) is true, then
+          Let desc be the PropertyDescriptor { [[Configurable]]: false }.
+        Else,
+          Let desc be the PropertyDescriptor { [[Configurable]]: false, [[Writable]]: false }.
+        Perform ? DefinePropertyOrThrow(O, k, desc).
+  Return true.
+
+---*/
+
+Object.seal(new Uint16Array());

test/built-ins/Object/seal/seal-uint32array-object.js

@@ -0,0 +1,36 @@
+// Copyright (C) 2020 Rick Waldron. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-object.seal
+description: >
+    Object.seal an Uint32Array object
+info: |
+  If Type(O) is not Object, return O.
+  Let status be ? SetIntegrityLevel(O, sealed).
+
+  SetIntegrityLevel ( O, level )
+
+  Assert: Type(O) is Object.
+  Assert: level is either sealed or frozen.
+  Let status be ? O.[[PreventExtensions]]().
+  If status is false, return false.
+  Let keys be ? O.[[OwnPropertyKeys]]().
+  If level is sealed, then
+    For each element k of keys, do
+      Perform ? DefinePropertyOrThrow(O, k, PropertyDescriptor { [[Configurable]]: false }).
+  Else,
+    Assert: level is frozen.
+    For each element k of keys, do
+      Let currentDesc be ? O.[[GetOwnProperty]](k).
+      If currentDesc is not undefined, then
+        If IsAccessorDescriptor(currentDesc) is true, then
+          Let desc be the PropertyDescriptor { [[Configurable]]: false }.
+        Else,
+          Let desc be the PropertyDescriptor { [[Configurable]]: false, [[Writable]]: false }.
+        Perform ? DefinePropertyOrThrow(O, k, desc).
+  Return true.
+
+---*/
+
+Object.seal(new Uint32Array());

test/built-ins/Object/seal/seal-uint8array-object.js

@@ -0,0 +1,36 @@
+// Copyright (C) 2020 Rick Waldron. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-object.seal
+description: >
+    Object.seal an Uint8Array object
+info: |
+  If Type(O) is not Object, return O.
+  Let status be ? SetIntegrityLevel(O, sealed).
+
+  SetIntegrityLevel ( O, level )
+
+  Assert: Type(O) is Object.
+  Assert: level is either sealed or frozen.
+  Let status be ? O.[[PreventExtensions]]().
+  If status is false, return false.
+  Let keys be ? O.[[OwnPropertyKeys]]().
+  If level is sealed, then
+    For each element k of keys, do
+      Perform ? DefinePropertyOrThrow(O, k, PropertyDescriptor { [[Configurable]]: false }).
+  Else,
+    Assert: level is frozen.
+    For each element k of keys, do
+      Let currentDesc be ? O.[[GetOwnProperty]](k).
+      If currentDesc is not undefined, then
+        If IsAccessorDescriptor(currentDesc) is true, then
+          Let desc be the PropertyDescriptor { [[Configurable]]: false }.
+        Else,
+          Let desc be the PropertyDescriptor { [[Configurable]]: false, [[Writable]]: false }.
+        Perform ? DefinePropertyOrThrow(O, k, desc).
+  Return true.
+
+---*/
+
+Object.seal(new Uint8Array());

test/built-ins/Object/seal/seal-uint8clampedarray-object.js

@@ -0,0 +1,36 @@
+// Copyright (C) 2020 Rick Waldron. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-object.seal
+description: >
+    Object.seal an Uint8ClampedArray object
+info: |
+  If Type(O) is not Object, return O.
+  Let status be ? SetIntegrityLevel(O, sealed).
+
+  SetIntegrityLevel ( O, level )
+
+  Assert: Type(O) is Object.
+  Assert: level is either sealed or frozen.
+  Let status be ? O.[[PreventExtensions]]().
+  If status is false, return false.
+  Let keys be ? O.[[OwnPropertyKeys]]().
+  If level is sealed, then
+    For each element k of keys, do
+      Perform ? DefinePropertyOrThrow(O, k, PropertyDescriptor { [[Configurable]]: false }).
+  Else,
+    Assert: level is frozen.
+    For each element k of keys, do
+      Let currentDesc be ? O.[[GetOwnProperty]](k).
+      If currentDesc is not undefined, then
+        If IsAccessorDescriptor(currentDesc) is true, then
+          Let desc be the PropertyDescriptor { [[Configurable]]: false }.
+        Else,
+          Let desc be the PropertyDescriptor { [[Configurable]]: false, [[Writable]]: false }.
+        Perform ? DefinePropertyOrThrow(O, k, desc).
+  Return true.
+
+---*/
+
+Object.seal(new Uint8ClampedArray());

test/built-ins/Object/seal/seal-urierror-object.js

@@ -0,0 +1,36 @@
+// Copyright (C) 2020 Rick Waldron. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-object.seal
+description: >
+    Object.seal an URIError object
+info: |
+  If Type(O) is not Object, return O.
+  Let status be ? SetIntegrityLevel(O, sealed).
+
+  SetIntegrityLevel ( O, level )
+
+  Assert: Type(O) is Object.
+  Assert: level is either sealed or frozen.
+  Let status be ? O.[[PreventExtensions]]().
+  If status is false, return false.
+  Let keys be ? O.[[OwnPropertyKeys]]().
+  If level is sealed, then
+    For each element k of keys, do
+      Perform ? DefinePropertyOrThrow(O, k, PropertyDescriptor { [[Configurable]]: false }).
+  Else,
+    Assert: level is frozen.
+    For each element k of keys, do
+      Let currentDesc be ? O.[[GetOwnProperty]](k).
+      If currentDesc is not undefined, then
+        If IsAccessorDescriptor(currentDesc) is true, then
+          Let desc be the PropertyDescriptor { [[Configurable]]: false }.
+        Else,
+          Let desc be the PropertyDescriptor { [[Configurable]]: false, [[Writable]]: false }.
+        Perform ? DefinePropertyOrThrow(O, k, desc).
+  Return true.
+
+---*/
+
+Object.seal(new URIError());

test/built-ins/Object/seal/seal-weakmap-object.js

@@ -0,0 +1,36 @@
+// Copyright (C) 2020 Rick Waldron. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-object.seal
+description: >
+    Object.seal a WeakMap object
+info: |
+  If Type(O) is not Object, return O.
+  Let status be ? SetIntegrityLevel(O, sealed).
+
+  SetIntegrityLevel ( O, level )
+
+  Assert: Type(O) is Object.
+  Assert: level is either sealed or frozen.
+  Let status be ? O.[[PreventExtensions]]().
+  If status is false, return false.
+  Let keys be ? O.[[OwnPropertyKeys]]().
+  If level is sealed, then
+    For each element k of keys, do
+      Perform ? DefinePropertyOrThrow(O, k, PropertyDescriptor { [[Configurable]]: false }).
+  Else,
+    Assert: level is frozen.
+    For each element k of keys, do
+      Let currentDesc be ? O.[[GetOwnProperty]](k).
+      If currentDesc is not undefined, then
+        If IsAccessorDescriptor(currentDesc) is true, then
+          Let desc be the PropertyDescriptor { [[Configurable]]: false }.
+        Else,
+          Let desc be the PropertyDescriptor { [[Configurable]]: false, [[Writable]]: false }.
+        Perform ? DefinePropertyOrThrow(O, k, desc).
+  Return true.
+
+---*/
+
+Object.seal(new WeakMap());

test/built-ins/Object/seal/seal-weakref-object.js

@@ -0,0 +1,36 @@
+// Copyright (C) 2020 Rick Waldron. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-object.seal
+description: >
+    Object.seal a WeakRef object
+info: |
+  If Type(O) is not Object, return O.
+  Let status be ? SetIntegrityLevel(O, sealed).
+
+  SetIntegrityLevel ( O, level )
+
+  Assert: Type(O) is Object.
+  Assert: level is either sealed or frozen.
+  Let status be ? O.[[PreventExtensions]]().
+  If status is false, return false.
+  Let keys be ? O.[[OwnPropertyKeys]]().
+  If level is sealed, then
+    For each element k of keys, do
+      Perform ? DefinePropertyOrThrow(O, k, PropertyDescriptor { [[Configurable]]: false }).
+  Else,
+    Assert: level is frozen.
+    For each element k of keys, do
+      Let currentDesc be ? O.[[GetOwnProperty]](k).
+      If currentDesc is not undefined, then
+        If IsAccessorDescriptor(currentDesc) is true, then
+          Let desc be the PropertyDescriptor { [[Configurable]]: false }.
+        Else,
+          Let desc be the PropertyDescriptor { [[Configurable]]: false, [[Writable]]: false }.
+        Perform ? DefinePropertyOrThrow(O, k, desc).
+  Return true.
+
+---*/
+
+Object.seal(new WeakRef({}));

test/built-ins/Object/seal/seal-weakset-object.js

@@ -0,0 +1,36 @@
+// Copyright (C) 2020 Rick Waldron. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-object.seal
+description: >
+    Object.seal a WeakSet object
+info: |
+  If Type(O) is not Object, return O.
+  Let status be ? SetIntegrityLevel(O, sealed).
+
+  SetIntegrityLevel ( O, level )
+
+  Assert: Type(O) is Object.
+  Assert: level is either sealed or frozen.
+  Let status be ? O.[[PreventExtensions]]().
+  If status is false, return false.
+  Let keys be ? O.[[OwnPropertyKeys]]().
+  If level is sealed, then
+    For each element k of keys, do
+      Perform ? DefinePropertyOrThrow(O, k, PropertyDescriptor { [[Configurable]]: false }).
+  Else,
+    Assert: level is frozen.
+    For each element k of keys, do
+      Let currentDesc be ? O.[[GetOwnProperty]](k).
+      If currentDesc is not undefined, then
+        If IsAccessorDescriptor(currentDesc) is true, then
+          Let desc be the PropertyDescriptor { [[Configurable]]: false }.
+        Else,
+          Let desc be the PropertyDescriptor { [[Configurable]]: false, [[Writable]]: false }.
+        Perform ? DefinePropertyOrThrow(O, k, desc).
+  Return true.
+
+---*/
+
+Object.seal(new WeakSet());