Update algorithm step definitions

Signed-off-by: Rick Waldron <waldron.rick@gmail.com>

src/dstr-binding-async-iteration/ary-init-iter-get-err.case

@@ -8,8 +8,7 @@ info: |
 
     BindingPattern : ArrayBindingPattern
 
-    1. Let iterator be GetIterator(value).
+    1. Let iterator be ? GetIterator(value).
-    2. ReturnIfAbrupt(iterator).
 features: [Symbol.iterator]
 ---*/
 

src/dstr-binding-async-iteration/ary-name-iter-val.case

@@ -6,23 +6,22 @@ template: default
 info: |
     13.3.3.6 Runtime Semantics: IteratorBindingInitialization
 
-    SingleNameBinding : BindingIdentifier Initializeropt
+    SingleNameBinding : BindingIdentifier Initializer_opt
 
     [...]
-    4. If iteratorRecord.[[done]] is false, then
+    3. 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.
+    4. If iteratorRecord.[[done]] is true, let v be undefined.
     [...]
-    8. Return InitializeReferencedBinding(lhs, v).
+    7. Return InitializeReferencedBinding(lhs, v).
 ---*/
 
 //- elems

src/dstr-binding-async-iteration/ary-ptrn-elem-ary-elem-init.case

@@ -6,7 +6,7 @@ template: default
 info: |
     13.3.3.6 Runtime Semantics: IteratorBindingInitialization
 
-    BindingElement : BindingPatternInitializer opt
+    BindingElement : BindingPattern Initializer_opt
 
     [...]
     2. If iteratorRecord.[[done]] is true, let v be undefined.

src/dstr-binding-async-iteration/ary-ptrn-elem-ary-elem-iter.case

@@ -6,7 +6,7 @@ template: default
 info: |
     13.3.3.6 Runtime Semantics: IteratorBindingInitialization
 
-    BindingElement : BindingPatternInitializer opt
+    BindingElement : BindingPattern Initializer_opt
 
     1. If iteratorRecord.[[done]] is false, then
        a. Let next be IteratorStep(iteratorRecord.[[iterator]]).

src/dstr-binding-async-iteration/ary-ptrn-elem-ary-elision-init.case

@@ -6,7 +6,7 @@ template: default
 info: |
     13.3.3.6 Runtime Semantics: IteratorBindingInitialization
 
-    BindingElement : BindingPatternInitializer opt
+    BindingElement : BindingPattern Initializer_opt
 
     [...]
     2. If iteratorRecord.[[done]] is true, let v be undefined.

src/dstr-binding-async-iteration/ary-ptrn-elem-ary-elision-iter.case

@@ -6,7 +6,7 @@ template: default
 info: |
     13.3.3.6 Runtime Semantics: IteratorBindingInitialization
 
-    BindingElement : BindingPatternInitializer opt
+    BindingElement : BindingPattern Initializer_opt
 
     1. If iteratorRecord.[[done]] is false, then
        a. Let next be IteratorStep(iteratorRecord.[[iterator]]).

src/dstr-binding-async-iteration/ary-ptrn-elem-ary-empty-init.case

@@ -6,7 +6,7 @@ template: default
 info: |
     13.3.3.6 Runtime Semantics: IteratorBindingInitialization
 
-    BindingElement : BindingPatternInitializer opt
+    BindingElement : BindingPattern Initializer_opt
 
     [...]
     2. If iteratorRecord.[[done]] is true, let v be undefined.

src/dstr-binding-async-iteration/ary-ptrn-elem-ary-empty-iter.case

@@ -6,7 +6,7 @@ template: default
 info: |
     13.3.3.6 Runtime Semantics: IteratorBindingInitialization
 
-    BindingElement : BindingPatternInitializer opt
+    BindingElement : BindingPattern Initializer_opt
 
     1. If iteratorRecord.[[done]] is false, then
        a. Let next be IteratorStep(iteratorRecord.[[iterator]]).

src/dstr-binding-async-iteration/ary-ptrn-elem-ary-rest-init.case

