Add tests for AsyncContext (Stage 2)

features.txt

@@ -109,6 +109,10 @@ promise-with-resolvers
 # https://github.com/tc39/proposal-set-methods
 set-methods
 
+# AsyncContext
+# https://github.com/tc39/proposal-async-context
+AsyncContext
+
 ## Standard language features
 #
 # Language features that have been included in a published version of the

test/built-ins/AsyncContext/Snapshot/constructor.js

@@ -0,0 +1,16 @@
+// Copyright (C) 2023 Igalia, S. L. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-asynccontext-snapshot-constructor
+description: >
+    The AsyncContext.Snapshot constructor is the %AsyncContext.Snapshot%
+    intrinsic object and the initial value of the Snapshot property of the
+    %AsyncContext% object.
+features: [AsyncContext]
+---*/
+
+assert.sameValue(
+  typeof AsyncContext.Snapshot, 'function',
+  'typeof AsyncContext.Snapshot is function'
+);

test/built-ins/AsyncContext/Snapshot/instance-extensible.js

@@ -0,0 +1,11 @@
+// Copyright (C) 2023 Igalia, S. L. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-asynccontext-snapshot
+description: Instances of AsyncContext.Snapshot are extensible
+features: [AsyncContext]
+---*/
+
+var asyncSnapshot = new AsyncContext.Snapshot();
+assert.sameValue(Object.isExtensible(asyncSnapshot), true);

test/built-ins/AsyncContext/Snapshot/instance-prototype.js

@@ -0,0 +1,20 @@
+// Copyright (C) 2023 Igalia, S. L. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-asynccontext-snapshot.prototype
+description: >
+  The initial value of AsyncContext.Snapshot.prototype is the
+  AsyncContext.Snapshot prototype object.
+includes: [propertyHelper.js]
+features: [AsyncContext]
+---*/
+
+assert.sameValue(
+  AsyncContext.Snapshot.prototype.isPrototypeOf(new AsyncContext.Snapshot()), true,
+  'AsyncContext.Snapshot.prototype.isPrototypeOf(new AsyncContext.Snapshot()) returns true'
+);
+
+verifyNotEnumerable(AsyncContext.Snapshot, 'prototype');
+verifyNotWritable(AsyncContext.Snapshot, 'prototype');
+verifyNotConfigurable(AsyncContext.Snapshot, 'prototype');

test/built-ins/AsyncContext/Snapshot/internal-prototype.js

@@ -0,0 +1,16 @@
+// Copyright (C) 2023 Igalia, S. L. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-properties-of-the-asynccontext-snapshot-constructor
+description: >
+  The AsyncContext.Snapshot constructor has a [[Prototype]] internal slot whose
+  value is %Function.prototype%.
+features: [AsyncContext]
+---*/
+
+assert.sameValue(
+  Function.prototype.isPrototypeOf(AsyncContext.Snapshot),
+  true,
+  'Function.prototype.isPrototypeOf(AsyncContext.Snapshot) returns true'
+);

test/built-ins/AsyncContext/Snapshot/is-a-constructor.js

@@ -0,0 +1,12 @@
+// Copyright (C) 2023 Igalia, S. L. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-asynccontext-snapshot-constructor
+description: The AsyncContext.Snapshot constructor implements [[Construct]]
+includes: [isConstructor.js]
+features: [AsyncContext, Reflect.construct]
+---*/
+
+assert.sameValue(isConstructor(AsyncContext.Snapshot), true, 'isConstructor(AsyncContext.Snapshot) must return true');
+new AsyncContext.Snapshot();

test/built-ins/AsyncContext/Snapshot/length.js

@@ -0,0 +1,16 @@
+// Copyright (C) 2023 Igalia, S. L. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-asynccontext-snapshot
+description: AsyncContext.Snapshot.length property descriptor
+includes: [propertyHelper.js]
+features: [AsyncContext]
+---*/
+
+verifyProperty(AsyncContext.Snapshot, 'length', {
+  value: 0,
+  writable: false,
+  enumerable: false,
+  configurable: true
+});

test/built-ins/AsyncContext/Snapshot/name.js

