Merge branch 'main' into dasaria/await-dictionary-keyed-runtime-tests

Author: danialasaria

WEB_FEATURES.yml

@@ -367,6 +367,14 @@ features:
       - test/annexB/built-ins/String/prototype/substr
       - test/annexB/built-ins/String/prototype/sup
 
+  - name: import-text
+    files:
+      - test/language/expressions/dynamic-import/import-attributes/2nd-param-with-type-text.js
+      - test/language/import/import-attributes/text-*
+      - "!test/language/import/import-attributes/text-*_FIXTURE*"
+    tags:
+      - import-text
+
   - name: intl-display-names
     files:
       - test/intl402/DisplayNames
@@ -518,7 +526,8 @@ features:
 
   - name: json-modules
     files:
-      - test/language/import/import-attributes
+      - test/language/import/import-attributes/json-*
+      - "!test/language/import/import-attributes/json-*_FIXTURE*"
     tags:
       - json-modules
 

features.txt

@@ -43,13 +43,6 @@ decorators
 # https://github.com/tc39/proposal-duplicate-named-capturing-groups
 regexp-duplicate-named-groups
 
-# https://tc39.es/proposal-array-from-async/
-Array.fromAsync
-
-# JSON.parse with source
-# https://github.com/tc39/proposal-json-parse-with-source
-json-parse-with-source
-
 # Explicit Resource Management
 # https://github.com/tc39/proposal-explicit-resource-management
 explicit-resource-management
@@ -68,18 +61,14 @@ Atomics.pause
 # https://tc39.es/proposal-defer-import-eval
 import-defer
 
-# Iterator Sequencing
-# https://github.com/tc39/proposal-iterator-sequencing
-iterator-sequencing
+# Import Text
+# https://github.com/tc39/proposal-import-text
+import-text
 
 # Time Zone Canonicalization
 # https://github.com/tc39/proposal-canonical-tz
 canonical-tz
 
-# Upsert
-# https://github.com/tc39/proposal-upsert
-upsert
-
 # Immutable Array Buffer
 # https://github.com/tc39/proposal-immutable-arraybuffer
 immutable-arraybuffer
@@ -112,6 +101,7 @@ align-detached-buffer-semantics-with-web-reality  # https://github.com/tc39/ecma
 arbitrary-module-namespace-names  # https://github.com/tc39/ecma262/pull/2154
 ArrayBuffer
 array-find-from-last
+Array.fromAsync
 Array.prototype.at
 Array.prototype.flat
 Array.prototype.flatMap
@@ -169,6 +159,7 @@ hashbang
 import-attributes
 import.meta
 iterator-helpers
+iterator-sequencing
 Int8Array
 Int16Array
 Int32Array
@@ -188,6 +179,7 @@ Intl.NumberFormat-unified
 Intl.RelativeTimeFormat
 Intl.Segmenter
 json-modules
+json-parse-with-source
 json-superset
 let
 logical-assignment-operators
@@ -268,6 +260,7 @@ uint8array-base64
 Uint16Array
 Uint32Array
 Uint8ClampedArray
+upsert
 WeakMap
 WeakRef
 WeakSet

src/import-defer/super-property-set-exported.case