@@ -6,7 +6,7 @@ template: default
 info: |
     13.3.3.6 Runtime Semantics: IteratorBindingInitialization
 
-    BindingElement : BindingPatternInitializer opt
+    BindingElement : BindingPattern Initializer_opt
 
     [...]
     2. If iteratorRecord.[[done]] is true, let v be undefined.

src/dstr-binding-async-iteration/ary-ptrn-elem-ary-rest-iter.case

@@ -6,7 +6,7 @@ template: default
 info: |
     13.3.3.6 Runtime Semantics: IteratorBindingInitialization
 
-    BindingElement : BindingPatternInitializer opt
+    BindingElement : BindingPattern Initializer_opt
 
     1. If iteratorRecord.[[done]] is false, then
        a. Let next be IteratorStep(iteratorRecord.[[iterator]]).

src/dstr-binding-async-iteration/ary-ptrn-elem-ary-val-null.case

@@ -6,7 +6,7 @@ template: error
 info: |
     13.3.3.6 Runtime Semantics: IteratorBindingInitialization
 
-    BindingElement : BindingPattern Initializeropt
+    BindingElement : BindingPattern Initializer_opt
 
     1. If iteratorRecord.[[done]] is false, then
        [...]
@@ -20,8 +20,7 @@ info: |
 
     BindingPattern : ArrayBindingPattern
 
-    1. Let iterator be GetIterator(value).
+    1. Let iterator be ? GetIterator(value).
-    2. ReturnIfAbrupt(iterator).
 ---*/
 
 //- elems

src/dstr-binding-async-iteration/ary-ptrn-elem-id-init-exhausted.case

@@ -6,16 +6,16 @@ template: default
 info: |
     13.3.3.6 Runtime Semantics: IteratorBindingInitialization
 
-    SingleNameBinding : BindingIdentifier Initializeropt
+    SingleNameBinding : BindingIdentifier Initializer_opt
 
     [...]
-    5. If iteratorRecord.[[done]] is true, let v be undefined.
+    4. If iteratorRecord.[[done]] is true, let v be undefined.
-    6. If Initializer is present and v is undefined, then
+    5. If Initializer is present and v is undefined, then
        a. Let defaultValue be the result of evaluating Initializer.
        b. Let v be GetValue(defaultValue).
        [...]
-    7. If environment is undefined, return PutValue(lhs, v).
+    6. If environment is undefined, return PutValue(lhs, v).
-    8. Return InitializeReferencedBinding(lhs, v).
+    7. Return InitializeReferencedBinding(lhs, v).
 ---*/
 
 //- elems

src/dstr-binding-async-iteration/ary-ptrn-elem-id-init-fn-name-arrow.case

@@ -6,17 +6,16 @@ template: default
 info: |
     13.3.3.6 Runtime Semantics: IteratorBindingInitialization
 
-    SingleNameBinding : BindingIdentifier Initializeropt
+    SingleNameBinding : BindingIdentifier Initializer_opt
 
     [...]
-    6. If Initializer is present and v is undefined, then
+    5. If Initializer is present and v is undefined, then
        a. Let defaultValue be the result of evaluating Initializer.
-       b. Let v be GetValue(defaultValue).
+       b. Set v to ? GetValue(defaultValue).
-       c. ReturnIfAbrupt(v).
+       c. If IsAnonymousFunctionDefinition(Initializer) is true, then
-       d. If IsAnonymousFunctionDefinition(Initializer) is true, then
           [...]
-    7. If environment is undefined, return PutValue(lhs, v).
+    6. If environment is undefined, return PutValue(lhs, v).
-    8. Return InitializeReferencedBinding(lhs, v).
+    7. Return InitializeReferencedBinding(lhs, v).
 ---*/
 
 //- elems

src/dstr-binding-async-iteration/ary-ptrn-elem-id-init-fn-name-class.case

@@ -6,17 +6,16 @@ template: default
 info: |
     13.3.3.6 Runtime Semantics: IteratorBindingInitialization
 
-    SingleNameBinding : BindingIdentifier Initializeropt
+    SingleNameBinding : BindingIdentifier Initializer_opt
 
     [...]