@@ -0,0 +1,15 @@
+// Copyright (C) 2023 Igalia, S. L. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-asynccontext-snapshot
+description: AsyncContext.Snapshot.name value and descriptor
+includes: [propertyHelper.js]
+features: [AsyncContext]
+---*/
+
+assert.sameValue(AsyncContext.Snapshot.name, 'Snapshot', 'The value of AsyncContext.Snapshot.name is "Snapshot"');
+
+verifyNotEnumerable(AsyncContext.Snapshot, 'name');
+verifyNotWritable(AsyncContext.Snapshot, 'name');
+verifyConfigurable(AsyncContext.Snapshot, 'name');

test/built-ins/AsyncContext/Snapshot/newtarget-prototype-is-not-object.js

@@ -0,0 +1,57 @@
+// Copyright (C) 2024 Igalia, S. L. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-asynccontext-snapshot
+description: >
+  [[Prototype]] defaults to %AsyncContext.Snapshot.prototype% if NewTarget.prototype is not an object.
+info: |
+  AsyncContext.Snapshot ( )
+
+  ...
+  3. Let asyncSnapshot be ? OrdinaryCreateFromConstructor(NewTarget, "%AsyncContext.Snapshot.prototype%", « [[AsyncSnapshotMapping]] »).
+  ...
+  5. Return asyncSnapshot.
+
+  OrdinaryCreateFromConstructor ( constructor, intrinsicDefaultProto [ , internalSlotsList ] )
+
+  ...
+  2. Let proto be ? GetPrototypeFromConstructor(constructor, intrinsicDefaultProto).
+  3. Return ObjectCreate(proto, internalSlotsList).
+
+  GetPrototypeFromConstructor ( constructor, intrinsicDefaultProto )
+
+  3. Let proto be ? Get(constructor, 'prototype').
+  4. If Type(proto) is not Object, then
+    a. Let realm be ? GetFunctionRealm(constructor).
+    b. Set proto to realm's intrinsic object named intrinsicDefaultProto.
+  5. Return proto.
+features: [AsyncContext, Reflect.construct, Symbol]
+---*/
+
+var asyncSnapshot;
+function newTarget() { }
+
+newTarget.prototype = undefined;
+asyncSnapshot = Reflect.construct(AsyncContext.Snapshot, [], newTarget);
+assert.sameValue(Object.getPrototypeOf(asyncSnapshot), AsyncContext.Snapshot.prototype, 'newTarget.prototype is undefined');
+
+newTarget.prototype = null;
+asyncSnapshot = Reflect.construct(AsyncContext.Snapshot, [], newTarget);
+assert.sameValue(Object.getPrototypeOf(asyncSnapshot), AsyncContext.Snapshot.prototype, 'newTarget.prototype is null');
+
+newTarget.prototype = true;
+asyncSnapshot = Reflect.construct(AsyncContext.Snapshot, [], newTarget);
+assert.sameValue(Object.getPrototypeOf(asyncSnapshot), AsyncContext.Snapshot.prototype, 'newTarget.prototype is a Boolean');
+
+newTarget.prototype = '';
+asyncSnapshot = Reflect.construct(AsyncContext.Snapshot, [], newTarget);
+assert.sameValue(Object.getPrototypeOf(asyncSnapshot), AsyncContext.Snapshot.prototype, 'newTarget.prototype is a String');
+
+newTarget.prototype = Symbol();
+asyncSnapshot = Reflect.construct(AsyncContext.Snapshot, [], newTarget);
+assert.sameValue(Object.getPrototypeOf(asyncSnapshot), AsyncContext.Snapshot.prototype, 'newTarget.prototype is a Symbol');
+
+newTarget.prototype = 1;
+asyncSnapshot = Reflect.construct(AsyncContext.Snapshot, [], newTarget);
+assert.sameValue(Object.getPrototypeOf(asyncSnapshot), AsyncContext.Snapshot.prototype, 'newTarget.prototype is a Number');

test/built-ins/AsyncContext/Snapshot/prop-desc.js

