sRef_, _nextValue_).
        1. Else,
          1. If _lhsKind_ is ~assignment~, then
            1. Let _status_ be the result of performing DestructuringAssignmentEvaluation of _assignmentPattern_ using _nextValue_ as the argument.
          1. Else if _lhsKind_ is ~varBinding~, then
            1. Assert: _lhs_ is a |ForBinding|.
            1. Let _status_ be the result of performing BindingInitialization for _lhs_ passing _nextValue_ and *undefined* as the arguments.
          1. Else,
            1. A