-    6. If Initializer is present and v is undefined, then
+    5. If Initializer is present and v is undefined, then
        a. Let defaultValue be the result of evaluating Initializer.
-       b. Let v be GetValue(defaultValue).
+       b. Set v to ? GetValue(defaultValue).
-       c. ReturnIfAbrupt(v).
+       c. If IsAnonymousFunctionDefinition(Initializer) is true, then
-       d. If IsAnonymousFunctionDefinition(Initializer) is true, then
           [...]
-    7. If environment is undefined, return PutValue(lhs, v).
+    6. If environment is undefined, return PutValue(lhs, v).
-    8. Return InitializeReferencedBinding(lhs, v).
+    7. Return InitializeReferencedBinding(lhs, v).
 ---*/
 
 //- elems

src/dstr-binding-async-iteration/ary-ptrn-elem-id-init-fn-name-cover.case

@@ -6,17 +6,16 @@ template: default
 info: |
     13.3.3.6 Runtime Semantics: IteratorBindingInitialization
 
-    SingleNameBinding : BindingIdentifier Initializeropt
+    SingleNameBinding : BindingIdentifier Initializer_opt
 
     [...]
-    6. If Initializer is present and v is undefined, then
+    5. If Initializer is present and v is undefined, then
        a. Let defaultValue be the result of evaluating Initializer.
-       b. Let v be GetValue(defaultValue).
+       b. Set v to ? GetValue(defaultValue).
-       c. ReturnIfAbrupt(v).
+       c. If IsAnonymousFunctionDefinition(Initializer) is true, then
-       d. If IsAnonymousFunctionDefinition(Initializer) is true, then
           [...]
-    7. If environment is undefined, return PutValue(lhs, v).
+    6. If environment is undefined, return PutValue(lhs, v).
-    8. Return InitializeReferencedBinding(lhs, v).
+    7. Return InitializeReferencedBinding(lhs, v).
 ---*/
 
 //- elems

src/dstr-binding-async-iteration/ary-ptrn-elem-id-init-fn-name-fn.case

@@ -6,17 +6,16 @@ template: default
 info: |
     13.3.3.6 Runtime Semantics: IteratorBindingInitialization
 
-    SingleNameBinding : BindingIdentifier Initializeropt
+    SingleNameBinding : BindingIdentifier Initializer_opt
 
     [...]
-    6. If Initializer is present and v is undefined, then
+    5. If Initializer is present and v is undefined, then
        a. Let defaultValue be the result of evaluating Initializer.
-       b. Let v be GetValue(defaultValue).
+       b. Set v to ? GetValue(defaultValue).
-       c. ReturnIfAbrupt(v).
+       c. If IsAnonymousFunctionDefinition(Initializer) is true, then
-       d. If IsAnonymousFunctionDefinition(Initializer) is true, then
           [...]
-    7. If environment is undefined, return PutValue(lhs, v).
+    6. If environment is undefined, return PutValue(lhs, v).
-    8. Return InitializeReferencedBinding(lhs, v).
+    7. Return InitializeReferencedBinding(lhs, v).
 ---*/
 
 //- elems

src/dstr-binding-async-iteration/ary-ptrn-elem-id-init-fn-name-gen.case

@@ -6,17 +6,16 @@ template: default
 info: |
     13.3.3.6 Runtime Semantics: IteratorBindingInitialization
 
-    SingleNameBinding : BindingIdentifier Initializeropt
+    SingleNameBinding : BindingIdentifier Initializer_opt
 
     [...]
-    6. If Initializer is present and v is undefined, then
+    5. If Initializer is present and v is undefined, then
        a. Let defaultValue be the result of evaluating Initializer.
-       b. Let v be GetValue(defaultValue).
+       b. Set v to ? GetValue(defaultValue).
-       c. ReturnIfAbrupt(v).
+       c. If IsAnonymousFunctionDefinition(Initializer) is true, then
-       d. If IsAnonymousFunctionDefinition(Initializer) is true, then
           [...]
