| // This file was procedurally generated from the following sources: |
| // - src/spread/mult-err-unresolvable.case |
| // - src/spread/error/array.template |
| /*--- |
| description: Spread operator following other arguments when reference is unresolvable (Array initializer) |
| esid: sec-runtime-semantics-arrayaccumulation |
| flags: [generated] |
| info: | |
| SpreadElement : ...AssignmentExpression |
| |
| 1. Let spreadRef be the result of evaluating AssignmentExpression. |
| 2. Let spreadObj be ? GetValue(spreadRef). |
| 3. Let iterator be ? GetIterator(spreadObj). |
| 4. Repeat |
| a. Let next be ? IteratorStep(iterator). |
| b. If next is false, return nextIndex. |
| c. Let nextValue be ? IteratorValue(next). |
| d. Let status be CreateDataProperty(array, ToString(ToUint32(nextIndex)), |
| nextValue). |
| e. Assert: status is true. |
| f. Let nextIndex be nextIndex + 1. |
| |
| 12.3.6.1 Runtime Semantics: ArgumentListEvaluation |
| |
| ArgumentList : ArgumentList , ... AssignmentExpression |
| |
| 1. Let precedingArgs be the result of evaluating ArgumentList. |
| 2. Let spreadRef be the result of evaluating AssignmentExpression. |
| 3. Let iterator be GetIterator(GetValue(spreadRef) ). |
| 4. ReturnIfAbrupt(iterator). |
| |
| 6.2.3.1 GetValue (V) |
| |
| 1. ReturnIfAbrupt(V). |
| 2. If Type(V) is not Reference, return V. |
| 3. Let base be GetBase(V). |
| 4. If IsUnresolvableReference(V), throw a ReferenceError exception. |
| ---*/ |
| |
| assert.throws(ReferenceError, function() { |
| [0, ...unresolvableReference]; |
| }); |