@@ -2,21 +2,62 @@
 // This code is governed by the BSD license found in the LICENSE file.
 
 /*---
-esid: sec-module-namespace-exotic-objects-set-p-v-receiver
-desc: _ [[Set]] exported called as super access
+esid: sec-module-namespace-exotic-objects-getownproperty-p
+desc: _ [[GetOwnProperty]] called on super access
 info: |
-  [[Set]] ( P, V, Receiver )
-    1. return false.
+  SuperProperty : super [ Expression ]
+    1. Let _env_ be GetThisEnvironment().
+    1. Let _actualThis_ be ? _env_.GetThisBinding().
+    1. Let _propertyNameReference_ be ? Evaluation of |Expression|.
+    1. Let _propertyNameValue_ be ? GetValue(_propertyNameReference_).
+    1. Let _strict_ be IsStrict(this |SuperProperty|).
+    1. Return MakeSuperPropertyReference(_actualThis_, _propertyNameValue_, _strict_).
 
-template: ignore
+  MakeSuperPropertyReference ( _actualThis_, _propertyKey_, _strict_ )
+    1. Let _env_ be GetThisEnvironment().
+    1. Assert: _env_.HasSuperBinding() is *true*.
+    1. Assert: _env_ is a Function Environment Record.
+    1. Let _baseValue_ be GetSuperBase(_env_).
+    1. Return the Reference Record { [[Base]]: _baseValue_, [[ReferencedName]]: _propertyKey_, [[Strict]]: _strict_, [[ThisValue]]: _actualThis_ }.
+
+  PutValue ( _V_, _W_ )
+    1. If _V_ is not a Reference Record, throw a *ReferenceError* exception.
+    ...
+    1. If IsPropertyReference(_V_) is *true*, then
+      1. Let _baseObj_ be ? ToObject(_V_.[[Base]]).
+      ...
+      1. Let _succeeded_ be ? _baseObj_.[[Set]](_V_.[[ReferencedName]], _W_, GetThisValue(_V_)).
+      1. If _succeeded_ is *false* and _V_.[[Strict]] is *true*, throw a *TypeError* exception.
+      1. Return ~unused~.
+    ...
+
+  OrdinarySetWithOwnDescriptor ( _O_, _P_, _V_, _Receiver_, _ownDesc_ )
+    1. If _ownDesc_ is *undefined*, then
+      1. Let _parent_ be ? _O_.[[GetPrototypeOf]]().
+      1. If _parent_ is not *null*, return ? _parent_.[[Set]](_P_, _V_, _Receiver_).
+      1. Set _ownDesc_ to the PropertyDescriptor { [[Value]]: *undefined*, [[Writable]]: *true*, [[Enumerable]]: *true*, [[Configurable]]: *true* }.
+    1. If IsDataDescriptor(_ownDesc_) is *true*, then
+      1. If _ownDesc_.[[Writable]] is *false*, return *false*.
+      1. If _Receiver_ is not an Object, return *false*.
+      1. Let _existingDescriptor_ be ? _Receiver_.[[GetOwnProperty]](_P_).
+      1. If _existingDescriptor_ is *undefined*, then
+        1. Assert: _Receiver_ does not currently have a property _P_.
+        1. Return ? CreateDataProperty(_Receiver_, _P_, _V_).
+      1. If IsAccessorDescriptor(_existingDescriptor_) is *true*, return *false*.
+      1. If _existingDescriptor_.[[Writable]] is *false*, return *false*.
+      1. Let _valueDesc_ be the PropertyDescriptor { [[Value]]: _V_ }.
+      1. Return ? _Receiver_.[[DefineOwnProperty]](_P_, _valueDesc_).
+    ...
+
+template: trigger-on-possible-export
 ---*/
 
 //- body
 class A { constructor() { return ns; } };
 class B extends A {
   constructor() {
     super();
-    super.exported = 14;
+    super[key] = 14;
   }
 };
 

src/import-defer/super-property-set-not-exported.case

@@ -0,0 +1,23 @@
+// Copyright (C) 2023 Ron Buckton. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-asyncdisposablestack.prototype-@@toStringTag
+description: >
+    `Symbol.toStringTag` property descriptor
+info: |
+    The initial value of the @@toStringTag property is the String value
+    'AsyncDisposableStack'.
+
+    This property has the attributes { [[Writable]]: false, [[Enumerable]]:
+    false, [[Configurable]]: true }.
+includes: [propertyHelper.js]
+features: [explicit-resource-management, Symbol, Symbol.toStringTag]
+---*/
+
+verifyProperty(AsyncDisposableStack.prototype, Symbol.toStringTag, {
+  value: 'AsyncDisposableStack',
+  writable: false,
+  enumerable: false,
+  configurable: true
+});