-    7. If environment is undefined, return PutValue(lhs, v).
+    6. If environment is undefined, return PutValue(lhs, v).
-    8. Return InitializeReferencedBinding(lhs, v).
+    7. Return InitializeReferencedBinding(lhs, v).
 ---*/
 
 //- elems

src/dstr-binding-async-iteration/ary-ptrn-elem-id-init-hole.case

@@ -6,15 +6,15 @@ template: default
 info: >
     13.3.3.6 Runtime Semantics: IteratorBindingInitialization
 
-    SingleNameBinding : BindingIdentifier Initializeropt
+    SingleNameBinding : BindingIdentifier Initializer_opt
 
     [...]
-    6. If Initializer is present and v is undefined, then
+    5. If Initializer is present and v is undefined, then
        a. Let defaultValue be the result of evaluating Initializer.
        b. Let v be GetValue(defaultValue).
        [...]
-    7. If environment is undefined, return PutValue(lhs, v).
+    6. If environment is undefined, return PutValue(lhs, v).
-    8. Return InitializeReferencedBinding(lhs, v).
+    7. Return InitializeReferencedBinding(lhs, v).
 ---*/
 
 //- elems

src/dstr-binding-async-iteration/ary-ptrn-elem-id-init-skipped.case

@@ -6,13 +6,13 @@ template: default
 info: |
     13.3.3.6 Runtime Semantics: IteratorBindingInitialization
 
-    SingleNameBinding : BindingIdentifier Initializeropt
+    SingleNameBinding : BindingIdentifier Initializer_opt
 
     [...]
     6. If Initializer is present and v is undefined, then
        [...]
     7. If environment is undefined, return PutValue(lhs, v).
-    8. Return InitializeReferencedBinding(lhs, v).
+    7. Return InitializeReferencedBinding(lhs, v).
 ---*/
 
 //- setup

src/dstr-binding-async-iteration/ary-ptrn-elem-id-init-throws.case

@@ -6,13 +6,12 @@ template: error
 info: |
     13.3.3.6 Runtime Semantics: IteratorBindingInitialization
 
-    SingleNameBinding : BindingIdentifier Initializeropt
+    SingleNameBinding : BindingIdentifier Initializer_opt
 
     [...]
-    6. If Initializer is present and v is undefined, then
+    5. If Initializer is present and v is undefined, then
        a. Let defaultValue be the result of evaluating Initializer.
-       b. Let v be GetValue(defaultValue).
+       b. Set v to ? GetValue(defaultValue).
-       c. ReturnIfAbrupt(v).
 ---*/
 
 //- elems

src/dstr-binding-async-iteration/ary-ptrn-elem-id-init-undef.case

@@ -6,15 +6,15 @@ template: default
 info: |
     13.3.3.6 Runtime Semantics: IteratorBindingInitialization
 
-    SingleNameBinding : BindingIdentifier Initializeropt
+    SingleNameBinding : BindingIdentifier Initializer_opt
 
     [...]
-    6. If Initializer is present and v is undefined, then
+    5. If Initializer is present and v is undefined, then
        a. Let defaultValue be the result of evaluating Initializer.
        b. Let v be GetValue(defaultValue).
        [...]
-    7. If environment is undefined, return PutValue(lhs, v).
+    6. If environment is undefined, return PutValue(lhs, v).
-    8. Return InitializeReferencedBinding(lhs, v).
+    7. Return InitializeReferencedBinding(lhs, v).
 ---*/
 
 //- elems

src/dstr-binding-async-iteration/ary-ptrn-elem-id-init-unresolvable.case

@@ -6,15 +6,14 @@ template: error
 info: |
     13.3.3.6 Runtime Semantics: IteratorBindingInitialization
 
-    SingleNameBinding : BindingIdentifier Initializeropt
+    SingleNameBinding : BindingIdentifier Initializer_opt
 
     [...]
-    6. If Initializer is present and v is undefined, then
+    5. If Initializer is present and v is undefined, then
        a. Let defaultValue be the result of evaluating Initializer.
