Add tests for AsyncContext (Stage 2)

features.txt

@@ -105,6 +105,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');