test/built-ins/AsyncDisposableStack/prototype/Symbol.toStringTag.js

@@ -0,0 +1,41 @@
+// Copyright (C) 2023 Ron Buckton. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-asyncdisposablestack.prototype.adopt
+description: Adds a disposable resource to the stack
+info: |
+  AsyncDisposableStack.prototype.adopt ( value, onDisposeAsync )
+
+  1. Let asyncDisposableStack be the this value.
+  2. Perform ? RequireInternalSlot(asyncDisposableStack, [[AsyncDisposableState]]).
+  3. If asyncDisposableStack.[[AsyncDisposableState]] is disposed, throw a ReferenceError exception.
+  4. If IsCallable(onDisposeAsync) is false, throw a TypeError exception.
+  5. Let closure be a new Abstract Closure with no parameters that captures value and onDisposeAsync and performs the following steps when called:
+    a. Perform ? Call(onDisposeAsync, undefined, « value »).
+  6. Let F be CreateBuiltinFunction(closure, 0, "", « »).
+  7. Perform ? AddDisposableResource(asyncDisposableStack.[[DisposeCapability]], undefined, async-dispose, F).
+  ...
+
+  AddDisposableResource ( disposeCapability, V, hint [, method ] )
+
+  1. If method is not present then,
+    ...
+  2. Else,
+    a. Assert: V is undefined.
+    b. Let resource be ? CreateDisposableResource(undefined, hint, method).
+  3. Append resource to disposeCapability.[[DisposableResourceStack]].
+  4. Return unused.
+
+flags: [async]
+includes: [asyncHelpers.js]
+features: [explicit-resource-management]
+---*/
+
+asyncTest(async function () {
+  var stack = new AsyncDisposableStack();
+  var resource = { disposed: false };
+  stack.adopt(resource, async r => { r.disposed = true });
+  await stack.disposeAsync();
+  assert.sameValue(resource.disposed, true, 'Expected resource to have been disposed');
+});

test/built-ins/AsyncDisposableStack/prototype/adopt/adds-value-onDisposeAsync.js

@@ -0,0 +1,33 @@
+// Copyright (C) 2023 Ron Buckton. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-asyncdisposablestack.prototype.adopt
+description: Allows any 'value'
+info: |
+  AsyncDisposableStack.prototype.adopt ( value, onDisposeAsync )
+
+  1. Let asyncDisposableStack be the this value.
+  2. Perform ? RequireInternalSlot(asyncDisposableStack, [[AsyncDisposableState]]).
+  3. If asyncDisposableStack.[[AsyncDisposableState]] is disposed, throw a ReferenceError exception.
+  4. If IsCallable(onDisposeAsync) is false, throw a TypeError exception.
+  5. Let closure be a new Abstract Closure with no parameters that captures value and onDisposeAsync and performs the following steps when called:
+    a. Perform ? Call(onDisposeAsync, undefined, « value »).
+  6. Let F be CreateBuiltinFunction(closure, 0, "", « »).
+  7. Perform ? AddDisposableResource(asyncDisposableStack.[[DisposeCapability]], undefined, async-dispose, F).
+  ...
+
+features: [explicit-resource-management]
+---*/
+
+var stack = new AsyncDisposableStack();
+stack.adopt(null, async _ => {});
+stack.adopt(undefined, async _ => {});
+stack.adopt({}, async _ => {});
+stack.adopt({ async [Symbol.asyncDispose]() {} }, async _ => {});
+stack.adopt(() => {}, async _ => {});
+stack.adopt(true, async _ => {});
+stack.adopt(false, async _ => {});
+stack.adopt(1, async _ => {});
+stack.adopt('object', async _ => {});
+stack.adopt(Symbol(), async _ => {});

test/built-ins/AsyncDisposableStack/prototype/adopt/allows-any-value.js