-       b. Let v be GetValue(defaultValue).
+       b. Set v to ? GetValue(defaultValue).
-       c. ReturnIfAbrupt(v).
 
-    6.2.3.1 GetValue (V)
+    6.2.4.1 GetValue ( V )
 
     1. ReturnIfAbrupt(V).
     2. If Type(V) is not Reference, return V.

src/dstr-binding-async-iteration/ary-ptrn-elem-id-iter-complete.case

@@ -6,19 +6,19 @@ template: default
 info: |
     13.3.3.6 Runtime Semantics: IteratorBindingInitialization
 
-    SingleNameBinding : BindingIdentifier Initializeropt
+    SingleNameBinding : BindingIdentifier Initializer_opt
 
     [...]
-    4. If iteratorRecord.[[done]] is false, then
+    3. 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,
           [...]
-    5. If iteratorRecord.[[done]] is true, let v be undefined.
+    4. If iteratorRecord.[[done]] is true, let v be undefined.
     [...]
-    8. Return InitializeReferencedBinding(lhs, v).
+    7. Return InitializeReferencedBinding(lhs, v).
 ---*/
 
 //- elems

src/dstr-binding-async-iteration/ary-ptrn-elem-id-iter-done.case

@@ -6,14 +6,14 @@ template: default
 info: |
     13.3.3.6 Runtime Semantics: IteratorBindingInitialization
 
-    SingleNameBinding : BindingIdentifier Initializeropt
+    SingleNameBinding : BindingIdentifier Initializer_opt
 
     [...]
-    4. If iteratorRecord.[[done]] is false, then
+    3. If iteratorRecord.[[done]] is false, then
        [...]
-    5. If iteratorRecord.[[done]] is true, let v be undefined.
+    4. If iteratorRecord.[[done]] is true, let v be undefined.
     [...]
-    8. Return InitializeReferencedBinding(lhs, v).
+    7. Return InitializeReferencedBinding(lhs, v).
 ---*/
 
 //- elems

src/dstr-binding-async-iteration/ary-ptrn-elem-id-iter-step-err.case

@@ -6,10 +6,10 @@ template: error
 info: |
     13.3.3.6 Runtime Semantics: IteratorBindingInitialization
 
-    SingleNameBinding : BindingIdentifier Initializeropt
+    SingleNameBinding : BindingIdentifier Initializer_opt
 
     [...]
-    4. If iteratorRecord.[[done]] is false, then
+    3. 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).

src/dstr-binding-async-iteration/ary-ptrn-elem-id-iter-val-err.case

@@ -6,10 +6,10 @@ template: error
 info: |
     13.3.3.6 Runtime Semantics: IteratorBindingInitialization
 
-    SingleNameBinding : BindingIdentifier Initializeropt
+    SingleNameBinding : BindingIdentifier Initializer_opt
 
     [...]
-    4. If iteratorRecord.[[done]] is false, then
+    3. 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).

src/dstr-binding-async-iteration/ary-ptrn-elem-id-iter-val.case

@@ -6,23 +6,22 @@ template: default
 info: |
     13.3.3.6 Runtime Semantics: IteratorBindingInitialization
 
-    SingleNameBinding : BindingIdentifier Initializeropt
+    SingleNameBinding : BindingIdentifier Initializer_opt
 
     [...]
-    4. If iteratorRecord.[[done]] is false, then
+    3. 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.
+    4. If iteratorRecord.[[done]] is true, let v be undefined.
     [...]
-    8. Return InitializeReferencedBinding(lhs, v).
+    7. Return InitializeReferencedBinding(lhs, v).
 ---*/
 
 //- elems

src/dstr-binding-async-iteration/ary-ptrn-elem-obj-id-init.case

@@ -6,7 +6,7 @@ template: default
 info: |
     13.3.3.6 Runtime Semantics: IteratorBindingInitialization
 
-    BindingElement : BindingPatternInitializer opt
+    BindingElement : BindingPattern Initializer_opt
 
     [...]
     2. If iteratorRecord.[[done]] is true, let v be undefined.

