tyler.durden/test262
1
0
Fork 0
mirror of https://github.com/tc39/test262.git synced 2025-07-30 01:14:56 +02:00
Code Issues Packages Projects Releases Wiki Activity

Add coverage for IteratorClose throw-completion forwarding in destructuring contexts

Browse Source 
SM doesn't pass these tests.
This commit is contained in:
André Bargull 2025-05-26 19:25:04 +02:00 committed by Ms2ger
parent 9d4ce52163
commit 5920cb8e1b
4 changed files with 224 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

57
test/language/expressions/assignment/destructuring/default-expr-throws-iterator-return-get-throws.js Normal file
View File

@ -0,0 +1,57 @@
// Copyright (C) 2025 André Bargull. All rights reserved.
// This code is governed by the BSD license found in the LICENSE file.
/*---
esid: sec-runtime-semantics-destructuringassignmentevaluation
description: >
Input throw-completion forwarded when IteratorClose returns abruptly because GetV in GetMethod throws.
info: |
13.15.5.2 Runtime Semantics: DestructuringAssignmentEvaluation
ArrayAssignmentPattern : [ AssignmentElementList , Elisionopt AssignmentRestElementopt ]
...
2. Let status be Completion(IteratorDestructuringAssignmentEvaluation of AssignmentElementList with argument iteratorRecord).
3. If status is an abrupt completion, then
a. If iteratorRecord.[[Done]] is false, return ? IteratorClose(iteratorRecord, status).
b. Return ? status.
...
7.4.11 IteratorClose ( iteratorRecord, completion )
...
3. Let innerResult be Completion(GetMethod(iterator, "return")).
...
5. If completion is a throw completion, return ? completion.
...
7.3.10 GetMethod ( V, P )
1. Let func be ? GetV(V, P).
...
---*/
function MyError() {}
function thrower() {
throw new MyError();
}
var returnGetterCalled = 0;
var iterator = {
[Symbol.iterator]() {
return this;
},
next() {
return {done: false};
},
get return() {
returnGetterCalled += 1;
throw "bad";
}
};
assert.throws(MyError, function() {
var a;
([a = thrower()] = iterator);
});
assert.sameValue(returnGetterCalled, 1);

54
test/language/expressions/assignment/destructuring/default-expr-throws-iterator-return-is-not-callable.js Normal file
View File

@ -0,0 +1,54 @@
// Copyright (C) 2025 André Bargull. All rights reserved.
// This code is governed by the BSD license found in the LICENSE file.
/*---
esid: sec-runtime-semantics-destructuringassignmentevaluation
description: >
Input throw-completion forwarded when IteratorClose returns abruptly because GetMethod throws.
info: |
13.15.5.2 Runtime Semantics: DestructuringAssignmentEvaluation
ArrayAssignmentPattern : [ AssignmentElementList , Elisionopt AssignmentRestElementopt ]
...
2. Let status be Completion(IteratorDestructuringAssignmentEvaluation of AssignmentElementList with argument iteratorRecord).
3. If status is an abrupt completion, then
a. If iteratorRecord.[[Done]] is false, return ? IteratorClose(iteratorRecord, status).
b. Return ? status.
...
7.4.11 IteratorClose ( iteratorRecord, completion )
...
3. Let innerResult be Completion(GetMethod(iterator, "return")).
...
5. If completion is a throw completion, return ? completion.
...
7.3.10 GetMethod ( V, P )
1. Let func be ? GetV(V, P).
2. If func is either undefined or null, return undefined.
3. If IsCallable(func) is false, throw a TypeError exception.
...
---*/
function MyError() {}
function thrower() {
throw new MyError();
}
for (var returnMethod of [0, 0n, true, "string", {}, Symbol()]) {
var iterable = {
[Symbol.iterator]() {
return this;
},
next() {
return {done: false};
},
return: returnMethod,
};
assert.throws(MyError, function() {
var a;
([a = thrower()] = iterable);
});
}

58
test/language/expressions/assignment/destructuring/target-assign-throws-iterator-return-get-throws.js Normal file
View File

@ -0,0 +1,58 @@
// Copyright (C) 2025 André Bargull. All rights reserved.
// This code is governed by the BSD license found in the LICENSE file.
/*---
esid: sec-runtime-semantics-destructuringassignmentevaluation
description: >
Input throw-completion forwarded when IteratorClose returns abruptly because GetV in GetMethod throws.
info: |
13.15.5.2 Runtime Semantics: DestructuringAssignmentEvaluation
ArrayAssignmentPattern : [ AssignmentElementList , Elisionopt AssignmentRestElementopt ]
...
2. Let status be Completion(IteratorDestructuringAssignmentEvaluation of AssignmentElementList with argument iteratorRecord).
3. If status is an abrupt completion, then
a. If iteratorRecord.[[Done]] is false, return ? IteratorClose(iteratorRecord, status).
b. Return ? status.
...
7.4.11 IteratorClose ( iteratorRecord, completion )
...
3. Let innerResult be Completion(GetMethod(iterator, "return")).
...
5. If completion is a throw completion, return ? completion.
...
7.3.10 GetMethod ( V, P )
1. Let func be ? GetV(V, P).
...
---*/
function MyError() {}
var target = {
set a(v) {
throw new MyError();
}
};
var returnGetterCalled = 0;
var iterator = {
[Symbol.iterator]() {
return this;
},
next() {
return {done: false};
},
get return() {
returnGetterCalled += 1;
throw "bad";
}
};
assert.throws(MyError, function() {
([target.a] = iterator);
});
assert.sameValue(returnGetterCalled, 1);

55
test/language/expressions/assignment/destructuring/target-assign-throws-iterator-return-is-not-callable.js Normal file
View File

@ -0,0 +1,55 @@
// Copyright (C) 2025 André Bargull. All rights reserved.
// This code is governed by the BSD license found in the LICENSE file.
/*---
esid: sec-runtime-semantics-destructuringassignmentevaluation
description: >
Input throw-completion forwarded when IteratorClose returns abruptly because GetMethod throws.
info: |
13.15.5.2 Runtime Semantics: DestructuringAssignmentEvaluation
ArrayAssignmentPattern : [ AssignmentElementList , Elisionopt AssignmentRestElementopt ]
...
2. Let status be Completion(IteratorDestructuringAssignmentEvaluation of AssignmentElementList with argument iteratorRecord).
3. If status is an abrupt completion, then
a. If iteratorRecord.[[Done]] is false, return ? IteratorClose(iteratorRecord, status).
b. Return ? status.
...
7.4.11 IteratorClose ( iteratorRecord, completion )
...
3. Let innerResult be Completion(GetMethod(iterator, "return")).
...
5. If completion is a throw completion, return ? completion.
...
7.3.10 GetMethod ( V, P )
1. Let func be ? GetV(V, P).
2. If func is either undefined or null, return undefined.
3. If IsCallable(func) is false, throw a TypeError exception.
...
---*/
function MyError() {}
var target = {
set a(v) {
throw new MyError();
}
};
for (var returnMethod of [0, 0n, true, "string", {}, Symbol()]) {
var iterator = {
[Symbol.iterator]() {
return this;
},
next() {
return {done: false};
},
return: returnMethod,
};
assert.throws(MyError, function() {
([target.a] = iterator);
});
}