@@ -0,0 +1,50 @@
+// Copyright (C) 2023 Ron Buckton. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-asyncdisposablestack.prototype.adopt
+description: Adds a disposable resource to the stack
+info: |
+  AsyncDisposableStack.prototype.adopt ( value, onDisposeAsync )
+
+  1. Let asyncDisposableStack be the this value.
+  2. Perform ? RequireInternalSlot(asyncDisposableStack, [[AsyncDisposableState]]).
+  3. If asyncDisposableStack.[[AsyncDisposableState]] is disposed, throw a ReferenceError exception.
+  4. If IsCallable(onDisposeAsync) is false, throw a TypeError exception.
+  5. Let closure be a new Abstract Closure with no parameters that captures value and onDisposeAsync and performs the following steps when called:
+    a. Perform ? Call(onDisposeAsync, undefined, « value »).
+  6. Let F be CreateBuiltinFunction(closure, 0, "", « »).
+  7. Perform ? AddDisposableResource(asyncDisposableStack.[[DisposeCapability]], undefined, async-dispose, F).
+  ...
+
+  AddDisposableResource ( disposeCapability, V, hint [, method ] )
+
+  1. If method is not present then,
+    ...
+  2. Else,
+    a. Assert: V is undefined.
+    b. Let resource be ? CreateDisposableResource(undefined, hint, method).
+  3. Append resource to disposeCapability.[[DisposableResourceStack]].
+  4. Return unused.
+
+flags: [async]
+includes: [asyncHelpers.js]
+features: [explicit-resource-management]
+---*/
+
+asyncTest(async function () {
+  var stack = new AsyncDisposableStack();
+  var disposed = [];
+  var resource1 = {};
+  async function dispose1(res) { disposed.push([res, dispose1]); }
+  var resource2 = {};
+  function dispose2(res) { disposed.push([res, dispose2]); }
+  stack.adopt(resource1, dispose1);
+  stack.adopt(resource2, dispose2);
+  await stack.disposeAsync();
+  assert.sameValue(2, disposed.length);
+  assert.sameValue(disposed[0][0], resource2, 'Expected resource2 to be the first disposed resource');
+  assert.sameValue(disposed[0][1], dispose2, 'Expected dispose2 to be the first onDispose invoked');
+  assert.sameValue(disposed[1][0], resource1, 'Expected resource1 to be the second disposed resource');
+  assert.sameValue(disposed[1][1], dispose1, 'Expected dispose1 to be the second onDispose invoked');
+});

test/built-ins/AsyncDisposableStack/prototype/adopt/puts-value-onDisposeAsync-on-top-of-stack.js

@@ -0,0 +1,20 @@
+// Copyright (C) 2023 Ron Buckton. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-asyncdisposablestack.prototype.adopt
+description: Returns the argument provided.
+info: |
+  AsyncDisposableStack.prototype.adopt ( value, onDisposeAsync )
+
+  ...
+  8. Return value.
+
+features: [explicit-resource-management]
+---*/
+
+var stack = new AsyncDisposableStack();
+var resource = {};
+assert.sameValue(stack.adopt(resource, async _ => {}), resource);
+assert.sameValue(stack.adopt(null, async _ => {}), null);
+assert.sameValue(stack.adopt(undefined, async _ => {}), undefined);

test/built-ins/AsyncDisposableStack/prototype/adopt/returns-value.js

@@ -0,0 +1,23 @@
+// Copyright (C) 2026 Ron Buckton. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-asyncdisposablestack.prototype.adopt
+description: Throws a ReferenceError if this is disposed.
+info: |
+  AsyncDisposableStack.prototype.adopt ( value, onDisposeAsync )
+
+  1. Let asyncDisposableStack be the this value.
+  2. Perform ? RequireInternalSlot(asyncDisposableStack, [[AsyncDisposableState]]).
+  3. If asyncDisposableStack.[[AsyncDisposableState]] is disposed, throw a ReferenceError exception.
+  ...
+
+features: [explicit-resource-management]
+---*/
+
+var stack = new AsyncDisposableStack();
+stack.disposeAsync();
+
+assert.throws(ReferenceError, function() {
+  stack.adopt(null, async _ => {});
+});