src/dstr-binding-async-iteration/ary-ptrn-elem-obj-id.case

@@ -6,7 +6,7 @@ template: default
 info: |
     13.3.3.6 Runtime Semantics: IteratorBindingInitialization
 
-    BindingElement : BindingPatternInitializer opt
+    BindingElement : BindingPattern Initializer_opt
 
     [...]
     2. If iteratorRecord.[[done]] is true, let v be undefined.

src/dstr-binding-async-iteration/ary-ptrn-elem-obj-prop-id-init.case

@@ -6,7 +6,7 @@ template: default
 info: |
     13.3.3.6 Runtime Semantics: IteratorBindingInitialization
 
-    BindingElement : BindingPatternInitializer opt
+    BindingElement : BindingPattern Initializer_opt
 
     [...]
     2. If iteratorRecord.[[done]] is true, let v be undefined.

src/dstr-binding-async-iteration/ary-ptrn-elem-obj-prop-id.case

@@ -6,7 +6,7 @@ template: default
 info: |
     13.3.3.6 Runtime Semantics: IteratorBindingInitialization
 
-    BindingElement : BindingPatternInitializer opt
+    BindingElement : BindingPattern Initializer_opt
 
     [...]
     2. If iteratorRecord.[[done]] is true, let v be undefined.

src/dstr-binding-async-iteration/ary-ptrn-elem-obj-val-null.case

@@ -6,7 +6,7 @@ template: error
 info: |
     13.3.3.6 Runtime Semantics: IteratorBindingInitialization
 
-    BindingElement : BindingPattern Initializeropt
+    BindingElement : BindingPattern Initializer_opt
 
     1. If iteratorRecord.[[done]] is false, then
        [...]

src/dstr-binding-async-iteration/ary-ptrn-elem-obj-val-undef.case

@@ -6,7 +6,7 @@ template: error
 info: |
     13.3.3.6 Runtime Semantics: IteratorBindingInitialization
 
-    BindingElement : BindingPattern Initializeropt
+    BindingElement : BindingPattern Initializer_opt
 
     1. If iteratorRecord.[[done]] is false, then
        [...]

src/dstr-binding-async-iteration/ary-ptrn-rest-ary-elem.case

@@ -19,23 +19,22 @@ info: |
 
     13.3.3.6 Runtime Semantics: IteratorBindingInitialization
 
-    SingleNameBinding : BindingIdentifier Initializeropt
+    SingleNameBinding : BindingIdentifier Initializer_opt
 
     [...]
-    4. If iteratorRecord.[[done]] is false, then
+    3. 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.
+    4. If iteratorRecord.[[done]] is true, let v be undefined.
     [...]
-    8. Return InitializeReferencedBinding(lhs, v).
+    7. Return InitializeReferencedBinding(lhs, v).
 ---*/
 
 //- elems

src/dstr-binding-async-iteration/obj-ptrn-id-get-value-err.case

@@ -6,7 +6,7 @@ desc: Error thrown when accessing the corresponding property of the value object
 info: |
     13.3.3.7 Runtime Semantics: KeyedBindingInitialization
 
-    SingleNameBinding : BindingIdentifier Initializeropt
+    SingleNameBinding : BindingIdentifier Initializer_opt
 
     [...]
     4. Let v be GetV(value, propertyName).

src/dstr-binding-async-iteration/obj-ptrn-id-init-fn-name-arrow.case

@@ -6,7 +6,7 @@ template: default
 info: |
     13.3.3.7 Runtime Semantics: KeyedBindingInitialization
 
-    SingleNameBinding : BindingIdentifier Initializeropt
+    SingleNameBinding : BindingIdentifier Initializer_opt
 
     [...]
     6. If Initializer is present and v is undefined, then

src/dstr-binding-async-iteration/obj-ptrn-id-init-fn-name-class.case

@@ -6,7 +6,7 @@ template: default
 info: |
     13.3.3.7 Runtime Semantics: KeyedBindingInitialization
 
-    SingleNameBinding : BindingIdentifier Initializeropt
+    SingleNameBinding : BindingIdentifier Initializer_opt
 
     [...]
     6. If Initializer is present and v is undefined, then