@@ -0,0 +1,22 @@
+// Copyright (C) 2024 Igalia, S. L. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-asynccontext-snapshot-constructor
+description: >
+  Property descriptor of AsyncContext.Snapshot
+info: |
+  17 ECMAScript Standard Built-in Objects:
+
+  Every other data property described in clauses 18 through 26 and in Annex B.2
+  has the attributes { [[Writable]]: true, [[Enumerable]]: false,
+  [[Configurable]]: true } unless otherwise specified.
+includes: [propertyHelper.js]
+features: [AsyncContext]
+---*/
+
+verifyProperty(AsyncContext, 'Snapshot', {
+  enumerable: false,
+  writable: true,
+  configurable: true
+});

test/built-ins/AsyncContext/Snapshot/proto-from-ctor-realm.js

@@ -0,0 +1,58 @@
+// Copyright (C) 2024 Igalia, S. L. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-asynccontext-snapshot
+description: Default [[Prototype]] value derived from realm of the newTarget
+info: |
+  AsyncContext.Snapshot ( )
+
+  ...
+  3. Let asyncSnapshot be ? OrdinaryCreateFromConstructor(NewTarget, "%AsyncContext.Snapshot.prototype%", « [[AsyncSnapshotMapping]] »).
+  ...
+  5. Return asyncSnapshot.
+
+  OrdinaryCreateFromConstructor ( constructor, intrinsicDefaultProto [ , internalSlotsList ] )
+
+  ...
+  2. Let proto be ? GetPrototypeFromConstructor(constructor, intrinsicDefaultProto).
+  3. Return ObjectCreate(proto, internalSlotsList).
+
+  GetPrototypeFromConstructor ( constructor, intrinsicDefaultProto )
+
+  3. Let proto be ? Get(constructor, 'prototype').
+  4. If Type(proto) is not Object, then
+    a. Let realm be ? GetFunctionRealm(constructor).
+    b. Set proto to realm's intrinsic object named intrinsicDefaultProto.
+  5. Return proto.
+features: [AsyncContext, cross-realm, Reflect, Symbol]
+---*/
+
+var other = $262.createRealm().global;
+var newTarget = new other.Function();
+var asyncSnapshot;
+
+newTarget.prototype = undefined;
+asyncSnapshot = Reflect.construct(AsyncContext.Snapshot, [], newTarget);
+assert.sameValue(Object.getPrototypeOf(asyncSnapshot), other.AsyncContext.Snapshot.prototype, 'newTarget.prototype is undefined');
+
+newTarget.prototype = null;
+asyncSnapshot = Reflect.construct(AsyncContext.Snapshot, [], newTarget);
+assert.sameValue(Object.getPrototypeOf(asyncSnapshot), other.AsyncContext.Snapshot.prototype, 'newTarget.prototype is null');
+
+newTarget.prototype = true;
+asyncSnapshot = Reflect.construct(AsyncContext.Snapshot, [], newTarget);
+assert.sameValue(Object.getPrototypeOf(asyncSnapshot), other.AsyncContext.Snapshot.prototype, 'newTarget.prototype is a Boolean');
+
+newTarget.prototype = '';
+asyncSnapshot = Reflect.construct(AsyncContext.Snapshot, [], newTarget);
+assert.sameValue(Object.getPrototypeOf(asyncSnapshot), other.AsyncContext.Snapshot.prototype, 'newTarget.prototype is a String');
+
+newTarget.prototype = Symbol();
+asyncSnapshot = Reflect.construct(AsyncContext.Snapshot, [], newTarget);
+assert.sameValue(Object.getPrototypeOf(asyncSnapshot), other.AsyncContext.Snapshot.prototype, 'newTarget.prototype is a Symbol');
+
+newTarget.prototype = 1;
+asyncSnapshot = Reflect.construct(AsyncContext.Snapshot, [], newTarget);
+assert.sameValue(Object.getPrototypeOf(asyncSnapshot), other.AsyncContext.Snapshot.prototype, 'newTarget.prototype is a Number');
+

test/built-ins/AsyncContext/Snapshot/proto.js

