diff options
Diffstat (limited to 'js/src/tests/test262/language/statements/async-generator/yield-star-return-then-getter-ticks.js')
-rw-r--r-- | js/src/tests/test262/language/statements/async-generator/yield-star-return-then-getter-ticks.js | 145 |
1 files changed, 145 insertions, 0 deletions
diff --git a/js/src/tests/test262/language/statements/async-generator/yield-star-return-then-getter-ticks.js b/js/src/tests/test262/language/statements/async-generator/yield-star-return-then-getter-ticks.js new file mode 100644 index 0000000000..efa97408a2 --- /dev/null +++ b/js/src/tests/test262/language/statements/async-generator/yield-star-return-then-getter-ticks.js @@ -0,0 +1,145 @@ +// |reftest| async +// Copyright (C) 2019 André Bargull. All rights reserved. +// This code is governed by the BSD license found in the LICENSE file. + +/*--- +esid: sec-generator-function-definitions-runtime-semantics-evaluation +description: > + Return resumption value is awaited upon and hence is treated as a thenable. +info: | + 15.5.5 Runtime Semantics: Evaluation + YieldExpression : yield* AssignmentExpression + + ... + 7. Repeat, + a. If received.[[Type]] is normal, then + i. Let innerResult be ? Call(iteratorRecord.[[NextMethod]], iteratorRecord.[[Iterator]], + « received.[[Value]] »). + ii. If generatorKind is async, then set innerResult to ? Await(innerResult). + ... + vi. If generatorKind is async, then set received to AsyncGeneratorYield(? IteratorValue(innerResult)). + ... + ... + c. Else, + i. Assert: received.[[Type]] is return. + ii. Let return be ? GetMethod(iterator, "return"). + iii. If return is undefined, then + 1. If generatorKind is async, then set received.[[Value]] to ? Await(received.[[Value]]). + 2. Return Completion(received). + ... + + 27.6.3.8 AsyncGeneratorYield ( value ) + ... + 12. If queue is not empty, then + ... + 13. Else, + ... + c. Set the code evaluation state of genContext such that when evaluation is resumed with a + Completion resumptionValue the following steps will be performed: + i. Return ? AsyncGeneratorUnwrapYieldResumption(resumptionValue). + + 27.6.3.7 AsyncGeneratorUnwrapYieldResumption ( resumptionValue ) + ... + 2. Let awaited be Completion(Await(resumptionValue.[[Value]])). + ... + + 6.2.3.1 Await + ... + 2. Let promise be ? PromiseResolve(%Promise%, « value »). + ... + + 27.2.4.7.1 PromiseResolve ( C, x ) + ... + 2. Let promiseCapability be ? NewPromiseCapability(C). + 3. Perform ? Call(promiseCapability.[[Resolve]], undefined, « x »). + ... + + 27.2.1.5 NewPromiseCapability ( C ) + ... + 7. Let promise be ? Construct(C, « executor »). + ... + + 27.2.3.1 Promise ( executor ) + ... + 8. Let resolvingFunctions be CreateResolvingFunctions(promise). + ... + + 27.2.1.3 CreateResolvingFunctions ( promise ) + ... + 2. Let stepsResolve be the algorithm steps defined in Promise Resolve Functions (25.6.1.3.2). + 3. Let resolve be CreateBuiltinFunction(stepsResolve, « [[Promise]], [[AlreadyResolved]] »). + ... + + 27.2.1.3.2 Promise Resolve Functions + ... + 9. Let then be Get(resolution, "then"). + ... + +includes: [compareArray.js] +flags: [async] +features: [async-iteration] +---*/ + +var expected = [ + "start", + + // `Await(innerResult)` promise resolved. + "tick 1", + + // "then" of `resumptionValue.[[Value]]` accessed. + "get then", + + // `Await(resumptionValue.[[Value]])` promise resolved. + "tick 2", + + // Get iterator "return" method. + "get return", + + // "then" of `received.[[Value]]` accessed. + "get then", + + // `Await(received.[[Value]])` promise resolved. + "tick 3", +]; + +var actual = []; + +var asyncIter = { + [Symbol.asyncIterator]() { + return this; + }, + next() { + return { + done: false, + }; + }, + get return() { + actual.push("get return"); + } +}; + +async function* f() { + actual.push("start"); + yield* asyncIter; + actual.push("stop - never reached"); +} + +Promise.resolve(0) + .then(() => actual.push("tick 1")) + .then(() => actual.push("tick 2")) + .then(() => actual.push("tick 3")) + .then(() => { + assert.compareArray(actual, expected, "Ticks for return with thenable getter"); +}).then($DONE, $DONE); + +var it = f(); + +// Start generator execution. +it.next(); + +// Stop generator execution. +it.return({ + get then() { + actual.push("get then"); + } +}); |