src/dstr-binding-async-iteration/obj-ptrn-id-init-fn-name-cover.case

@@ -6,7 +6,7 @@ template: default
 info: |
     13.3.3.7 Runtime Semantics: KeyedBindingInitialization
 
-    SingleNameBinding : BindingIdentifier Initializeropt
+    SingleNameBinding : BindingIdentifier Initializer_opt
 
     [...]
     6. If Initializer is present and v is undefined, then

src/dstr-binding-async-iteration/obj-ptrn-id-init-fn-name-fn.case

@@ -6,7 +6,7 @@ template: default
 info: |
     13.3.3.7 Runtime Semantics: KeyedBindingInitialization
 
-    SingleNameBinding : BindingIdentifier Initializeropt
+    SingleNameBinding : BindingIdentifier Initializer_opt
 
     [...]
     6. If Initializer is present and v is undefined, then

src/dstr-binding-async-iteration/obj-ptrn-id-init-fn-name-gen.case

@@ -6,7 +6,7 @@ template: default
 info: |
     13.3.3.7 Runtime Semantics: KeyedBindingInitialization
 
-    SingleNameBinding : BindingIdentifier Initializeropt
+    SingleNameBinding : BindingIdentifier Initializer_opt
 
     [...]
     6. If Initializer is present and v is undefined, then

src/dstr-binding-async-iteration/obj-ptrn-id-init-skipped.case

@@ -6,7 +6,7 @@ template: default
 info: |
     13.3.3.7 Runtime Semantics: KeyedBindingInitialization
 
-    SingleNameBinding : BindingIdentifier Initializeropt
+    SingleNameBinding : BindingIdentifier Initializer_opt
 
     [...]
     6. If Initializer is present and v is undefined, then

src/dstr-binding-async-iteration/obj-ptrn-id-init-throws.case

@@ -6,7 +6,7 @@ desc: Error thrown when evaluating the initializer
 info: |
     13.3.3.7 Runtime Semantics: KeyedBindingInitialization
 
-    SingleNameBinding : BindingIdentifier Initializeropt
+    SingleNameBinding : BindingIdentifier Initializer_opt
 
     [...]
     6. If Initializer is present and v is undefined, then

src/dstr-binding-async-iteration/obj-ptrn-id-init-unresolvable.case

@@ -6,15 +6,14 @@ template: error
 info: |
     13.3.3.7 Runtime Semantics: KeyedBindingInitialization
 
-    SingleNameBinding : BindingIdentifier Initializeropt
+    SingleNameBinding : BindingIdentifier Initializer_opt
 
     [...]
-    6. If Initializer is present and v is undefined, then
+    5. If Initializer is present and v is undefined, then
        a. Let defaultValue be the result of evaluating Initializer.
-       b. Let v be GetValue(defaultValue).
+       b. Set v to ? GetValue(defaultValue).
-       c. ReturnIfAbrupt(v).
 
-    6.2.3.1 GetValue (V)
+    6.2.4.1 GetValue ( V )
 
     1. ReturnIfAbrupt(V).
     2. If Type(V) is not Reference, return V.

src/dstr-binding-async-iteration/obj-ptrn-prop-ary-init.case

@@ -7,10 +7,9 @@ info: |
     13.3.3.7 Runtime Semantics: KeyedBindingInitialization
 
     [...]
-    3. If Initializer is present and v is undefined, then
+    4. If Initializer is present and v is undefined, then
        a. Let defaultValue be the result of evaluating Initializer.
-       b. Let v be GetValue(defaultValue).
+       b. Set v to ? GetValue(defaultValue).
-       c. ReturnIfAbrupt(v).
     4. Return the result of performing BindingInitialization for BindingPattern
        passing v and environment as arguments.
 ---*/

src/dstr-binding-async-iteration/obj-ptrn-prop-id-get-value-err.case

@@ -6,7 +6,7 @@ template: error
 info: |
     13.3.3.7 Runtime Semantics: KeyedBindingInitialization
 