@@ -0,0 +1,18 @@
+// Copyright (C) 2024 Igalia, S. L. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-properties-of-the-asynccontext-snapshot-constructor
+description: >
+  The prototype of AsyncContext.Snapshot is %Function.prototype%
+info: |
+  The value of the [[Prototype]] internal slot of the AsyncContext.Snapshot
+  constructor is the intrinsic object %Function.prototype%.
+features: [AsyncContext]
+---*/
+
+assert.sameValue(
+  Object.getPrototypeOf(AsyncContext.Snapshot),
+  Function.prototype,
+  'Object.getPrototypeOf(AsyncContext.Snapshot) returns the value of `Function.prototype`'
+);

test/built-ins/AsyncContext/Snapshot/prototype-from-newtarget-abrupt.js

@@ -0,0 +1,41 @@
+// Copyright (C) 2024 Igalia, S. L. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-asynccontext-snapshot
+description: >
+  Return abrupt from getting the NewTarget prototype
+info: |
+  AsyncContext.Snapshot ( )
+
+  ...
+  3. Let asyncSnapshot be ? OrdinaryCreateFromConstructor(NewTarget, "%AsyncContext.Snapshot.prototype%", « [[AsyncSnapshotMapping]] »).
+  ...
+  5. Return asyncSnapshot.
+
+  OrdinaryCreateFromConstructor ( constructor, intrinsicDefaultProto [ , internalSlotsList ] )
+
+  ...
+  2. Let proto be ? GetPrototypeFromConstructor(constructor, intrinsicDefaultProto).
+  3. Return ObjectCreate(proto, internalSlotsList).
+
+  GetPrototypeFromConstructor ( constructor, intrinsicDefaultProto )
+
+  3. Let proto be ? Get(constructor, 'prototype').
+features: [AsyncContext, Reflect.construct]
+---*/
+
+var calls = 0;
+var newTarget = function() {}.bind(null);
+Object.defineProperty(newTarget, 'prototype', {
+  get: function() {
+    calls += 1;
+    throw new Test262Error();
+  }
+});
+
+assert.throws(Test262Error, function() {
+  Reflect.construct(AsyncContext.Snapshot, [], newTarget);
+});
+
+assert.sameValue(calls, 1);

test/built-ins/AsyncContext/Snapshot/prototype-from-newtarget-custom.js

@@ -0,0 +1,44 @@
+// Copyright (C) 2024 Igalia, S. L. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-asynccontext-snapshot
+description: >
+  The [[Prototype]] internal slot is computed from NewTarget.
+info: |
+  AsyncContext.Snapshot ( )
+
+  ...
+  3. Let asyncSnapshot be ? OrdinaryCreateFromConstructor(NewTarget, "%AsyncContext.Snapshot.prototype%", « [[AsyncSnapshotMapping]] »).
+  ...
+  5. Return asyncSnapshot.
+
+  OrdinaryCreateFromConstructor ( constructor, intrinsicDefaultProto [ , internalSlotsList ] )
+
+  ...
+  2. Let proto be ? GetPrototypeFromConstructor(constructor, intrinsicDefaultProto).
+  3. Return ObjectCreate(proto, internalSlotsList).
+
+  GetPrototypeFromConstructor ( constructor, intrinsicDefaultProto )
+
+  3. Let proto be ? Get(constructor, 'prototype').
+  4. If Type(proto) is not Object, then
+    a. Let realm be ? GetFunctionRealm(constructor).
+    b. Set proto to realm's intrinsic object named intrinsicDefaultProto.
+  5. Return proto.
+features: [AsyncContext, Reflect.construct]
+---*/
+
+var asyncSnapshot;
+
+asyncSnapshot = Reflect.construct(AsyncContext.Snapshot, [], Object);
+assert.sameValue(Object.getPrototypeOf(asyncSnapshot), Object.prototype, 'NewTarget is built-in Object constructor');
+
+var newTarget = function() {}.bind(null);
+Object.defineProperty(newTarget, 'prototype', {
+  get: function() {
+    return Array.prototype;
+  }
+});
+asyncSnapshot = Reflect.construct(AsyncContext.Snapshot, [], newTarget);
+assert.sameValue(Object.getPrototypeOf(asyncSnapshot), Array.prototype, 'NewTarget is BoundFunction with accessor');