mirror of https://github.com/tc39/test262.git
64 lines
1.9 KiB
JavaScript
64 lines
1.9 KiB
JavaScript
// This file was procedurally generated from the following sources:
|
|
// - src/dstr-binding/ary-ptrn-rest-ary-elem.case
|
|
// - src/dstr-binding/default/try.template
|
|
/*---
|
|
description: Rest element containing an array BindingElementList pattern (try statement)
|
|
esid: sec-runtime-semantics-catchclauseevaluation
|
|
es6id: 13.15.7
|
|
features: [destructuring-binding]
|
|
flags: [generated]
|
|
info: |
|
|
Catch : catch ( CatchParameter ) Block
|
|
|
|
[...]
|
|
5. Let status be the result of performing BindingInitialization for
|
|
CatchParameter passing thrownValue and catchEnv as arguments.
|
|
[...]
|
|
|
|
13.3.3.6 Runtime Semantics: IteratorBindingInitialization
|
|
|
|
BindingRestElement : ... BindingPattern
|
|
|
|
1. Let A be ArrayCreate(0).
|
|
[...]
|
|
3. Repeat
|
|
[...]
|
|
b. If iteratorRecord.[[done]] is true, then
|
|
i. Return the result of performing BindingInitialization of
|
|
BindingPattern with A and environment as the arguments.
|
|
[...]
|
|
|
|
13.3.3.6 Runtime Semantics: IteratorBindingInitialization
|
|
|
|
SingleNameBinding : BindingIdentifier Initializeropt
|
|
|
|
[...]
|
|
4. If iteratorRecord.[[done]] is false, then
|
|
a. Let next be IteratorStep(iteratorRecord.[[iterator]]).
|
|
b. If next is an abrupt completion, set iteratorRecord.[[done]] to true.
|
|
c. ReturnIfAbrupt(next).
|
|
d. If next is false, set iteratorRecord.[[done]] to true.
|
|
e. Else,
|
|
[...]
|
|
i. Let v be IteratorValue(next).
|
|
ii. If v is an abrupt completion, set
|
|
iteratorRecord.[[done]] to true.
|
|
iii. ReturnIfAbrupt(v).
|
|
5. If iteratorRecord.[[done]] is true, let v be undefined.
|
|
[...]
|
|
8. Return InitializeReferencedBinding(lhs, v).
|
|
---*/
|
|
|
|
var ranCatch = false;
|
|
|
|
try {
|
|
throw [3, 4, 5];
|
|
} catch ([...[x, y, z]]) {
|
|
assert.sameValue(x, 3);
|
|
assert.sameValue(y, 4);
|
|
assert.sameValue(z, 5);
|
|
ranCatch = true;
|
|
}
|
|
|
|
assert(ranCatch, 'executed `catch` block');
|