-    BindingElement : BindingPattern Initializeropt
+    BindingElement : BindingPattern Initializer_opt
 
     1. Let v be GetV(value, propertyName).
     2. ReturnIfAbrupt(v).

src/dstr-binding-async-iteration/obj-ptrn-prop-id-init-skipped.case

@@ -6,7 +6,7 @@ template: default
 info: |
     13.3.3.7 Runtime Semantics: KeyedBindingInitialization
 
-    BindingElement : BindingPattern Initializeropt
+    BindingElement : BindingPattern Initializer_opt
 
     [...]
     3. If Initializer is present and v is undefined, then

src/dstr-binding-async-iteration/obj-ptrn-prop-id-init-throws.case

@@ -6,13 +6,12 @@ desc: Error thrown when evaluating the initializer
 info: |
     13.3.3.7 Runtime Semantics: KeyedBindingInitialization
 
-    BindingElement : BindingPattern Initializeropt
+    BindingElement : BindingPattern Initializer_opt
 
     [...]
-    3. If Initializer is present and v is undefined, then
+    4. If Initializer is present and v is undefined, then
        a. Let defaultValue be the result of evaluating Initializer.
-       b. Let v be GetValue(defaultValue).
+       b. Set v to ? GetValue(defaultValue).
-       c. ReturnIfAbrupt(v).
 ---*/
 
 //- setup

src/dstr-binding-async-iteration/obj-ptrn-prop-id-init-unresolvable.case

@@ -6,15 +6,14 @@ template: error
 info: |
     13.3.3.7 Runtime Semantics: KeyedBindingInitialization
 
-    BindingElement : BindingPattern Initializeropt
+    BindingElement : BindingPattern Initializer_opt
 
     [...]
-    3. If Initializer is present and v is undefined, then
+    4. If Initializer is present and v is undefined, then
        a. Let defaultValue be the result of evaluating Initializer.
-       b. Let v be GetValue(defaultValue).
+       b. Set v to ? GetValue(defaultValue).
-       c. ReturnIfAbrupt(v).
 
-    6.2.3.1 GetValue (V)
+    6.2.4.1 GetValue ( V )
 
     1. ReturnIfAbrupt(V).
     2. If Type(V) is not Reference, return V.

src/dstr-binding-async-iteration/obj-ptrn-prop-id-init.case

@@ -6,10 +6,10 @@ desc: Binding as specified via property name, identifier, and initializer
 info: |
     13.3.3.7 Runtime Semantics: KeyedBindingInitialization
 
-    SingleNameBinding : BindingIdentifier Initializeropt
+    SingleNameBinding : BindingIdentifier Initializer_opt
 
     [...]
-    8. Return InitializeReferencedBinding(lhs, v).
+    7. Return InitializeReferencedBinding(lhs, v).
 ---*/
 
 //- elems

src/dstr-binding-async-iteration/obj-ptrn-prop-id.case

@@ -6,10 +6,10 @@ desc: Binding as specified via property name and identifier
 info: |
     13.3.3.7 Runtime Semantics: KeyedBindingInitialization
 
-    SingleNameBinding : BindingIdentifier Initializeropt
+    SingleNameBinding : BindingIdentifier Initializer_opt
 
     [...]
-    8. Return InitializeReferencedBinding(lhs, v).
+    7. Return InitializeReferencedBinding(lhs, v).
 ---*/
 
 //- elems

src/dstr-binding-async-iteration/obj-ptrn-prop-obj-init.case

@@ -7,10 +7,9 @@ info: |
     13.3.3.7 Runtime Semantics: KeyedBindingInitialization
 
     [...]
-    3. If Initializer is present and v is undefined, then
+    4. If Initializer is present and v is undefined, then
        a. Let defaultValue be the result of evaluating Initializer.
-       b. Let v be GetValue(defaultValue).
+       b. Set v to ? GetValue(defaultValue).
-       c. ReturnIfAbrupt(v).
     4. Return the result of performing BindingInitialization for BindingPattern
        passing v and environment as arguments.
 ---*/