From d4fde0a5c30829fb4393cbfe01f3e98c7cfb7c38 Mon Sep 17 00:00:00 2001
From: Rick Waldron <waldron.rick@gmail.com>
Date: Tue, 16 May 2017 16:34:06 -0400
Subject: [PATCH] for-await-of: dstr-assignment, cases

Signed-off-by: Rick Waldron <waldron.rick@gmail.com>
---
 .../array-elem-init-assignment.case           |  2 +-
 .../array-elem-init-evaluation.case           |  4 +-
 .../array-elem-init-fn-name-arrow.case        |  8 +-
 .../array-elem-init-fn-name-class.case        |  8 +-
 .../array-elem-init-fn-name-cover.case        | 10 +--
 .../array-elem-init-fn-name-fn.case           | 22 +++--
 .../array-elem-init-fn-name-gen.case          |  8 +-
 .../array-elem-init-in.case                   |  2 +-
 .../array-elem-init-let.case                  | 24 ++++++
 .../array-elem-init-order.case                |  4 +-
 .../array-elem-init-simple-no-strict.case     |  2 +-
 .../array-elem-init-yield-expr.case           | 32 +++++++
 .../array-elem-init-yield-ident-invalid.case  | 19 +++++
 .../array-elem-init-yield-ident-valid.case    | 26 ++++++
 .../array-elem-iter-get-err.case              | 32 +++++++
 .../array-elem-iter-nrml-close-err.case       | 47 +++++++++++
 .../array-elem-iter-nrml-close-null.case      | 55 ++++++++++++
 .../array-elem-iter-nrml-close-skip.case      | 31 +++----
 .../array-elem-iter-nrml-close.case           | 27 +++---
 .../array-elem-iter-rtrn-close-null.case      | 49 +++++++++++
 .../array-elem-iter-thrw-close-skip.case      | 46 ++++++++++
 .../array-elem-nested-array-invalid.case      | 20 +++++
 .../array-elem-nested-array-null.case         | 24 ++++++
 ...rray-elem-nested-array-undefined-hole.case | 24 ++++++
 ...array-elem-nested-array-undefined-own.case | 24 ++++++
 .../array-elem-nested-array-undefined.case    | 23 +++++
 .../array-elem-nested-array-yield-expr.case   | 33 ++++++++
 ...elem-nested-array-yield-ident-invalid.case | 20 +++++
 ...y-elem-nested-array-yield-ident-valid.case | 10 ++-
 .../array-elem-nested-array.case              |  8 +-
 .../array-elem-nested-obj-invalid.case        | 20 +++++
 .../array-elem-nested-obj-null.case           | 22 +++++
 .../array-elem-nested-obj-undefined-hole.case | 24 ++++++
 .../array-elem-nested-obj-undefined-own.case  | 24 ++++++
 .../array-elem-nested-obj-undefined.case      | 23 +++++
 .../array-elem-nested-obj-yield-expr.case     | 14 ++--
 ...y-elem-nested-obj-yield-ident-invalid.case | 20 +++++
 ...ray-elem-nested-obj-yield-ident-valid.case |  4 +-
 .../array-elem-nested-obj.case                |  2 +-
 .../array-elem-put-const.case                 | 17 ++++
 .../array-elem-put-let.case                   | 22 +++++
 .../array-elem-put-prop-ref-no-get.case       |  2 +-
 .../array-elem-put-prop-ref-user-err.case     | 27 ++++++
 .../array-elem-put-prop-ref.case              |  2 +-
 .../array-elem-put-unresolvable-strict.case   | 22 +++++
 .../array-elem-target-identifier.case         |  2 +-
 .../array-elem-target-simple-no-strict.case   |  2 +-
 .../array-elem-target-simple-strict.case      | 21 +++++
 .../array-elem-target-yield-expr.case         |  8 +-
 .../array-elem-target-yield-invalid.case      | 20 +++++
 .../array-elem-target-yield-valid.case        |  4 +-
 ...rray-elem-trlg-iter-elision-iter-abpt.case | 63 ++++++++++++++
 ...trlg-iter-elision-iter-nrml-close-err.case | 60 ++++++++++++++
 ...rlg-iter-elision-iter-nrml-close-null.case | 59 +++++++++++++
 ...rlg-iter-elision-iter-nrml-close-skip.case | 20 +++--
 ...lem-trlg-iter-elision-iter-nrml-close.case | 28 ++++---
 .../array-elem-trlg-iter-get-err.case         | 33 ++++++++
 ...ay-elem-trlg-iter-list-nrml-close-err.case | 59 +++++++++++++
 ...y-elem-trlg-iter-list-nrml-close-null.case | 65 +++++++++++++++
 ...y-elem-trlg-iter-list-nrml-close-skip.case | 20 ++---
 .../array-elem-trlg-iter-list-nrml-close.case | 26 +++---
 ...ay-elem-trlg-iter-list-rtrn-close-err.case | 60 ++++++++++++++
 ...y-elem-trlg-iter-list-rtrn-close-null.case | 55 ++++++++++++
 .../array-elem-trlg-iter-list-rtrn-close.case | 68 +++++++++++++++
 ...y-elem-trlg-iter-list-thrw-close-skip.case | 58 +++++++++++++
 ...y-elem-trlg-iter-rest-nrml-close-skip.case | 55 ++++++++++++
 ...ay-elem-trlg-iter-rest-rtrn-close-err.case | 69 +++++++++++++++
 ...y-elem-trlg-iter-rest-rtrn-close-null.case | 60 ++++++++++++++
 .../array-elision-iter-nrml-close-skip.case   | 17 ++--
 .../array-elision-iter-nrml-close.case        | 25 +++---
 .../array-elision-val-array.case              |  2 +-
 .../array-elision-val-string.case             |  2 +-
 .../array-empty-iter-close.case               | 18 ++--
 .../array-empty-val-array.case                |  2 +-
 .../array-empty-val-string.case               |  2 +-
 .../array-rest-after-element.case             |  4 +-
 .../array-rest-after-elision.case             |  4 +-
 .../array-rest-elision.case                   |  4 +-
 .../array-rest-iter-nrml-close-skip.case      | 34 ++++----
 .../array-rest-iter-rtrn-close-err.case       | 65 ---------------
 .../array-rest-iter-rtrn-close-null.case      | 66 ---------------
 .../array-rest-iter-rtrn-close.case           | 83 -------------------
 .../array-rest-iteration.case                 | 13 ++-
 .../array-rest-lref.case                      | 26 +++---
 .../array-rest-nested-array-null.case         |  4 +-
 ...rray-rest-nested-array-undefined-hole.case |  4 +-
 ...array-rest-nested-array-undefined-own.case |  4 +-
 .../array-rest-nested-array-undefined.case    |  4 +-
 .../array-rest-nested-array-yield-expr.case   |  9 +-
 ...y-rest-nested-array-yield-ident-valid.case |  8 +-
 .../array-rest-nested-array.case              |  4 +-
 .../array-rest-nested-obj-null.case           |  4 +-
 .../array-rest-nested-obj-undefined-hole.case |  9 +-
 .../array-rest-nested-obj-undefined-own.case  |  9 +-
 .../array-rest-nested-obj-undefined.case      |  9 +-
 .../array-rest-nested-obj-yield-expr.case     |  4 +-
 ...ray-rest-nested-obj-yield-ident-valid.case | 13 ++-
 .../array-rest-nested-obj.case                |  8 +-
 .../array-rest-put-prop-ref-no-get.case       | 10 ++-
 .../array-rest-put-prop-ref.case              |  8 +-
 ...array-rest-put-unresolvable-no-strict.case |  7 +-
 .../array-rest-yield-expr.case                |  9 +-
 .../array-rest-yield-ident-valid.case         | 12 ++-
 .../async-func-decl.template                  | 30 +++++++
 .../async-gen-decl.template                   | 30 +++++++
 .../error/async-func-decl.template            | 34 ++++++++
 .../error/async-gen-decl.template             | 35 ++++++++
 .../obj-empty-bool.case                       | 18 ++++
 .../obj-empty-num.case                        | 19 +++++
 .../obj-empty-obj.case                        | 18 ++++
 .../obj-empty-string.case                     | 18 ++++
 .../obj-empty-symbol.case                     | 21 +++++
 .../obj-id-identifier-resolution-first.case   | 22 +++++
 .../obj-id-identifier-resolution-last.case    | 22 +++++
 .../obj-id-identifier-resolution-lone.case    | 21 +++++
 .../obj-id-identifier-resolution-middle.case  | 22 +++++
 .../obj-id-identifier-resolution-trlng.case   | 22 +++++
 .../obj-id-init-assignment-missing.case       | 25 ++++++
 .../obj-id-init-assignment-null.case          | 25 ++++++
 .../obj-id-init-assignment-truthy.case        | 25 ++++++
 .../obj-id-init-assignment-undef.case         | 25 ++++++
 .../obj-id-init-evaluation.case               | 26 ++++++
 .../obj-id-init-fn-name-arrow.case            | 36 ++++++++
 .../obj-id-init-fn-name-class.case            | 40 +++++++++
 .../obj-id-init-fn-name-cover.case            | 39 +++++++++
 .../obj-id-init-fn-name-fn.case               | 38 +++++++++
 .../obj-id-init-fn-name-gen.case              | 40 +++++++++
 .../obj-id-init-in.case                       | 23 +++++
 .../obj-id-init-order.case                    | 25 ++++++
 .../obj-id-init-simple-no-strict.case         | 24 ++++++
 .../obj-id-init-yield-expr.case               | 32 +++++++
 .../obj-id-init-yield-ident-valid.case        | 27 ++++++
 .../obj-id-put-unresolvable-no-strict.case    | 26 ++++++
 .../obj-id-simple-no-strict.case              | 25 ++++++
 ...obj-prop-elem-init-assignment-missing.case | 25 ++++++
 .../obj-prop-elem-init-assignment-null.case   | 23 +++++
 .../obj-prop-elem-init-assignment-truthy.case | 23 +++++
 .../obj-prop-elem-init-assignment-undef.case  | 23 +++++
 .../obj-prop-elem-init-evaluation.case        | 28 +++++++
 .../obj-prop-elem-init-fn-name-arrow.case     | 34 ++++++++
 .../obj-prop-elem-init-fn-name-class.case     | 38 +++++++++
 .../obj-prop-elem-init-fn-name-cover.case     | 37 +++++++++
 .../obj-prop-elem-init-fn-name-fn.case        | 36 ++++++++
 .../obj-prop-elem-init-fn-name-gen.case       | 38 +++++++++
 .../obj-prop-elem-init-in.case                | 23 +++++
 .../obj-prop-elem-init-yield-expr.case        | 31 +++++++
 .../obj-prop-elem-init-yield-ident-valid.case | 26 ++++++
 .../obj-prop-elem-target-yield-expr.case      | 31 +++++++
 ...bj-prop-elem-target-yield-ident-valid.case | 27 ++++++
 .../obj-prop-identifier-resolution-first.case | 23 +++++
 .../obj-prop-identifier-resolution-last.case  | 23 +++++
 .../obj-prop-identifier-resolution-lone.case  | 22 +++++
 ...obj-prop-identifier-resolution-middle.case | 23 +++++
 .../obj-prop-identifier-resolution-trlng.case | 23 +++++
 .../obj-prop-name-evaluation.case             | 25 ++++++
 .../obj-prop-nested-array-yield-expr.case     | 32 +++++++
 ...j-prop-nested-array-yield-ident-valid.case | 26 ++++++
 .../obj-prop-nested-array.case                | 24 ++++++
 .../obj-prop-nested-obj-yield-expr.case       | 32 +++++++
 ...obj-prop-nested-obj-yield-ident-valid.case | 26 ++++++
 .../obj-prop-nested-obj.case                  | 24 ++++++
 .../obj-prop-put-order.case                   | 23 +++++
 .../obj-prop-put-prop-ref-no-get.case         | 31 +++++++
 .../obj-prop-put-prop-ref.case                | 23 +++++
 .../obj-prop-put-unresolvable-no-strict.case  | 26 ++++++
 .../obj-rest-descriptors.case                 | 37 +++++++++
 .../obj-rest-empty-obj.case                   | 27 ++++++
 .../obj-rest-getter.case                      | 31 +++++++
 .../obj-rest-nested-obj-nested-rest.case      | 40 +++++++++
 .../obj-rest-nested-obj.case                  | 30 +++++++
 .../obj-rest-number.case                      | 27 ++++++
 .../obj-rest-obj-own-property.case            | 29 +++++++
 .../obj-rest-same-name.case                   | 38 +++++++++
 .../obj-rest-skip-non-enumerable.case         | 37 +++++++++
 .../obj-rest-str-val.case                     | 28 +++++++
 .../obj-rest-symbol-val.case                  | 27 ++++++
 .../obj-rest-to-property-with-setter.case     | 37 +++++++++
 .../obj-rest-to-property.case                 | 31 +++++++
 .../obj-rest-valid-object.case                | 37 +++++++++
 179 files changed, 3969 insertions(+), 479 deletions(-)
 create mode 100644 src/dstr-assignment-async-iteration/array-elem-init-let.case
 create mode 100644 src/dstr-assignment-async-iteration/array-elem-init-yield-expr.case
 create mode 100644 src/dstr-assignment-async-iteration/array-elem-init-yield-ident-invalid.case
 create mode 100644 src/dstr-assignment-async-iteration/array-elem-init-yield-ident-valid.case
 create mode 100644 src/dstr-assignment-async-iteration/array-elem-iter-get-err.case
 create mode 100644 src/dstr-assignment-async-iteration/array-elem-iter-nrml-close-err.case
 create mode 100644 src/dstr-assignment-async-iteration/array-elem-iter-nrml-close-null.case
 create mode 100644 src/dstr-assignment-async-iteration/array-elem-iter-rtrn-close-null.case
 create mode 100644 src/dstr-assignment-async-iteration/array-elem-iter-thrw-close-skip.case
 create mode 100644 src/dstr-assignment-async-iteration/array-elem-nested-array-invalid.case
 create mode 100644 src/dstr-assignment-async-iteration/array-elem-nested-array-null.case
 create mode 100644 src/dstr-assignment-async-iteration/array-elem-nested-array-undefined-hole.case
 create mode 100644 src/dstr-assignment-async-iteration/array-elem-nested-array-undefined-own.case
 create mode 100644 src/dstr-assignment-async-iteration/array-elem-nested-array-undefined.case
 create mode 100644 src/dstr-assignment-async-iteration/array-elem-nested-array-yield-expr.case
 create mode 100644 src/dstr-assignment-async-iteration/array-elem-nested-array-yield-ident-invalid.case
 create mode 100644 src/dstr-assignment-async-iteration/array-elem-nested-obj-invalid.case
 create mode 100644 src/dstr-assignment-async-iteration/array-elem-nested-obj-null.case
 create mode 100644 src/dstr-assignment-async-iteration/array-elem-nested-obj-undefined-hole.case
 create mode 100644 src/dstr-assignment-async-iteration/array-elem-nested-obj-undefined-own.case
 create mode 100644 src/dstr-assignment-async-iteration/array-elem-nested-obj-undefined.case
 create mode 100644 src/dstr-assignment-async-iteration/array-elem-nested-obj-yield-ident-invalid.case
 create mode 100644 src/dstr-assignment-async-iteration/array-elem-put-const.case
 create mode 100644 src/dstr-assignment-async-iteration/array-elem-put-let.case
 create mode 100644 src/dstr-assignment-async-iteration/array-elem-put-prop-ref-user-err.case
 create mode 100644 src/dstr-assignment-async-iteration/array-elem-put-unresolvable-strict.case
 create mode 100644 src/dstr-assignment-async-iteration/array-elem-target-simple-strict.case
 create mode 100644 src/dstr-assignment-async-iteration/array-elem-target-yield-invalid.case
 create mode 100644 src/dstr-assignment-async-iteration/array-elem-trlg-iter-elision-iter-abpt.case
 create mode 100644 src/dstr-assignment-async-iteration/array-elem-trlg-iter-elision-iter-nrml-close-err.case
 create mode 100644 src/dstr-assignment-async-iteration/array-elem-trlg-iter-elision-iter-nrml-close-null.case
 create mode 100644 src/dstr-assignment-async-iteration/array-elem-trlg-iter-get-err.case
 create mode 100644 src/dstr-assignment-async-iteration/array-elem-trlg-iter-list-nrml-close-err.case
 create mode 100644 src/dstr-assignment-async-iteration/array-elem-trlg-iter-list-nrml-close-null.case
 create mode 100644 src/dstr-assignment-async-iteration/array-elem-trlg-iter-list-rtrn-close-err.case
 create mode 100644 src/dstr-assignment-async-iteration/array-elem-trlg-iter-list-rtrn-close-null.case
 create mode 100644 src/dstr-assignment-async-iteration/array-elem-trlg-iter-list-rtrn-close.case
 create mode 100644 src/dstr-assignment-async-iteration/array-elem-trlg-iter-list-thrw-close-skip.case
 create mode 100644 src/dstr-assignment-async-iteration/array-elem-trlg-iter-rest-nrml-close-skip.case
 create mode 100644 src/dstr-assignment-async-iteration/array-elem-trlg-iter-rest-rtrn-close-err.case
 create mode 100644 src/dstr-assignment-async-iteration/array-elem-trlg-iter-rest-rtrn-close-null.case
 delete mode 100644 src/dstr-assignment-async-iteration/array-rest-iter-rtrn-close-err.case
 delete mode 100644 src/dstr-assignment-async-iteration/array-rest-iter-rtrn-close-null.case
 delete mode 100644 src/dstr-assignment-async-iteration/array-rest-iter-rtrn-close.case
 create mode 100644 src/dstr-assignment-async-iteration/error-async-function-syntax/async-func-decl.template
 create mode 100644 src/dstr-assignment-async-iteration/error-async-generator-syntax/async-gen-decl.template
 create mode 100644 src/dstr-assignment-async-iteration/error/async-func-decl.template
 create mode 100644 src/dstr-assignment-async-iteration/error/async-gen-decl.template
 create mode 100644 src/dstr-assignment-async-iteration/obj-empty-bool.case
 create mode 100644 src/dstr-assignment-async-iteration/obj-empty-num.case
 create mode 100644 src/dstr-assignment-async-iteration/obj-empty-obj.case
 create mode 100644 src/dstr-assignment-async-iteration/obj-empty-string.case
 create mode 100644 src/dstr-assignment-async-iteration/obj-empty-symbol.case
 create mode 100644 src/dstr-assignment-async-iteration/obj-id-identifier-resolution-first.case
 create mode 100644 src/dstr-assignment-async-iteration/obj-id-identifier-resolution-last.case
 create mode 100644 src/dstr-assignment-async-iteration/obj-id-identifier-resolution-lone.case
 create mode 100644 src/dstr-assignment-async-iteration/obj-id-identifier-resolution-middle.case
 create mode 100644 src/dstr-assignment-async-iteration/obj-id-identifier-resolution-trlng.case
 create mode 100644 src/dstr-assignment-async-iteration/obj-id-init-assignment-missing.case
 create mode 100644 src/dstr-assignment-async-iteration/obj-id-init-assignment-null.case
 create mode 100644 src/dstr-assignment-async-iteration/obj-id-init-assignment-truthy.case
 create mode 100644 src/dstr-assignment-async-iteration/obj-id-init-assignment-undef.case
 create mode 100644 src/dstr-assignment-async-iteration/obj-id-init-evaluation.case
 create mode 100644 src/dstr-assignment-async-iteration/obj-id-init-fn-name-arrow.case
 create mode 100644 src/dstr-assignment-async-iteration/obj-id-init-fn-name-class.case
 create mode 100644 src/dstr-assignment-async-iteration/obj-id-init-fn-name-cover.case
 create mode 100644 src/dstr-assignment-async-iteration/obj-id-init-fn-name-fn.case
 create mode 100644 src/dstr-assignment-async-iteration/obj-id-init-fn-name-gen.case
 create mode 100644 src/dstr-assignment-async-iteration/obj-id-init-in.case
 create mode 100644 src/dstr-assignment-async-iteration/obj-id-init-order.case
 create mode 100644 src/dstr-assignment-async-iteration/obj-id-init-simple-no-strict.case
 create mode 100644 src/dstr-assignment-async-iteration/obj-id-init-yield-expr.case
 create mode 100644 src/dstr-assignment-async-iteration/obj-id-init-yield-ident-valid.case
 create mode 100644 src/dstr-assignment-async-iteration/obj-id-put-unresolvable-no-strict.case
 create mode 100644 src/dstr-assignment-async-iteration/obj-id-simple-no-strict.case
 create mode 100644 src/dstr-assignment-async-iteration/obj-prop-elem-init-assignment-missing.case
 create mode 100644 src/dstr-assignment-async-iteration/obj-prop-elem-init-assignment-null.case
 create mode 100644 src/dstr-assignment-async-iteration/obj-prop-elem-init-assignment-truthy.case
 create mode 100644 src/dstr-assignment-async-iteration/obj-prop-elem-init-assignment-undef.case
 create mode 100644 src/dstr-assignment-async-iteration/obj-prop-elem-init-evaluation.case
 create mode 100644 src/dstr-assignment-async-iteration/obj-prop-elem-init-fn-name-arrow.case
 create mode 100644 src/dstr-assignment-async-iteration/obj-prop-elem-init-fn-name-class.case
 create mode 100644 src/dstr-assignment-async-iteration/obj-prop-elem-init-fn-name-cover.case
 create mode 100644 src/dstr-assignment-async-iteration/obj-prop-elem-init-fn-name-fn.case
 create mode 100644 src/dstr-assignment-async-iteration/obj-prop-elem-init-fn-name-gen.case
 create mode 100644 src/dstr-assignment-async-iteration/obj-prop-elem-init-in.case
 create mode 100644 src/dstr-assignment-async-iteration/obj-prop-elem-init-yield-expr.case
 create mode 100644 src/dstr-assignment-async-iteration/obj-prop-elem-init-yield-ident-valid.case
 create mode 100644 src/dstr-assignment-async-iteration/obj-prop-elem-target-yield-expr.case
 create mode 100644 src/dstr-assignment-async-iteration/obj-prop-elem-target-yield-ident-valid.case
 create mode 100644 src/dstr-assignment-async-iteration/obj-prop-identifier-resolution-first.case
 create mode 100644 src/dstr-assignment-async-iteration/obj-prop-identifier-resolution-last.case
 create mode 100644 src/dstr-assignment-async-iteration/obj-prop-identifier-resolution-lone.case
 create mode 100644 src/dstr-assignment-async-iteration/obj-prop-identifier-resolution-middle.case
 create mode 100644 src/dstr-assignment-async-iteration/obj-prop-identifier-resolution-trlng.case
 create mode 100644 src/dstr-assignment-async-iteration/obj-prop-name-evaluation.case
 create mode 100644 src/dstr-assignment-async-iteration/obj-prop-nested-array-yield-expr.case
 create mode 100644 src/dstr-assignment-async-iteration/obj-prop-nested-array-yield-ident-valid.case
 create mode 100644 src/dstr-assignment-async-iteration/obj-prop-nested-array.case
 create mode 100644 src/dstr-assignment-async-iteration/obj-prop-nested-obj-yield-expr.case
 create mode 100644 src/dstr-assignment-async-iteration/obj-prop-nested-obj-yield-ident-valid.case
 create mode 100644 src/dstr-assignment-async-iteration/obj-prop-nested-obj.case
 create mode 100644 src/dstr-assignment-async-iteration/obj-prop-put-order.case
 create mode 100644 src/dstr-assignment-async-iteration/obj-prop-put-prop-ref-no-get.case
 create mode 100644 src/dstr-assignment-async-iteration/obj-prop-put-prop-ref.case
 create mode 100644 src/dstr-assignment-async-iteration/obj-prop-put-unresolvable-no-strict.case
 create mode 100644 src/dstr-assignment-async-iteration/obj-rest-descriptors.case
 create mode 100644 src/dstr-assignment-async-iteration/obj-rest-empty-obj.case
 create mode 100644 src/dstr-assignment-async-iteration/obj-rest-getter.case
 create mode 100644 src/dstr-assignment-async-iteration/obj-rest-nested-obj-nested-rest.case
 create mode 100644 src/dstr-assignment-async-iteration/obj-rest-nested-obj.case
 create mode 100644 src/dstr-assignment-async-iteration/obj-rest-number.case
 create mode 100644 src/dstr-assignment-async-iteration/obj-rest-obj-own-property.case
 create mode 100644 src/dstr-assignment-async-iteration/obj-rest-same-name.case
 create mode 100644 src/dstr-assignment-async-iteration/obj-rest-skip-non-enumerable.case
 create mode 100644 src/dstr-assignment-async-iteration/obj-rest-str-val.case
 create mode 100644 src/dstr-assignment-async-iteration/obj-rest-symbol-val.case
 create mode 100644 src/dstr-assignment-async-iteration/obj-rest-to-property-with-setter.case
 create mode 100644 src/dstr-assignment-async-iteration/obj-rest-to-property.case
 create mode 100644 src/dstr-assignment-async-iteration/obj-rest-valid-object.case

diff --git a/src/dstr-assignment-async-iteration/array-elem-init-assignment.case b/src/dstr-assignment-async-iteration/array-elem-init-assignment.case
index 4a736a7395..d6e17a22f5 100644
--- a/src/dstr-assignment-async-iteration/array-elem-init-assignment.case
+++ b/src/dstr-assignment-async-iteration/array-elem-init-assignment.case
@@ -9,7 +9,7 @@ template: default
 ---*/
 
 //- setup
-var v2, vNull, vHole, vUndefined, vOob;
+let v2, vNull, vHole, vUndefined, vOob;
 //- elems
 [v2 = 10, vNull = 11, vHole = 12, vUndefined = 13, vOob = 14]
 //- vals
diff --git a/src/dstr-assignment-async-iteration/array-elem-init-evaluation.case b/src/dstr-assignment-async-iteration/array-elem-init-evaluation.case
index b3b767fa1c..85ec19f4af 100644
--- a/src/dstr-assignment-async-iteration/array-elem-init-evaluation.case
+++ b/src/dstr-assignment-async-iteration/array-elem-init-evaluation.case
@@ -8,8 +8,8 @@ template: default
 ---*/
 
 //- setup
-var flag1 = false, flag2 = false;
-var _;
+let flag1 = false, flag2 = false;
+let _;
 //- elems
 [ _ = flag1 = true, _ = flag2 = true ]
 //- vals
diff --git a/src/dstr-assignment-async-iteration/array-elem-init-fn-name-arrow.case b/src/dstr-assignment-async-iteration/array-elem-init-fn-name-arrow.case
index e95a3117c9..d3cf8df244 100644
--- a/src/dstr-assignment-async-iteration/array-elem-init-fn-name-arrow.case
+++ b/src/dstr-assignment-async-iteration/array-elem-init-fn-name-arrow.case
@@ -11,15 +11,13 @@ info: >
     7. If Initializer is present and value is undefined and
        IsAnonymousFunctionDefinition(Initializer) and IsIdentifierRef of
        DestructuringAssignmentTarget are both true, then
-       a. Let hasNameProperty be HasOwnProperty(v, "name").
-       b. ReturnIfAbrupt(hasNameProperty).
-       c. If hasNameProperty is false, perform SetFunctionName(v,
-          GetReferencedName(lref)).
+       a. Let hasNameProperty be ? HasOwnProperty(v, "name").
+       b. If hasNameProperty is false, perform SetFunctionName(v, GetReferencedName(lref)).
 includes: [propertyHelper.js]
 ---*/
 
 //- setup
-var arrow;
+let arrow;
 //- elems
 [ arrow = () => {} ]
 //- vals
diff --git a/src/dstr-assignment-async-iteration/array-elem-init-fn-name-class.case b/src/dstr-assignment-async-iteration/array-elem-init-fn-name-class.case
index 2849395c5f..448124558a 100644
--- a/src/dstr-assignment-async-iteration/array-elem-init-fn-name-class.case
+++ b/src/dstr-assignment-async-iteration/array-elem-init-fn-name-class.case
@@ -11,16 +11,14 @@ info: >
     7. If Initializer is present and value is undefined and
        IsAnonymousFunctionDefinition(Initializer) and IsIdentifierRef of
        DestructuringAssignmentTarget are both true, then
-       a. Let hasNameProperty be HasOwnProperty(v, "name").
-       b. ReturnIfAbrupt(hasNameProperty).
-       c. If hasNameProperty is false, perform SetFunctionName(v,
-          GetReferencedName(lref)).
+       a. Let hasNameProperty be ? HasOwnProperty(v, "name").
+       b. If hasNameProperty is false, perform SetFunctionName(v, GetReferencedName(lref)).
 includes: [propertyHelper.js]
 features: [class]
 ---*/
 
 //- setup
-var xCls, cls, xCls2;
+let xCls, cls, xCls2;
 //- elems
 [ xCls = class x {}, cls = class {}, xCls2 = class { static name() {} } ]
 //- vals
diff --git a/src/dstr-assignment-async-iteration/array-elem-init-fn-name-cover.case b/src/dstr-assignment-async-iteration/array-elem-init-fn-name-cover.case
index 093eea2614..348a1ced77 100644
--- a/src/dstr-assignment-async-iteration/array-elem-init-fn-name-cover.case
+++ b/src/dstr-assignment-async-iteration/array-elem-init-fn-name-cover.case
@@ -1,4 +1,4 @@
-// Copyright (C) 2015 the V8 project authors. All rights reserved.
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
 // This code is governed by the BSD license found in the LICENSE file.
 
 /*---
@@ -12,15 +12,13 @@ info: >
     7. If Initializer is present and value is undefined and
        IsAnonymousFunctionDefinition(Initializer) and IsIdentifierRef of
        DestructuringAssignmentTarget are both true, then
-       a. Let hasNameProperty be HasOwnProperty(v, "name").
-       b. ReturnIfAbrupt(hasNameProperty).
-       c. If hasNameProperty is false, perform SetFunctionName(v,
-          GetReferencedName(lref)).
+       a. Let hasNameProperty be ? HasOwnProperty(v, "name").
+       b. If hasNameProperty is false, perform SetFunctionName(v, GetReferencedName(lref)).
 includes: [propertyHelper.js]
 ---*/
 
 //- setup
-var xCover, cover;
+let xCover, cover;
 //- elems
 [ xCover = (0, function() {}), cover = (function() {}) ]
 //- vals
diff --git a/src/dstr-assignment-async-iteration/array-elem-init-fn-name-fn.case b/src/dstr-assignment-async-iteration/array-elem-init-fn-name-fn.case
index d2e65e618f..d6d2d5702d 100644
--- a/src/dstr-assignment-async-iteration/array-elem-init-fn-name-fn.case
+++ b/src/dstr-assignment-async-iteration/array-elem-init-fn-name-fn.case
@@ -1,4 +1,4 @@
-// Copyright (C) 2015 the V8 project authors. All rights reserved.
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
 // This code is governed by the BSD license found in the LICENSE file.
 
 /*---
@@ -11,27 +11,25 @@ info: >
     7. If Initializer is present and value is undefined and
        IsAnonymousFunctionDefinition(Initializer) and IsIdentifierRef of
        DestructuringAssignmentTarget are both true, then
-       a. Let hasNameProperty be HasOwnProperty(v, "name").
-       b. ReturnIfAbrupt(hasNameProperty).
-       c. If hasNameProperty is false, perform SetFunctionName(v,
-          GetReferencedName(lref)).
+       a. Let hasNameProperty be ? HasOwnProperty(v, "name").
+       b. If hasNameProperty is false, perform SetFunctionName(v, GetReferencedName(lref)).
 includes: [propertyHelper.js]
 features: [class]
 ---*/
 
 //- setup
-var xFn, fn;
+let xFnexp, fnexp;
 //- elems
-[ xFn = function x() {}, fn = function() {} ]
+[ xFnexp = function x() {}, fnexp = function() {} ]
 //- vals
 []
 //- body
-assert(xFn.name !== 'xFn');
+assert(xFnexp.name !== 'xFnexp');
 
-assert.sameValue(fn.name, 'fn');
-verifyNotEnumerable(fn, 'name');
-verifyNotWritable(fn, 'name');
-verifyConfigurable(fn, 'name');
+assert.sameValue(fnexp.name, 'fnexp');
+verifyNotEnumerable(fnexp, 'name');
+verifyNotWritable(fnexp, 'name');
+verifyConfigurable(fnexp, 'name');
 
 //- teardown
 promise
diff --git a/src/dstr-assignment-async-iteration/array-elem-init-fn-name-gen.case b/src/dstr-assignment-async-iteration/array-elem-init-fn-name-gen.case
index 137f38423b..c05ff848f5 100644
--- a/src/dstr-assignment-async-iteration/array-elem-init-fn-name-gen.case
+++ b/src/dstr-assignment-async-iteration/array-elem-init-fn-name-gen.case
@@ -11,16 +11,14 @@ info: >
     7. If Initializer is present and value is undefined and
        IsAnonymousFunctionDefinition(Initializer) and IsIdentifierRef of
        DestructuringAssignmentTarget are both true, then
-       a. Let hasNameProperty be HasOwnProperty(v, "name").
-       b. ReturnIfAbrupt(hasNameProperty).
-       c. If hasNameProperty is false, perform SetFunctionName(v,
-          GetReferencedName(lref)).
+       a. Let hasNameProperty be ? HasOwnProperty(v, "name").
+       b. If hasNameProperty is false, perform SetFunctionName(v, GetReferencedName(lref)).
 includes: [propertyHelper.js]
 features: [generators]
 ---*/
 
 //- setup
-var xGen, gen;
+let xGen, gen;
 //- elems
 [ xGen = function* x() {}, gen = function*() {} ]
 //- vals
diff --git a/src/dstr-assignment-async-iteration/array-elem-init-in.case b/src/dstr-assignment-async-iteration/array-elem-init-in.case
index be7e9345d8..70435eba4f 100644
--- a/src/dstr-assignment-async-iteration/array-elem-init-in.case
+++ b/src/dstr-assignment-async-iteration/array-elem-init-in.case
@@ -8,7 +8,7 @@ template: default
 ---*/
 
 //- setup
-var x;
+let x;
 //- elems
 [ x = 'x' in {} ]
 //- vals
diff --git a/src/dstr-assignment-async-iteration/array-elem-init-let.case b/src/dstr-assignment-async-iteration/array-elem-init-let.case
new file mode 100644
index 0000000000..b25e02e031
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/array-elem-init-let.case
@@ -0,0 +1,24 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: >
+    Value retrieval of Initializer obeys `let` semantics.
+template: default
+es6id: 12.14.5.3
+features: [let]
+---*/
+
+//- setup
+let x;
+//- elems
+[ x = y ]
+//- vals
+[]
+//- teardown
+promise.then(() => $DONE('Promise incorrectly fulfilled.'), ({ constructor }) => {
+  assert.sameValue(constructor, ReferenceError);
+}).then($DONE, $DONE);
+
+let y;
+
diff --git a/src/dstr-assignment-async-iteration/array-elem-init-order.case b/src/dstr-assignment-async-iteration/array-elem-init-order.case
index c7a1104649..a114575126 100644
--- a/src/dstr-assignment-async-iteration/array-elem-init-order.case
+++ b/src/dstr-assignment-async-iteration/array-elem-init-order.case
@@ -8,8 +8,8 @@ template: default
 ---*/
 
 //- setup
-var x = 0;
-var a, b;
+let x = 0;
+let a, b;
 //- elems
 [ a = x += 1, b = x *= 2 ]
 //- vals
diff --git a/src/dstr-assignment-async-iteration/array-elem-init-simple-no-strict.case b/src/dstr-assignment-async-iteration/array-elem-init-simple-no-strict.case
index 55fd0297eb..c5e33b3039 100644
--- a/src/dstr-assignment-async-iteration/array-elem-init-simple-no-strict.case
+++ b/src/dstr-assignment-async-iteration/array-elem-init-simple-no-strict.case
@@ -11,7 +11,7 @@ flags: [noStrict]
 ---*/
 
 //- setup
-var argument, eval;
+let argument, eval;
 //- elems
 [arguments = 4, eval = 5]
 //- vals
diff --git a/src/dstr-assignment-async-iteration/array-elem-init-yield-expr.case b/src/dstr-assignment-async-iteration/array-elem-init-yield-expr.case
new file mode 100644
index 0000000000..0d3cdfd55a
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/array-elem-init-yield-expr.case
@@ -0,0 +1,32 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: >
+    When a `yield` token appears within the Initializer of an
+    AssignmentElement within a generator function body, it behaves as a
+    YieldExpression.
+template: async-generator
+es6id: 12.14.5.4
+features: [generators]
+---*/
+
+//- setup
+let value = [];
+let x;
+//- elems
+[ x = yield ]
+//- vals
+[]
+//- teardown
+iter.next().then(result => {
+  assert.sameValue(result.value, undefined);
+  assert.sameValue(result.done, false);
+  assert.sameValue(x, undefined);
+
+  iter.next(4).then(result => {
+    assert.sameValue(result.value, undefined);
+    assert.sameValue(result.done, true);
+    assert.sameValue(x, 4);
+  }, $DONE).then($DONE, $DONE);
+}, $DONE).catch($DONE);
diff --git a/src/dstr-assignment-async-iteration/array-elem-init-yield-ident-invalid.case b/src/dstr-assignment-async-iteration/array-elem-init-yield-ident-invalid.case
new file mode 100644
index 0000000000..559a52fc22
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/array-elem-init-yield-ident-invalid.case
@@ -0,0 +1,19 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: >
+    When a `yield` token appears within the Initializer of an AssignmentElement
+    outside of a generator function body, it behaves as an IdentifierReference.
+template: error-async-function-syntax
+es6id: 12.14.5.4
+flags: [onlyStrict]
+negative:
+  phase: early
+  type: SyntaxError
+---*/
+
+//- elems
+[ x = yield ]
+//- vals
+[]
diff --git a/src/dstr-assignment-async-iteration/array-elem-init-yield-ident-valid.case b/src/dstr-assignment-async-iteration/array-elem-init-yield-ident-valid.case
new file mode 100644
index 0000000000..01b1ed2a1f
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/array-elem-init-yield-ident-valid.case
@@ -0,0 +1,26 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: >
+    When a `yield` token appears within the Initializer of an AssignmentElement
+    outside of a generator function body, it behaves as an IdentifierReference.
+template: async-function
+es6id: 12.14.5.4
+flags: [noStrict]
+---*/
+
+//- setup
+let yield = 4;
+let x;
+//- elems
+[ x = yield ]
+//- vals
+[]
+//- body
+assert.sameValue(x, 4);
+
+//- teardown
+promise
+  .then(() => assert.sameValue(iterCount, 1, 'iteration occurred as expected'), $DONE)
+  .then($DONE, $DONE);
diff --git a/src/dstr-assignment-async-iteration/array-elem-iter-get-err.case b/src/dstr-assignment-async-iteration/array-elem-iter-get-err.case
new file mode 100644
index 0000000000..06ebf52f86
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/array-elem-iter-get-err.case
@@ -0,0 +1,32 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+desc: Abrupt completion returned from GetIterator
+info: |
+    ArrayAssignmentPattern : [ AssignmentElementList ]
+
+    1. Let iterator be ? GetIterator(value).
+
+features: [Symbol.iterator]
+template: async-generator
+es6id: 12.14.5.2
+esid: sec-runtime-semantics-destructuringassignmentevaluation
+---*/
+
+//- setup
+let iterable = {
+  [Symbol.iterator]() {
+    throw new Test262Error();
+  }
+};
+let _;
+
+//- elems
+[ _ ]
+//- vals
+iterable
+//- teardown
+iter.next().then(() => $DONE('Promise incorrectly fulfilled.'), ({ constructor }) => {
+  assert.sameValue(constructor, Test262Error);
+}).then($DONE, $DONE);
+
diff --git a/src/dstr-assignment-async-iteration/array-elem-iter-nrml-close-err.case b/src/dstr-assignment-async-iteration/array-elem-iter-nrml-close-err.case
new file mode 100644
index 0000000000..3ca0ccc29d
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/array-elem-iter-nrml-close-err.case
@@ -0,0 +1,47 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+desc: Abrupt completion returned from IteratorClose
+info: |
+    ArrayAssignmentPattern : [ AssignmentElementList ]
+
+    [...]
+    4. If iteratorRecord.[[Done]] is false, return ? IteratorClose(iterator, result).
+
+features: [Symbol.iterator]
+template: async-generator
+es6id: 12.14.5.2
+esid: sec-runtime-semantics-destructuringassignmentevaluation
+---*/
+
+//- setup
+let nextCount = 0;
+let returnCount = 0;
+let _;
+let iterator = {
+  next() {
+    nextCount += 1;
+    // Set an upper-bound to limit unnecessary iteration in non-conformant
+    // implementations
+    return { done: nextCount > 10 };
+  },
+  return() {
+    returnCount += 1;
+    throw new Test262Error();
+  }
+};
+let iterable = {
+  [Symbol.iterator]() {
+    return iterator;
+  }
+};
+//- elems
+[ _ ]
+//- vals
+iterable
+//- teardown
+iter.next().then(() => $DONE('Promise incorrectly fulfilled.'), ({ constructor }) => {
+  assert.sameValue(nextCount, 1);
+  assert.sameValue(returnCount, 1);
+  assert.sameValue(constructor, Test262Error);
+}).then($DONE, $DONE);
diff --git a/src/dstr-assignment-async-iteration/array-elem-iter-nrml-close-null.case b/src/dstr-assignment-async-iteration/array-elem-iter-nrml-close-null.case
new file mode 100644
index 0000000000..d03a318ae0
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/array-elem-iter-nrml-close-null.case
@@ -0,0 +1,55 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+desc: >
+    IteratorClose throws a TypeError when `return` returns a non-Object value
+info: |
+    ArrayAssignmentPattern : [ AssignmentElementList ]
+
+    [...]
+    4. If iteratorRecord.[[Done]] is false, return ? IteratorClose(iterator, result).
+    5. Return result.
+
+    7.4.6 IteratorClose( iterator, completion )
+
+    [...]
+    5. Let innerResult be Call(return, iterator, « »).
+    6. If completion.[[Type]] is throw, return Completion(completion).
+    7. If innerResult.[[Type]] is throw, return Completion(innerResult).
+    8. If Type(innerResult.[[Value]]) is not Object, throw a TypeError exception.
+
+features: [Symbol.iterator]
+template: async-generator
+es6id: 12.14.5.2
+esid: sec-runtime-semantics-destructuringassignmentevaluation
+---*/
+
+//- setup
+let _;
+let nextCount = 0;
+let iterator = {
+  next() {
+    nextCount += 1;
+    // Set an upper-bound to limit unnecessary iteration in non-conformant
+    // implementations
+    return { done: nextCount > 10 };
+  },
+  return() {
+    return null;
+  }
+};
+let iterable = {
+  [Symbol.iterator]() {
+    return iterator;
+  }
+};
+//- elems
+[ _ ]
+//- vals
+iterable
+//- teardown
+iter.next().then(() => $DONE('Promise incorrectly fulfilled.'), ({ constructor }) => {
+  assert.sameValue(nextCount, 1);
+  assert.sameValue(constructor, TypeError);
+}).then($DONE, $DONE);
+
diff --git a/src/dstr-assignment-async-iteration/array-elem-iter-nrml-close-skip.case b/src/dstr-assignment-async-iteration/array-elem-iter-nrml-close-skip.case
index 322e4f2f5a..9391d14623 100644
--- a/src/dstr-assignment-async-iteration/array-elem-iter-nrml-close-skip.case
+++ b/src/dstr-assignment-async-iteration/array-elem-iter-nrml-close-skip.case
@@ -8,30 +8,31 @@ info: |
     ArrayAssignmentPattern : [ AssignmentElementList ]
 
     [...]
-    5. If iteratorRecord.[[done]] is false, return IteratorClose(iterator, result).
-    6. Return result.
+    4. If iteratorRecord.[[Done]] is false, return ? IteratorClose(iterator, result).
+    5. Return result.
 features: [Symbol.iterator]
-template: default
+template: async-generator
 esid: sec-runtime-semantics-destructuringassignmentevaluation
 ---*/
 
 //- setup
-var nextCount = 0;
-var returnCount = 0;
-var _;
-var iterable = {};
-var iterator = {
-  next: function() {
+let nextCount = 0;
+let returnCount = 0;
+let _;
+let iterator = {
+  next() {
     nextCount += 1;
     return { done: true };
   },
-  return: function() {
+  return() {
     returnCount += 1;
     return {};
   }
 };
-iterable[Symbol.iterator] = function() {
-  return iterator;
+let iterable = {
+  [Symbol.iterator]() {
+    return iterator;
+  }
 };
 //- elems
 [ _ ]
@@ -42,6 +43,6 @@ assert.sameValue(nextCount, 1);
 assert.sameValue(returnCount, 0);
 
 //- teardown
-promise
-  .then(() => assert.sameValue(iterCount, 1, 'iteration occurred as expected'), $DONE)
-  .then($DONE, $DONE);
+iter.next().then(() => {
+  assert.sameValue(iterCount, 1);
+}).then($DONE, $DONE);
diff --git a/src/dstr-assignment-async-iteration/array-elem-iter-nrml-close.case b/src/dstr-assignment-async-iteration/array-elem-iter-nrml-close.case
index 70a33b9705..55aa045efb 100644
--- a/src/dstr-assignment-async-iteration/array-elem-iter-nrml-close.case
+++ b/src/dstr-assignment-async-iteration/array-elem-iter-nrml-close.case
@@ -8,14 +8,13 @@ info: |
     ArrayAssignmentPattern : [ AssignmentElementList ]
 
     [...]
-    5. If iteratorRecord.[[done]] is false, return IteratorClose(iterator,
-       result).
-    6. Return result.
+    4. If iteratorRecord.[[Done]] is false, return ? IteratorClose(iterator, result).
+    5. Return result.
 
-    7.4.6 IteratorClose( iterator, completion )
+    7.4.6 IteratorClose ( iterator, completion )
 
     [...]
-    6. Let innerResult be Call(return, iterator, « »).
+    5. Let innerResult be Call(return, iterator, « »).
     [...]
 features: [Symbol.iterator]
 template: default
@@ -23,20 +22,20 @@ esid: sec-runtime-semantics-destructuringassignmentevaluation
 ---*/
 
 //- setup
-var nextCount = 0;
-var returnCount = 0;
-var thisValue = null;
-var args = null;
-var _;
-var iterable = {};
-var iterator = {
-  next: function() {
+let nextCount = 0;
+let returnCount = 0;
+let thisValue = null;
+let args = null;
+let _;
+let iterable = {};
+let iterator = {
+  next() {
     nextCount += 1;
     // Set an upper-bound to limit unnecessary iteration in non-conformant
     // implementations
     return { done: nextCount > 10 };
   },
-  return: function() {
+  return() {
     returnCount += 1;
     thisValue = this;
     args = arguments;
diff --git a/src/dstr-assignment-async-iteration/array-elem-iter-rtrn-close-null.case b/src/dstr-assignment-async-iteration/array-elem-iter-rtrn-close-null.case
new file mode 100644
index 0000000000..ff7953160a
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/array-elem-iter-rtrn-close-null.case
@@ -0,0 +1,49 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+desc: >
+    IteratorClose throws a TypeError when `return` returns a non-Object value
+info: |
+    ArrayAssignmentPattern : [ AssignmentElementList ]
+
+    [...]
+    4. If iteratorRecord.[[Done]] is false, return ? IteratorClose(iterator, result).
+    5. Return result.
+
+    7.4.6 IteratorClose( iterator, completion )
+
+    [...]
+    5. Let innerResult be Call(return, iterator, « »).
+    6. If completion.[[Type]] is throw, return Completion(completion).
+    7. If innerResult.[[Type]] is throw, return Completion(innerResult).
+    8. If Type(innerResult.[[Value]]) is not Object, throw a TypeError exception.
+
+features: [Symbol.iterator, generators]
+template: async-generator
+es6id: 12.14.5.2
+esid: sec-runtime-semantics-destructuringassignmentevaluation
+---*/
+
+//- setup
+let unreachable = 0;
+let iterator = {
+  return() {
+    return null;
+  }
+};
+let iterable = {
+  [Symbol.iterator]() {
+    return iterator;
+  }
+};
+//- elems
+[ {}[yield] ]
+//- vals
+iterable
+//- body
+unreachable += 1;
+//- teardown
+iter.next().then(() => $DONE('Promise incorrectly fulfilled.'), ({ constructor }) => {
+  assert.sameValue(unreachable, 0);
+  assert.sameValue(constructor, TypeError);
+}).then($DONE, $DONE);
diff --git a/src/dstr-assignment-async-iteration/array-elem-iter-thrw-close-skip.case b/src/dstr-assignment-async-iteration/array-elem-iter-thrw-close-skip.case
new file mode 100644
index 0000000000..71d03881c4
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/array-elem-iter-thrw-close-skip.case
@@ -0,0 +1,46 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+desc: >
+    IteratorClose is not called when iteration produces an abrupt completion
+info: |
+    ArrayAssignmentPattern : [ AssignmentElementList ]
+
+    [...]
+    4. If iteratorRecord.[[Done]] is false, return ? IteratorClose(iterator, result).
+    5. Return result.
+features: [Symbol.iterator]
+template: async-generator
+es6id: 12.14.5.2
+esid: sec-runtime-semantics-destructuringassignmentevaluation
+---*/
+
+//- setup
+let nextCount = 0;
+let returnCount = 0;
+let iterator = {
+  next() {
+    nextCount += 1;
+    throw new Test262Error();
+  },
+  return() {
+    returnCount += 1;
+  }
+};
+let iterable = {
+  [Symbol.iterator]() {
+    return iterator;
+  }
+};
+let _;
+
+//- elems
+[ x ]
+//- vals
+iterable
+//- teardown
+iter.next().then(() => $DONE('Promise incorrectly fulfilled.'), ({ constructor }) => {
+  assert.sameValue(nextCount, 1);
+  assert.sameValue(returnCount, 0);
+}).then($DONE, $DONE);
+
diff --git a/src/dstr-assignment-async-iteration/array-elem-nested-array-invalid.case b/src/dstr-assignment-async-iteration/array-elem-nested-array-invalid.case
new file mode 100644
index 0000000000..c61cdc9a82
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/array-elem-nested-array-invalid.case
@@ -0,0 +1,20 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: >
+    It is a Syntax Error if LeftHandSideExpression is either an ObjectLiteral
+    or an ArrayLiteral and if the lexical token sequence matched by
+    LeftHandSideExpression cannot be parsed with no tokens left over using
+    AssignmentPattern as the goal symbol.
+template: error-async-function-syntax
+es6id: 12.14.5.1
+negative:
+  phase: early
+  type: SyntaxError
+---*/
+
+//- elems
+[[(x, y)]]
+//- vals
+[[]]
diff --git a/src/dstr-assignment-async-iteration/array-elem-nested-array-null.case b/src/dstr-assignment-async-iteration/array-elem-nested-array-null.case
new file mode 100644
index 0000000000..7d2d69ddbd
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/array-elem-nested-array-null.case
@@ -0,0 +1,24 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: >
+    When DestructuringAssignmentTarget is an array literal and the value is
+    `null`, a TypeError should be thrown.
+template: default
+es6id: 12.14.5.3
+---*/
+
+//- setup
+let _;
+
+//- elems
+[[ _ ]]
+//- vals
+[null]
+//- teardown
+promise.then(() => $DONE('Promise incorrectly fulfilled.'), ({ constructor }) => {
+  assert.sameValue(iterCount, 0);
+  assert.sameValue(constructor, TypeError);
+}).then($DONE, $DONE);
+
diff --git a/src/dstr-assignment-async-iteration/array-elem-nested-array-undefined-hole.case b/src/dstr-assignment-async-iteration/array-elem-nested-array-undefined-hole.case
new file mode 100644
index 0000000000..cee7a05585
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/array-elem-nested-array-undefined-hole.case
@@ -0,0 +1,24 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: >
+    When DestructuringAssignmentTarget is an array literal and the value is a
+    "hole", a TypeError should be thrown.
+template: default
+es6id: 12.14.5.3
+---*/
+
+//- setup
+let _;
+
+//- elems
+[[ _ ]]
+//- vals
+[ , ]
+//- teardown
+promise.then(() => $DONE('Promise incorrectly fulfilled.'), ({ constructor }) => {
+  assert.sameValue(iterCount, 0);
+  assert.sameValue(constructor, TypeError);
+}).then($DONE, $DONE);
+
diff --git a/src/dstr-assignment-async-iteration/array-elem-nested-array-undefined-own.case b/src/dstr-assignment-async-iteration/array-elem-nested-array-undefined-own.case
new file mode 100644
index 0000000000..0b19e67885
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/array-elem-nested-array-undefined-own.case
@@ -0,0 +1,24 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: >
+    When DestructuringAssignmentTarget is an array literal and the value is
+    `undefined`, a TypeError should be thrown.
+template: default
+es6id: 12.14.5.3
+---*/
+
+//- setup
+let _;
+
+//- elems
+[[ x ]]
+//- vals
+[undefined]
+//- teardown
+promise.then(() => $DONE('Promise incorrectly fulfilled.'), ({ constructor }) => {
+  assert.sameValue(iterCount, 0);
+  assert.sameValue(constructor, TypeError);
+}).then($DONE, $DONE);
+
diff --git a/src/dstr-assignment-async-iteration/array-elem-nested-array-undefined.case b/src/dstr-assignment-async-iteration/array-elem-nested-array-undefined.case
new file mode 100644
index 0000000000..cba070d936
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/array-elem-nested-array-undefined.case
@@ -0,0 +1,23 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: >
+    When DestructuringAssignmentTarget is an array literal and no value is
+    defined, a TypeError should be thrown.
+template: default
+es6id: 12.14.5.3
+---*/
+
+//- setup
+let _;
+//- elems
+[[ x ]]
+//- vals
+[]
+//- teardown
+promise.then(() => $DONE('Promise incorrectly fulfilled.'), ({ constructor }) => {
+  assert.sameValue(iterCount, 0);
+  assert.sameValue(constructor, TypeError);
+}).then($DONE, $DONE);
+
diff --git a/src/dstr-assignment-async-iteration/array-elem-nested-array-yield-expr.case b/src/dstr-assignment-async-iteration/array-elem-nested-array-yield-expr.case
new file mode 100644
index 0000000000..1d322f0d25
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/array-elem-nested-array-yield-expr.case
@@ -0,0 +1,33 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: >
+    When a `yield` token appears within the DestructuringAssignmentTarget of a
+    nested destructuring assignment and within a generator function body, it
+    behaves as a YieldExpression.
+template: async-generator
+es6id: 12.14.5.3
+features: [generators]
+---*/
+
+//- setup
+let value = [[22]];
+let x = {};
+
+//- elems
+[[x[yield]]]
+//- vals
+value
+//- teardown
+iter.next().then(result => {
+  assert.sameValue(result.value, undefined);
+  assert.sameValue(result.done, false);
+  assert.sameValue(x.prop, undefined);
+
+  iter.next('prop').then(result => {
+    assert.sameValue(result.value, undefined);
+    assert.sameValue(result.done, true);
+    assert.sameValue(x.prop, 22);
+  }, $DONE).then($DONE, $DONE);
+}, $DONE).catch($DONE);
diff --git a/src/dstr-assignment-async-iteration/array-elem-nested-array-yield-ident-invalid.case b/src/dstr-assignment-async-iteration/array-elem-nested-array-yield-ident-invalid.case
new file mode 100644
index 0000000000..bf7e26e6c3
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/array-elem-nested-array-yield-ident-invalid.case
@@ -0,0 +1,20 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: >
+    When a `yield` token appears within the DestructuringAssignmentTarget of a
+    nested destructuring assignment outside of strict mode, it behaves as an
+    IdentifierReference.
+template: error-async-function-syntax
+es6id: 12.14.5.3
+flags: [onlyStrict]
+negative:
+  phase: early
+  type: SyntaxError
+---*/
+
+//- elems
+[[x[yield]]]
+//- vals
+[[]]
diff --git a/src/dstr-assignment-async-iteration/array-elem-nested-array-yield-ident-valid.case b/src/dstr-assignment-async-iteration/array-elem-nested-array-yield-ident-valid.case
index cd2b0313b1..6ec543b165 100644
--- a/src/dstr-assignment-async-iteration/array-elem-nested-array-yield-ident-valid.case
+++ b/src/dstr-assignment-async-iteration/array-elem-nested-array-yield-ident-valid.case
@@ -6,16 +6,20 @@ desc: >
     When a `yield` token appears within the DestructuringAssignmentTarget of a
     nested destructuring assignment outside of strict mode, it behaves as an
     IdentifierReference.
-template: default
+template: async-function
 flags: [noStrict]
 ---*/
 
 //- setup
-var yield = 'prop';
-var x = {};
+let yield = 'prop';
+let x = {};
 //- elems
 [[x[yield]]]
 //- vals
 [[22]]
 //- body
 assert.sameValue(x.prop, 22);
+//- teardown
+promise
+  .then(() => assert.sameValue(iterCount, 1, 'iteration occurred as expected'), $DONE)
+  .then($DONE, $DONE);
diff --git a/src/dstr-assignment-async-iteration/array-elem-nested-array.case b/src/dstr-assignment-async-iteration/array-elem-nested-array.case
index f5cbc1ff8a..7ccce4947f 100644
--- a/src/dstr-assignment-async-iteration/array-elem-nested-array.case
+++ b/src/dstr-assignment-async-iteration/array-elem-nested-array.case
@@ -6,14 +6,18 @@ desc: >
     When DestructuringAssignmentTarget is an array literal, it should be parsed
     parsed as a DestructuringAssignmentPattern and evaluated as a destructuring
     assignment.
-template: default
+template: async-function
 ---*/
 
 //- setup
-var x;
+let x;
 //- elems
 [[x]]
 //- vals
 [[1]]
 //- body
 assert.sameValue(x, 1);
+//- teardown
+promise
+  .then(() => assert.sameValue(iterCount, 1, 'iteration occurred as expected'), $DONE)
+  .then($DONE, $DONE);
diff --git a/src/dstr-assignment-async-iteration/array-elem-nested-obj-invalid.case b/src/dstr-assignment-async-iteration/array-elem-nested-obj-invalid.case
new file mode 100644
index 0000000000..c4b38e413d
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/array-elem-nested-obj-invalid.case
@@ -0,0 +1,20 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: >
+    It is a Syntax Error if LeftHandSideExpression is either an ObjectLiteral
+    or an ArrayLiteral and if the lexical token sequence matched by
+    LeftHandSideExpression cannot be parsed with no tokens left over using
+    AssignmentPattern as the goal symbol.
+template: error-async-function-syntax
+es6id: 12.14.5.1
+negative:
+  phase: early
+  type: SyntaxError
+---*/
+
+//- elems
+[{ get x() {} }]
+//- vals
+[{}]
diff --git a/src/dstr-assignment-async-iteration/array-elem-nested-obj-null.case b/src/dstr-assignment-async-iteration/array-elem-nested-obj-null.case
new file mode 100644
index 0000000000..24025d5cf6
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/array-elem-nested-obj-null.case
@@ -0,0 +1,22 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: >
+    When DestructuringAssignmentTarget is an object literal and the value is
+    `null`, a TypeError should be thrown.
+template: default
+es6id: 12.14.5.3
+---*/
+
+//- setup
+let x;
+//- elems
+[{ x }]
+//- vals
+[null]
+//- teardown
+promise.then(() => $DONE('Promise incorrectly fulfilled.'), ({ constructor }) => {
+  assert.sameValue(iterCount, 0);
+  assert.sameValue(constructor, TypeError);
+}).then($DONE, $DONE);
diff --git a/src/dstr-assignment-async-iteration/array-elem-nested-obj-undefined-hole.case b/src/dstr-assignment-async-iteration/array-elem-nested-obj-undefined-hole.case
new file mode 100644
index 0000000000..9dd7c5eb49
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/array-elem-nested-obj-undefined-hole.case
@@ -0,0 +1,24 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: >
+    When DestructuringAssignmentTarget is an object literal and the value is a
+    "hole", a TypeError should be thrown.
+template: default
+es6id: 12.14.5.3
+
+---*/
+
+//- setup
+let x;
+
+//- elems
+[{ x }]
+//- vals
+[ , ]
+//- teardown
+promise.then(() => $DONE('Promise incorrectly fulfilled.'), ({ constructor }) => {
+  assert.sameValue(iterCount, 0);
+  assert.sameValue(constructor, TypeError);
+}).then($DONE, $DONE);
diff --git a/src/dstr-assignment-async-iteration/array-elem-nested-obj-undefined-own.case b/src/dstr-assignment-async-iteration/array-elem-nested-obj-undefined-own.case
new file mode 100644
index 0000000000..7b2a817242
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/array-elem-nested-obj-undefined-own.case
@@ -0,0 +1,24 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: >
+    When DestructuringAssignmentTarget is an object literal and the value is
+    `undefined`, a TypeError should be thrown.
+template: default
+es6id: 12.14.5.3
+
+---*/
+
+//- setup
+let x;
+
+//- elems
+[{ x }]
+//- vals
+[undefined]
+//- teardown
+promise.then(() => $DONE('Promise incorrectly fulfilled.'), ({ constructor }) => {
+  assert.sameValue(iterCount, 0);
+  assert.sameValue(constructor, TypeError);
+}).then($DONE, $DONE);
diff --git a/src/dstr-assignment-async-iteration/array-elem-nested-obj-undefined.case b/src/dstr-assignment-async-iteration/array-elem-nested-obj-undefined.case
new file mode 100644
index 0000000000..19b426f710
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/array-elem-nested-obj-undefined.case
@@ -0,0 +1,23 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: >
+    When DestructuringAssignmentTarget is an object literal and no value is
+    defined, a TypeError should be thrown.
+template: default
+es6id: 12.14.5.3
+---*/
+
+//- setup
+let x;
+
+//- elems
+[{ x }]
+//- vals
+[]
+//- teardown
+promise.then(() => $DONE('Promise incorrectly fulfilled.'), ({ constructor }) => {
+  assert.sameValue(iterCount, 0);
+  assert.sameValue(constructor, TypeError);
+}).then($DONE, $DONE);
diff --git a/src/dstr-assignment-async-iteration/array-elem-nested-obj-yield-expr.case b/src/dstr-assignment-async-iteration/array-elem-nested-obj-yield-expr.case
index 84af24b9a5..8d1e3e5858 100644
--- a/src/dstr-assignment-async-iteration/array-elem-nested-obj-yield-expr.case
+++ b/src/dstr-assignment-async-iteration/array-elem-nested-obj-yield-expr.case
@@ -10,7 +10,7 @@ template: async-generator
 ---*/
 
 //- setup
-var x;
+let x;
 
 
 //- elems
@@ -18,14 +18,14 @@ var x;
 //- vals
 [{}]
 //- teardown
-iter.next().then(iterationResult => {
-  assert.sameValue(iterationResult.value, undefined);
-  assert.sameValue(iterationResult.done, false);
+iter.next().then(result => {
+  assert.sameValue(result.value, undefined);
+  assert.sameValue(result.done, false);
   assert.sameValue(x, undefined);
 
-  iter.next(4).then(iterationResult => {
-    assert.sameValue(iterationResult.value, undefined);
-    assert.sameValue(iterationResult.done, true);
+  iter.next(4).then(result => {
+    assert.sameValue(result.value, undefined);
+    assert.sameValue(result.done, true);
     assert.sameValue(x, 4);
   }, $DONE).then($DONE, $DONE);
 }, $DONE).catch($DONE);
diff --git a/src/dstr-assignment-async-iteration/array-elem-nested-obj-yield-ident-invalid.case b/src/dstr-assignment-async-iteration/array-elem-nested-obj-yield-ident-invalid.case
new file mode 100644
index 0000000000..6edca7faf6
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/array-elem-nested-obj-yield-ident-invalid.case
@@ -0,0 +1,20 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: >
+    When a `yield` token appears within the Initializer of a nested
+    destructuring assignment outside of a generator function body, it behaves
+    as a IdentifierReference.
+template: error-async-function-syntax
+es6id: 12.14.5.3
+flags: [onlyStrict]
+negative:
+  phase: early
+  type: SyntaxError
+---*/
+
+//- elems
+[{ x = yield }]
+//- vals
+[{}]
diff --git a/src/dstr-assignment-async-iteration/array-elem-nested-obj-yield-ident-valid.case b/src/dstr-assignment-async-iteration/array-elem-nested-obj-yield-ident-valid.case
index 09b4eff614..be16ef13ad 100644
--- a/src/dstr-assignment-async-iteration/array-elem-nested-obj-yield-ident-valid.case
+++ b/src/dstr-assignment-async-iteration/array-elem-nested-obj-yield-ident-valid.case
@@ -11,8 +11,8 @@ flags: [noStrict]
 ---*/
 
 //- setup
-var yield = 2;
-var x;
+let yield = 2;
+let x;
 //- elems
 [{ x = yield }]
 //- vals
diff --git a/src/dstr-assignment-async-iteration/array-elem-nested-obj.case b/src/dstr-assignment-async-iteration/array-elem-nested-obj.case
index 50faa760f9..41f922d2bd 100644
--- a/src/dstr-assignment-async-iteration/array-elem-nested-obj.case
+++ b/src/dstr-assignment-async-iteration/array-elem-nested-obj.case
@@ -10,7 +10,7 @@ template: default
 ---*/
 
 //- setup
-var x;
+let x;
 //- elems
 [{ x }]
 //- vals
diff --git a/src/dstr-assignment-async-iteration/array-elem-put-const.case b/src/dstr-assignment-async-iteration/array-elem-put-const.case
new file mode 100644
index 0000000000..60709de651
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/array-elem-put-const.case
@@ -0,0 +1,17 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: >
+    The assignment target should obey `const` semantics.
+template: default
+es6id: 12.14.5.3
+features: [const]
+---*/
+
+//- setup
+const c = null;
+//- elems
+[ c ]
+//- vals
+[1]
diff --git a/src/dstr-assignment-async-iteration/array-elem-put-let.case b/src/dstr-assignment-async-iteration/array-elem-put-let.case
new file mode 100644
index 0000000000..69a58f4281
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/array-elem-put-let.case
@@ -0,0 +1,22 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: >
+    The assignment target should obey `let` semantics.
+template: default
+es6id: 12.14.5.3
+features: [let]
+---*/
+
+//- elems
+[ x ]
+//- vals
+[]
+//- teardown
+promise.then(() => $DONE('Promise incorrectly fulfilled.'), ({ constructor }) => {
+  assert.sameValue(iterCount, 0);
+  assert.sameValue(constructor, ReferenceError);
+}).then($DONE, $DONE);
+
+let x;
diff --git a/src/dstr-assignment-async-iteration/array-elem-put-prop-ref-no-get.case b/src/dstr-assignment-async-iteration/array-elem-put-prop-ref-no-get.case
index 217eff2dba..67fde98843 100644
--- a/src/dstr-assignment-async-iteration/array-elem-put-prop-ref-no-get.case
+++ b/src/dstr-assignment-async-iteration/array-elem-put-prop-ref-no-get.case
@@ -9,7 +9,7 @@ template: default
 ---*/
 
 //- setup
-var x, setValue;
+let x, setValue;
 x = {
   get y() {
     $ERROR('The property should not be accessed.');
diff --git a/src/dstr-assignment-async-iteration/array-elem-put-prop-ref-user-err.case b/src/dstr-assignment-async-iteration/array-elem-put-prop-ref-user-err.case
new file mode 100644
index 0000000000..fdba045b9b
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/array-elem-put-prop-ref-user-err.case
@@ -0,0 +1,27 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: >
+    Any error raised as a result of setting the value should be forwarded to
+    the runtime.
+template: default
+es6id: 12.14.5.3
+---*/
+
+//- setup
+let x = {
+  set y(val) {
+    throw new Test262Error();
+  }
+};
+//- elems
+[x.y]
+//- vals
+[23]
+
+//- teardown
+promise.then(() => $DONE('Promise incorrectly fulfilled.'), ({ constructor }) => {
+  assert.sameValue(iterCount, 0);
+  assert.sameValue(constructor, Test262Error);
+}).then($DONE, $DONE);
diff --git a/src/dstr-assignment-async-iteration/array-elem-put-prop-ref.case b/src/dstr-assignment-async-iteration/array-elem-put-prop-ref.case
index 111e769e7d..9d18ee63c5 100644
--- a/src/dstr-assignment-async-iteration/array-elem-put-prop-ref.case
+++ b/src/dstr-assignment-async-iteration/array-elem-put-prop-ref.case
@@ -9,7 +9,7 @@ template: default
 ---*/
 
 //- setup
-var x = {};
+let x = {};
 //- elems
 [x.y]
 //- vals
diff --git a/src/dstr-assignment-async-iteration/array-elem-put-unresolvable-strict.case b/src/dstr-assignment-async-iteration/array-elem-put-unresolvable-strict.case
new file mode 100644
index 0000000000..33b0acc19e
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/array-elem-put-unresolvable-strict.case
@@ -0,0 +1,22 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: >
+    In strict mode, if the the assignment target is an unresolvable reference,
+    a ReferenceError should be thrown.
+template: default
+es6id: 12.14.5.3
+flags: [onlyStrict]
+---*/
+
+//- elems
+[ unresolvable ]
+//- vals
+[]
+
+//- teardown
+promise.then(() => $DONE('Promise incorrectly fulfilled.'), ({ constructor }) => {
+  assert.sameValue(iterCount, 0);
+  assert.sameValue(constructor, ReferenceError);
+}).then($DONE, $DONE);
diff --git a/src/dstr-assignment-async-iteration/array-elem-target-identifier.case b/src/dstr-assignment-async-iteration/array-elem-target-identifier.case
index 466742c255..07d21bbb6e 100644
--- a/src/dstr-assignment-async-iteration/array-elem-target-identifier.case
+++ b/src/dstr-assignment-async-iteration/array-elem-target-identifier.case
@@ -10,7 +10,7 @@ template: async-function
 ---*/
 
 //- setup
-var x, y, z;
+let x, y, z;
 //- elems
 [x, y, z]
 //- vals
diff --git a/src/dstr-assignment-async-iteration/array-elem-target-simple-no-strict.case b/src/dstr-assignment-async-iteration/array-elem-target-simple-no-strict.case
index e626f3be26..0f9f8ed3c5 100644
--- a/src/dstr-assignment-async-iteration/array-elem-target-simple-no-strict.case
+++ b/src/dstr-assignment-async-iteration/array-elem-target-simple-no-strict.case
@@ -11,7 +11,7 @@ flags: [noStrict]
 ---*/
 
 //- setup
-var argument, eval;
+let argument, eval;
 //- elems
 [arguments, eval]
 //- vals
diff --git a/src/dstr-assignment-async-iteration/array-elem-target-simple-strict.case b/src/dstr-assignment-async-iteration/array-elem-target-simple-strict.case
new file mode 100644
index 0000000000..a68cc95cb2
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/array-elem-target-simple-strict.case
@@ -0,0 +1,21 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: >
+    It is a Syntax Error if LeftHandSideExpression is neither an
+    ObjectLiteral nor an ArrayLiteral and
+    IsValidSimpleAssignmentTarget(LeftHandSideExpression) is
+    false.
+template: error-async-function-syntax
+es6id: 12.14.5.1
+flags: [onlyStrict]
+negative:
+  phase: early
+  type: SyntaxError
+---*/
+
+//- elems
+[arguments]
+//- vals
+[]
diff --git a/src/dstr-assignment-async-iteration/array-elem-target-yield-expr.case b/src/dstr-assignment-async-iteration/array-elem-target-yield-expr.case
index 51d841a826..0f796b4ea8 100644
--- a/src/dstr-assignment-async-iteration/array-elem-target-yield-expr.case
+++ b/src/dstr-assignment-async-iteration/array-elem-target-yield-expr.case
@@ -11,9 +11,9 @@ features: [generators]
 ---*/
 
 //- setup
-var value = [33];
-var x = {};
-var iterationResult;
+let value = [33];
+let x = {};
+let iterationResult;
 
 //- elems
 [ x[yield] ]
@@ -27,8 +27,6 @@ iter.next().then(iterationResult => {
   assert.sameValue(iterationResult.done, false);
   assert.sameValue(x.prop, undefined);
 
-  // TODO add iterCount
-  //
   iter.next('prop').then(iterationResult => {
     assert.sameValue(iterationResult.value, undefined);
     assert.sameValue(iterationResult.done, true);
diff --git a/src/dstr-assignment-async-iteration/array-elem-target-yield-invalid.case b/src/dstr-assignment-async-iteration/array-elem-target-yield-invalid.case
new file mode 100644
index 0000000000..d22bab44e1
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/array-elem-target-yield-invalid.case
@@ -0,0 +1,20 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: >
+    When a `yield` token appears within the DestructuringAssignmentTarget of an
+    AssignmentElement and outside of a generator function body, it behaves as
+    an IdentifierReference.
+template: error-async-function-syntax
+es6id: 12.14.5.4
+flags: [onlyStrict]
+negative:
+  phase: early
+  type: SyntaxError
+---*/
+
+//- elems
+[ x[yield] ]
+//- vals
+[]
diff --git a/src/dstr-assignment-async-iteration/array-elem-target-yield-valid.case b/src/dstr-assignment-async-iteration/array-elem-target-yield-valid.case
index 5e947aab32..47f1866965 100644
--- a/src/dstr-assignment-async-iteration/array-elem-target-yield-valid.case
+++ b/src/dstr-assignment-async-iteration/array-elem-target-yield-valid.case
@@ -11,8 +11,8 @@ flags: [noStrict]
 ---*/
 
 //- setup
-var yield = 'prop';
-var x = {};
+let yield = 'prop';
+let x = {};
 //- elems
 [ x[yield] ]
 //- vals
diff --git a/src/dstr-assignment-async-iteration/array-elem-trlg-iter-elision-iter-abpt.case b/src/dstr-assignment-async-iteration/array-elem-trlg-iter-elision-iter-abpt.case
new file mode 100644
index 0000000000..29f053d1a5
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/array-elem-trlg-iter-elision-iter-abpt.case
@@ -0,0 +1,63 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+desc: Abrupt completion returned during evaluation of elision
+info: |
+    ArrayAssignmentPattern :
+        [ AssignmentElementList , Elisionopt AssignmentRestElementopt ]
+
+    [...]
+    6. If Elision is present, then
+       a. Let status be the result of performing
+          IteratorDestructuringAssignmentEvaluation of Elision with
+          iteratorRecord as the argument.
+       b. If status is an abrupt completion, then
+          i. If iteratorRecord.[[done]] is false, return
+             IteratorClose(iterator, status).
+          ii. Return Completion(status).
+features: [Symbol.iterator]
+template: async-generator
+es6id: 12.14.5.2
+esid: sec-runtime-semantics-destructuringassignmentevaluation
+---*/
+
+//- setup
+let nextCount = 0;
+let returnCount = 0;
+let x;
+let iterator = {
+  next() {
+    nextCount += 1;
+
+    if (nextCount === 2) {
+      throw new Test262Error();
+    }
+
+    // Set an upper-bound to limit unnecessary iteration in non-conformant
+    // implementations
+    return { done: nextCount > 10 };
+  },
+  return() {
+    returnCount += 1;
+  }
+};
+let iterable = {
+  [Symbol.iterator]() {
+    return iterator;
+  }
+};
+
+//- elems
+[ x , , ]
+//- vals
+iterable
+//- teardown
+
+iter.next().then(() => {
+  iter.next().then(() => $DONE('Promise incorrectly fulfilled.'), ({ constructor }) => {
+    assert.sameValue(nextCount, 2);
+    assert.sameValue(returnCount, 0);
+    assert.sameValue(constructor, Test262Error);
+
+  }).then($DONE, $DONE);
+}, $DONE);
diff --git a/src/dstr-assignment-async-iteration/array-elem-trlg-iter-elision-iter-nrml-close-err.case b/src/dstr-assignment-async-iteration/array-elem-trlg-iter-elision-iter-nrml-close-err.case
new file mode 100644
index 0000000000..96dd11cabe
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/array-elem-trlg-iter-elision-iter-nrml-close-err.case
@@ -0,0 +1,60 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+desc: Abrupt completion returned from IteratorClose
+info: |
+    ArrayAssignmentPattern :
+        [ AssignmentElementList , Elisionopt AssignmentRestElementopt ]
+
+    [...]
+    6. If Elision is present, then
+       a. Let status be the result of performing
+          IteratorDestructuringAssignmentEvaluation of Elision with
+          iteratorRecord as the argument.
+       b. If status is an abrupt completion, then
+          [...]
+    8. If iteratorRecord.[[done]] is false, return IteratorClose(iterator,
+       status).
+features: [Symbol.iterator]
+template: async-generator
+es6id: 12.14.5.2
+esid: sec-runtime-semantics-destructuringassignmentevaluation
+---*/
+
+//- setup
+let nextCount = 0;
+let returnCount = 0;
+let x;
+let iterator = {
+  next() {
+    nextCount += 1;
+
+    // Set an upper-bound to limit unnecessary iteration in non-conformant
+    // implementations
+    return { done: nextCount > 10 };
+  },
+  return() {
+    returnCount += 1;
+    throw new Test262Error();
+  }
+};
+let iterable = {
+  [Symbol.iterator]() {
+    return iterator;
+  }
+};
+
+//- elems
+[ x , , ]
+//- vals
+iterable
+//- teardown
+iter.next().then(() => $DONE('Promise incorrectly fulfilled.'), ({ constructor }) => {
+  assert.sameValue(iterCount, 0);
+  assert.sameValue(nextCount, 2);
+  assert.sameValue(returnCount, 1);
+  assert.sameValue(constructor, Test262Error);
+}).then($DONE, $DONE);
+
+
+
diff --git a/src/dstr-assignment-async-iteration/array-elem-trlg-iter-elision-iter-nrml-close-null.case b/src/dstr-assignment-async-iteration/array-elem-trlg-iter-elision-iter-nrml-close-null.case
new file mode 100644
index 0000000000..5b831a9de4
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/array-elem-trlg-iter-elision-iter-nrml-close-null.case
@@ -0,0 +1,59 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+desc: >
+    IteratorClose throws a TypeError when `return` returns a non-Object value
+info: |
+    ArrayAssignmentPattern :
+        [ AssignmentElementList , Elisionopt AssignmentRestElementopt ]
+
+    [...]
+    6. If Elision is present, then
+       a. Let status be the result of performing
+          IteratorDestructuringAssignmentEvaluation of Elision with
+          iteratorRecord as the argument.
+       b. If status is an abrupt completion, then
+          [...]
+    8. If iteratorRecord.[[done]] is false, return IteratorClose(iterator,
+       status).
+
+    7.4.6 IteratorClose( iterator, completion )
+
+    [...]
+    6. Let innerResult be Call(return, iterator, « »).
+    7. If completion.[[type]] is throw, return Completion(completion).
+    8. If innerResult.[[type]] is throw, return Completion(innerResult).
+    9. If Type(innerResult.[[value]]) is not Object, throw a TypeError
+       exception.
+features: [Symbol.iterator]
+template: default
+es6id: 12.14.5.2
+esid: sec-runtime-semantics-destructuringassignmentevaluation
+---*/
+
+//- setup
+let x;
+let nextCount = 0;
+let iterator = {
+  next() {
+    nextCount += 1;
+    // Set an upper-bound to limit unnecessary iteration in non-conformant
+    // implementations
+    return { done: nextCount > 10 };
+  },
+  return() {
+    return null;
+  }
+};
+let iterable = {
+  [Symbol.iterator]() {
+    return iterator;
+  }
+};
+
+//- error
+TypeError
+//- elems
+[ x , , ]
+//- vals
+iterable
diff --git a/src/dstr-assignment-async-iteration/array-elem-trlg-iter-elision-iter-nrml-close-skip.case b/src/dstr-assignment-async-iteration/array-elem-trlg-iter-elision-iter-nrml-close-skip.case
index 5f2a03b450..835a6ad7da 100644
--- a/src/dstr-assignment-async-iteration/array-elem-trlg-iter-elision-iter-nrml-close-skip.case
+++ b/src/dstr-assignment-async-iteration/array-elem-trlg-iter-elision-iter-nrml-close-skip.case
@@ -1,4 +1,4 @@
-// Copyright (C) 2016 the V8 project authors. All rights reserved.
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
 // This code is governed by the BSD license found in the LICENSE file.
 /*---
 desc: IteratorClose not invoked when elision exhausts the iterator
@@ -7,13 +7,15 @@ info: |
         [ AssignmentElementList , Elisionopt AssignmentRestElementopt ]
 
     [...]
-    6. If Elision is present, then
+    5. If Elision is present, then
        a. Let status be the result of performing
           IteratorDestructuringAssignmentEvaluation of Elision with
           iteratorRecord as the argument.
        b. If status is an abrupt completion, then
-          [...]
-    8. If iteratorRecord.[[done]] is false, return IteratorClose(iterator,
+
+    [...]
+
+    7. If iteratorRecord.[[done]] is false, return IteratorClose(iterator,
        status).
     9. Return Completion(status).
 features: [Symbol.iterator]
@@ -22,10 +24,10 @@ esid: sec-runtime-semantics-destructuringassignmentevaluation
 ---*/
 
 //- setup
-var nextCount = 0;
-var returnCount = 0;
-var x;
-var iterator = {
+let nextCount = 0;
+let returnCount = 0;
+let x;
+let iterator = {
   next() {
     nextCount += 1;
 
@@ -35,7 +37,7 @@ var iterator = {
     returnCount += 1;
   }
 };
-var iterable = {
+let iterable = {
   [Symbol.iterator]() {
     return iterator;
   }
diff --git a/src/dstr-assignment-async-iteration/array-elem-trlg-iter-elision-iter-nrml-close.case b/src/dstr-assignment-async-iteration/array-elem-trlg-iter-elision-iter-nrml-close.case
index 57df4273cf..0ae8bcccaf 100644
--- a/src/dstr-assignment-async-iteration/array-elem-trlg-iter-elision-iter-nrml-close.case
+++ b/src/dstr-assignment-async-iteration/array-elem-trlg-iter-elision-iter-nrml-close.case
@@ -1,4 +1,4 @@
-// Copyright (C) 2016 the V8 project authors. All rights reserved.
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
 // This code is governed by the BSD license found in the LICENSE file.
 /*---
 desc: IteratorClose invoked when elision does not exhaust the iterator
@@ -7,19 +7,21 @@ info: |
         [ AssignmentElementList , Elisionopt AssignmentRestElementopt ]
 
     [...]
-    6. If Elision is present, then
+    5. If Elision is present, then
        a. Let status be the result of performing
           IteratorDestructuringAssignmentEvaluation of Elision with
           iteratorRecord as the argument.
        b. If status is an abrupt completion, then
-          [...]
-    8. If iteratorRecord.[[done]] is false, return IteratorClose(iterator,
+
+    [...]
+
+    7. If iteratorRecord.[[done]] is false, return IteratorClose(iterator,
        status).
 
-    7.4.6 IteratorClose( iterator, completion )
+    7.4.6 IteratorClose ( iterator, completion )
 
     [...]
-    6. Let innerResult be Call(return, iterator, « »).
+    5. Let innerResult be Call(return, iterator, « »).
     [...]
 features: [Symbol.iterator]
 template: async-generator
@@ -27,12 +29,12 @@ esid: sec-runtime-semantics-destructuringassignmentevaluation
 ---*/
 
 //- setup
-var nextCount = 0;
-var returnCount = 0;
-var thisValue = null;
-var args = null;
-var x;
-var iterator = {
+let nextCount = 0;
+let returnCount = 0;
+let thisValue = null;
+let args = null;
+let x;
+let iterator = {
   next() {
     nextCount += 1;
 
@@ -47,7 +49,7 @@ var iterator = {
     return {};
   }
 };
-var iterable = {
+let iterable = {
   [Symbol.iterator]() {
     return iterator;
   }
diff --git a/src/dstr-assignment-async-iteration/array-elem-trlg-iter-get-err.case b/src/dstr-assignment-async-iteration/array-elem-trlg-iter-get-err.case
new file mode 100644
index 0000000000..5fcb2eacb5
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/array-elem-trlg-iter-get-err.case
@@ -0,0 +1,33 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+desc: Abrupt completion returned from GetIterator
+info: |
+    ArrayAssignmentPattern :
+        [ AssignmentElementList , Elisionopt AssignmentRestElementopt ]
+
+    1. Let iterator be GetIterator(value).
+    2. ReturnIfAbrupt(iterator).
+features: [Symbol.iterator]
+template: async-generator
+es6id: 12.14.5.2
+esid: sec-runtime-semantics-destructuringassignmentevaluation
+---*/
+
+//- setup
+let iterable = {
+  [Symbol.iterator]() {
+    throw new Test262Error();
+  }
+};
+let x;
+//- elems
+[ x , ]
+//- vals
+iterable
+
+//- teardown
+iter.return().then(() => $DONE('Promise incorrectly fulfilled.'), ({ constructor }) => {
+  assert.sameValue(iterCount, 0);
+  assert.sameValue(constructor, Test262Error);
+}).then($DONE, $DONE);
diff --git a/src/dstr-assignment-async-iteration/array-elem-trlg-iter-list-nrml-close-err.case b/src/dstr-assignment-async-iteration/array-elem-trlg-iter-list-nrml-close-err.case
new file mode 100644
index 0000000000..fe44dc0900
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/array-elem-trlg-iter-list-nrml-close-err.case
@@ -0,0 +1,59 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+desc: Abrupt completion returned from IteratorClose
+info: |
+    ArrayAssignmentPattern :
+        [ AssignmentElementList , Elisionopt AssignmentRestElementopt ]
+
+    [...]
+    2. Let iteratorRecord be Record {[[Iterator]]: iterator, [[Done]]: false}.
+    3. Let status be the result of performing
+       IteratorDestructuringAssignmentEvaluation of AssignmentElementList using
+       iteratorRecord as the argument.
+    4. If status is an abrupt completion, then
+       a. If iteratorRecord.[[Done]] is false, return ? IteratorClose(iterator, status).
+       b. Return Completion(status).
+
+features: [Symbol.iterator]
+template: async-generator
+es6id: 12.14.5.2
+esid: sec-runtime-semantics-destructuringassignmentevaluation
+---*/
+
+//- setup
+let nextCount = 0;
+let returnCount = 0;
+let thrower = function() {
+  throw new Test262Error();
+};
+let x;
+let iterator = {
+  next() {
+    nextCount += 1;
+    return { done: nextCount > 10 };
+  },
+  return() {
+    returnCount += 1;
+    throw new Test262Error();
+  }
+};
+let iterable = {
+  [Symbol.iterator]() {
+    return iterator;
+  }
+};
+//- error
+Test262Error
+//- elems
+[ x , ]
+//- vals
+iterable
+//- teardown
+iter.next().then(() => $DONE('Promise incorrectly fulfilled.'), ({ constructor }) => {
+  assert.sameValue(nextCount, 1);
+  assert.sameValue(returnCount, 1);
+  assert.sameValue(constructor, Test262Error);
+}).then($DONE, $DONE);
+
+
diff --git a/src/dstr-assignment-async-iteration/array-elem-trlg-iter-list-nrml-close-null.case b/src/dstr-assignment-async-iteration/array-elem-trlg-iter-list-nrml-close-null.case
new file mode 100644
index 0000000000..8669d0013c
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/array-elem-trlg-iter-list-nrml-close-null.case
@@ -0,0 +1,65 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+desc: >
+    IteratorClose throws a TypeError when `return` returns a non-Object value
+info: |
+    ArrayAssignmentPattern :
+        [ AssignmentElementList , Elisionopt AssignmentRestElementopt ]
+
+    [...]
+    2. Let iteratorRecord be Record {[[Iterator]]: iterator, [[Done]]: false}.
+    3. Let status be the result of performing
+       IteratorDestructuringAssignmentEvaluation of AssignmentElementList using
+       iteratorRecord as the argument.
+    4. If status is an abrupt completion, then
+       a. If iteratorRecord.[[Done]] is false, return ? IteratorClose(iterator, status).
+       b. Return Completion(status).
+
+    7.4.6 IteratorClose( iterator, completion )
+
+    [...]
+    5. Let innerResult be Call(return, iterator, « »).
+    6. If completion.[[type]] is throw, return Completion(completion).
+    7. If innerResult.[[type]] is throw, return Completion(innerResult).
+    8. If Type(innerResult.[[value]]) is not Object, throw a TypeError
+       exception.
+
+features: [Symbol.iterator]
+template: async-generator
+es6id: 12.14.5.2
+esid: sec-runtime-semantics-destructuringassignmentevaluation
+---*/
+
+//- setup
+let x;
+let nextCount = 0;
+let iterator = {
+  next() {
+    nextCount += 1;
+    // Set an upper-bound to limit unnecessary iteration in non-conformant
+    // implementations
+    return { done: nextCount > 10 };
+  },
+  return() {
+    return null;
+  }
+};
+let iterable = {
+  [Symbol.iterator]() {
+    return iterator;
+  }
+};
+
+//- error
+TypeError
+//- elems
+[ x , ]
+//- vals
+iterable
+//- teardown
+iter.return().then(() => $DONE('Promise incorrectly fulfilled.'), ({ constructor }) => {
+  assert.sameValue(iterCount, 0);
+  assert.sameValue(constructor, TypeError);
+}).then($DONE, $DONE);
+
diff --git a/src/dstr-assignment-async-iteration/array-elem-trlg-iter-list-nrml-close-skip.case b/src/dstr-assignment-async-iteration/array-elem-trlg-iter-list-nrml-close-skip.case
index 6f94122f00..d1828dc29c 100644
--- a/src/dstr-assignment-async-iteration/array-elem-trlg-iter-list-nrml-close-skip.case
+++ b/src/dstr-assignment-async-iteration/array-elem-trlg-iter-list-nrml-close-skip.case
@@ -1,4 +1,4 @@
-// Copyright (C) 2016 the V8 project authors. All rights reserved.
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
 // This code is governed by the BSD license found in the LICENSE file.
 /*---
 desc: >
@@ -9,11 +9,11 @@ info: |
         [ AssignmentElementList , Elisionopt AssignmentRestElementopt ]
 
     [...]
-    3. Let iteratorRecord be Record {[[iterator]]: iterator, [[done]]: false}.
-    4. Let status be the result of performing
+    2. Let iteratorRecord be Record {[[iterator]]: iterator, [[done]]: false}.
+    3. Let status be the result of performing
        IteratorDestructuringAssignmentEvaluation of AssignmentElementList using
        iteratorRecord as the argument.
-    5. If status is an abrupt completion, then
+    4. If status is an abrupt completion, then
        a. If iteratorRecord.[[done]] is false, return IteratorClose(iterator,
           status).
        b. Return Completion(status).
@@ -23,13 +23,13 @@ esid: sec-runtime-semantics-destructuringassignmentevaluation
 ---*/
 
 //- setup
-var nextCount = 0;
-var returnCount = 0;
-var thrower = function() {
+let nextCount = 0;
+let returnCount = 0;
+let thrower = function() {
   throw new Test262Error();
 };
-var x;
-var iterator = {
+let x;
+let iterator = {
   next() {
     nextCount += 1;
     return { done: true };
@@ -38,7 +38,7 @@ var iterator = {
     returnCount += 1;
   }
 };
-var iterable = {
+let iterable = {
   [Symbol.iterator]() {
     return iterator;
   }
diff --git a/src/dstr-assignment-async-iteration/array-elem-trlg-iter-list-nrml-close.case b/src/dstr-assignment-async-iteration/array-elem-trlg-iter-list-nrml-close.case
index 792e09097a..04f371d5ac 100644
--- a/src/dstr-assignment-async-iteration/array-elem-trlg-iter-list-nrml-close.case
+++ b/src/dstr-assignment-async-iteration/array-elem-trlg-iter-list-nrml-close.case
@@ -1,4 +1,4 @@
-// Copyright (C) 2016 the V8 project authors. All rights reserved.
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
 // This code is governed by the BSD license found in the LICENSE file.
 /*---
 desc: >
@@ -9,19 +9,19 @@ info: |
         [ AssignmentElementList , Elisionopt AssignmentRestElementopt ]
 
     [...]
-    3. Let iteratorRecord be Record {[[iterator]]: iterator, [[done]]: false}.
-    4. Let status be the result of performing
+    2. Let iteratorRecord be Record {[[iterator]]: iterator, [[done]]: false}.
+    3. Let status be the result of performing
        IteratorDestructuringAssignmentEvaluation of AssignmentElementList using
        iteratorRecord as the argument.
-    5. If status is an abrupt completion, then
+    4. If status is an abrupt completion, then
        a. If iteratorRecord.[[done]] is false, return IteratorClose(iterator,
           status).
        b. Return Completion(status).
 
-    7.4.6 IteratorClose( iterator, completion )
+    7.4.6 IteratorClose ( iterator, completion )
 
     [...]
-    6. Let innerResult be Call(return, iterator, « »).
+    5. Let innerResult be Call(return, iterator, « »).
     [...]
 features: [Symbol.iterator]
 template: async-generator
@@ -29,12 +29,12 @@ esid: sec-runtime-semantics-destructuringassignmentevaluation
 ---*/
 
 //- setup
-var nextCount = 0;
-var returnCount = 0;
-var thisValue = null;
-var args = null;
-var x;
-var iterator = {
+let nextCount = 0;
+let returnCount = 0;
+let thisValue = null;
+let args = null;
+let x;
+let iterator = {
   next() {
     nextCount += 1;
     // Set an upper-bound to limit unnecessary iteration in non-conformant
@@ -48,7 +48,7 @@ var iterator = {
     return {};
   }
 };
-var iterable = {
+let iterable = {
   [Symbol.iterator]() {
     return iterator;
   }
diff --git a/src/dstr-assignment-async-iteration/array-elem-trlg-iter-list-rtrn-close-err.case b/src/dstr-assignment-async-iteration/array-elem-trlg-iter-list-rtrn-close-err.case
new file mode 100644
index 0000000000..2842001302
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/array-elem-trlg-iter-list-rtrn-close-err.case
@@ -0,0 +1,60 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+desc: >
+    IteratorClose is invoked when evaluation of AssignmentElementList returns
+    a "return" completion and the iterator has not been marked as "done"
+info: |
+    ArrayAssignmentPattern :
+        [ AssignmentElementList , Elisionopt AssignmentRestElementopt ]
+
+    [...]
+    2. Let iteratorRecord be Record {[[Iterator]]: iterator, [[Done]]: false}.
+    3. Let status be the result of performing
+       IteratorDestructuringAssignmentEvaluation of AssignmentElementList using
+       iteratorRecord as the argument.
+    4. If status is an abrupt completion, then
+       a. If iteratorRecord.[[Done]] is false, return ? IteratorClose(iterator, status).
+       b. Return Completion(status).
+
+    7.4.6 IteratorClose( iterator, completion )
+
+    [...]
+    5. Let innerResult be Call(return, iterator, « »).
+    6. If completion.[[type]] is throw, return Completion(completion).
+    7. If innerResult.[[type]] is throw, return Completion(innerResult).
+
+features: [Symbol.iterator, generators]
+template: async-generator
+es6id: 12.14.5.2
+esid: sec-runtime-semantics-destructuringassignmentevaluation
+---*/
+
+//- setup
+let returnCount = 0;
+let unreachable = 0;
+let iterator = {
+  return() {
+    returnCount += 1;
+
+    throw new Test262Error();
+  }
+};
+let iterable = {
+  [Symbol.iterator]() {
+    return iterator;
+  }
+};
+
+//- elems
+[ {}[yield] , ]
+//- vals
+iterable
+//- body
+unreachable += 1;
+//- teardown
+iter.return().then(() => $DONE('Promise incorrectly fulfilled.'), ({ constructor }) => {
+  assert.sameValue(returnCount, 1);
+  assert.sameValue(unreachable, 0, 'Unreachable statement was not executed');
+  assert.sameValue(constructor, Test262Error);
+}).then($DONE, $DONE);
diff --git a/src/dstr-assignment-async-iteration/array-elem-trlg-iter-list-rtrn-close-null.case b/src/dstr-assignment-async-iteration/array-elem-trlg-iter-list-rtrn-close-null.case
new file mode 100644
index 0000000000..7b8971233e
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/array-elem-trlg-iter-list-rtrn-close-null.case
@@ -0,0 +1,55 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+desc: >
+    IteratorClose throws a TypeError when `return` returns a non-Object value
+info: |
+    ArrayAssignmentPattern :
+        [ AssignmentElementList , Elisionopt AssignmentRestElementopt ]
+
+    [...]
+    2. Let iteratorRecord be Record {[[Iterator]]: iterator, [[Done]]: false}.
+    3. Let status be the result of performing
+       IteratorDestructuringAssignmentEvaluation of AssignmentElementList using
+       iteratorRecord as the argument.
+    4. If status is an abrupt completion, then
+       a. If iteratorRecord.[[Done]] is false, return ? IteratorClose(iterator, status).
+       b. Return Completion(status).
+
+    7.4.6 IteratorClose( iterator, completion )
+
+    [...]
+    5. Let innerResult be Call(return, iterator, « »).
+    6. If completion.[[type]] is throw, return Completion(completion).
+    7. If innerResult.[[type]] is throw, return Completion(innerResult).
+    8. If Type(innerResult.[[value]]) is not Object, throw a TypeError
+       exception.
+
+features: [Symbol.iterator, generators]
+template: async-generator
+es6id: 12.14.5.2
+esid: sec-runtime-semantics-destructuringassignmentevaluation
+---*/
+
+//- setup
+let iterator = {
+  return() {
+    return null;
+  }
+};
+let iterable = {
+  [Symbol.iterator]() {
+    return iterator;
+  }
+};
+
+
+//- elems
+  [ {}[yield] , ]
+//- vals
+iterable
+//- teardown
+iter.return().then(() => $DONE('Promise incorrectly fulfilled.'), ({ constructor }) => {
+  assert.sameValue(iterCount, 0);
+  assert.sameValue(constructor, TypeError);
+}).then($DONE, $DONE);
diff --git a/src/dstr-assignment-async-iteration/array-elem-trlg-iter-list-rtrn-close.case b/src/dstr-assignment-async-iteration/array-elem-trlg-iter-list-rtrn-close.case
new file mode 100644
index 0000000000..bb04127070
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/array-elem-trlg-iter-list-rtrn-close.case
@@ -0,0 +1,68 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+desc: >
+    IteratorClose is invoked when evaluation of AssignmentElementList returns
+    a "return" completion and the iterator has not been marked as "done"
+info: |
+    ArrayAssignmentPattern :
+        [ AssignmentElementList , Elisionopt AssignmentRestElementopt ]
+
+    [...]
+    2. Let iteratorRecord be Record {[[Iterator]]: iterator, [[Done]]: false}.
+    3. Let status be the result of performing
+       IteratorDestructuringAssignmentEvaluation of AssignmentElementList using
+       iteratorRecord as the argument.
+    4. If status is an abrupt completion, then
+       a. If iteratorRecord.[[Done]] is false, return ? IteratorClose(iterator, status).
+       b. Return Completion(status).
+
+    7.4.6 IteratorClose( iterator, completion )
+
+    [...]
+    5. Let innerResult be Call(return, iterator, « »).
+    6. If completion.[[type]] is throw, return Completion(completion).
+    7. If innerResult.[[type]] is throw, return Completion(innerResult).
+
+features: [Symbol.iterator, generators]
+template: async-generator
+es6id: 12.14.5.2
+esid: sec-runtime-semantics-destructuringassignmentevaluation
+---*/
+
+//- setup
+let returnCount = 0;
+let unreachable = 0;
+let thisValue = null;
+let args = null;
+let iterator = {
+  return() {
+    returnCount += 1;
+    thisValue = this;
+    args = arguments;
+    return {};
+  }
+};
+let iterable = {
+  [Symbol.iterator]() {
+    return iterator;
+  }
+};
+
+
+//- elems
+[ {}[yield] , ]
+//- vals
+iterable
+//- body
+  unreachable += 1;
+//- teardown
+iter.return(888).then(result => {
+  assert.sameValue(returnCount, 1);
+  assert.sameValue(unreachable, 0, 'Unreachable statement was not executed');
+  assert.sameValue(result.value, 888);
+  assert(result.done, 'Iterator correctly closed');
+  assert.sameValue(thisValue, iterator, 'correct `this` value');
+  assert(!!args, 'arguments object provided');
+  assert.sameValue(args.length, 0, 'zero arguments specified');
+}).then($DONE, $DONE);
diff --git a/src/dstr-assignment-async-iteration/array-elem-trlg-iter-list-thrw-close-skip.case b/src/dstr-assignment-async-iteration/array-elem-trlg-iter-list-thrw-close-skip.case
new file mode 100644
index 0000000000..c01dd08a5a
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/array-elem-trlg-iter-list-thrw-close-skip.case
@@ -0,0 +1,58 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+desc: >
+    IteratorClose is not invoked when evaluation of AssignmentElementList
+    returns an abrupt completion and the iterator has been marked as "done"
+info: |
+    ArrayAssignmentPattern :
+        [ AssignmentElementList , Elisionopt AssignmentRestElementopt ]
+
+    [...]
+    3. Let iteratorRecord be Record {[[iterator]]: iterator, [[done]]: false}.
+    4. Let status be the result of performing
+       IteratorDestructuringAssignmentEvaluation of AssignmentElementList using
+       iteratorRecord as the argument.
+    5. If status is an abrupt completion, then
+       a. If iteratorRecord.[[done]] is false, return IteratorClose(iterator,
+          status).
+       b. Return Completion(status).
+features: [Symbol.iterator]
+template: async-generator
+es6id: 12.14.5.2
+esid: sec-runtime-semantics-destructuringassignmentevaluation
+---*/
+
+//- setup
+let nextCount = 0;
+let returnCount = 0;
+let iterable = {};
+let thrower = function() {
+  throw new Test262Error();
+};
+let iterator = {
+  next() {
+    nextCount += 1;
+    throw new Test262Error();
+  },
+  return() {
+    returnCount += 1;
+  }
+};
+iterable[Symbol.iterator] = function() {
+  return iterator;
+};
+let x;
+//- error
+Test262Error
+//- elems
+[ x , ]
+//- vals
+iterable
+//- teardown
+iter.next().then(() => $DONE('Promise incorrectly fulfilled.'), ({ constructor }) => {
+  assert.sameValue(nextCount, 1);
+  assert.sameValue(returnCount, 0);
+  assert.sameValue(iterCount, 0);
+  assert.sameValue(constructor, Test262Error);
+}).then($DONE, $DONE);
diff --git a/src/dstr-assignment-async-iteration/array-elem-trlg-iter-rest-nrml-close-skip.case b/src/dstr-assignment-async-iteration/array-elem-trlg-iter-rest-nrml-close-skip.case
new file mode 100644
index 0000000000..892f618f8b
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/array-elem-trlg-iter-rest-nrml-close-skip.case
@@ -0,0 +1,55 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+desc: >
+    IteratorClose is not called when rest element evaluation has exhausted the
+    iterator
+info: |
+    ArrayAssignmentPattern :
+        [ AssignmentElementList , Elisionopt AssignmentRestElementopt ]
+
+    [...]
+    6. If AssignmentRestElement is present, then
+       a. Let status be the result of performing
+          IteratorDestructuringAssignmentEvaluation of AssignmentRestElement
+          with iteratorRecord as the argument.
+    7. If iteratorRecord.[[Done]] is false, return ? IteratorClose(iterator, status).
+    8. Return Completion(status).
+
+features: [Symbol.iterator]
+template: async-generator
+es6id: 12.14.5.2
+esid: sec-runtime-semantics-destructuringassignmentevaluation
+---*/
+
+//- setup
+let nextCount = 0;
+let returnCount = 0;
+let x, y;
+let iterator = {
+  next() {
+    nextCount += 1;
+    return { value: nextCount, done: nextCount > 1 };
+  },
+  return() {
+    returnCount += 1;
+  }
+};
+let iterable = {
+  [Symbol.iterator]() {
+    return iterator;
+  }
+};
+//- elems
+[ x , ...y ]
+//- vals
+iterable
+//- teardown
+iter.next().then(() => {
+  iter.return().then(() => {
+    assert.sameValue(nextCount, 2, 'nextCount');
+    assert.sameValue(returnCount, 0, 'returnCount');
+    assert.sameValue(x, 1, 'x');
+    assert.sameValue(y.length, 0, 'y.length');
+  }).then($DONE, $DONE);
+}).then($DONE, $DONE);
diff --git a/src/dstr-assignment-async-iteration/array-elem-trlg-iter-rest-rtrn-close-err.case b/src/dstr-assignment-async-iteration/array-elem-trlg-iter-rest-rtrn-close-err.case
new file mode 100644
index 0000000000..c283de7cbf
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/array-elem-trlg-iter-rest-rtrn-close-err.case
@@ -0,0 +1,69 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+desc: >
+    IteratorClose is called when AssignmentRestEvaluation produces a "return"
+    completion due to reference evaluation
+info: |
+    ArrayAssignmentPattern :
+        [ AssignmentElementList , Elisionopt AssignmentRestElementopt ]
+
+    [...]
+    6. If AssignmentRestElement is present, then
+       a. Let status be the result of performing
+          IteratorDestructuringAssignmentEvaluation of AssignmentRestElement
+          with iteratorRecord as the argument.
+    7. If iteratorRecord.[[Done]] is false, return ? IteratorClose(iterator, status).
+    8. Return Completion(status).
+
+    7.4.6 IteratorClose ( iterator, completion )
+
+    [...]
+    5. Let innerResult be Call(return, iterator, « »).
+    6. If completion.[[type]] is throw, return Completion(completion).
+    7. If innerResult.[[type]] is throw, return Completion(innerResult).
+
+features: [Symbol.iterator, generators]
+template: async-generator
+es6id: 12.14.5.2
+esid: sec-runtime-semantics-destructuringassignmentevaluation
+---*/
+
+//- setup
+let nextCount = 0;
+let returnCount = 0;
+let unreachable = 0;
+let x;
+let iterator = {
+  next() {
+    nextCount += 1;
+    // Set an upper-bound to limit unnecessary iteration in non-conformant
+    // implementations
+    return { done: nextCount > 10 };
+  },
+  return() {
+    returnCount += 1;
+
+    throw new Test262Error();
+  }
+};
+let iterable = {
+  [Symbol.iterator]() {
+    return iterator;
+  }
+};
+
+//- elems
+[ x , ...{}[yield] ]
+//- vals
+iterable
+//- body
+  unreachable += 1;
+//- teardown
+iter.next().then(() => {
+  iter.return().then(() => $DONE('Promise incorrectly fulfilled.'), ({ constructor }) => {
+    assert.sameValue(nextCount, 1);
+    assert.sameValue(returnCount, 1);
+    assert.sameValue(constructor, Test262Error);
+  }).then($DONE, $DONE);
+}).then($DONE, $DONE);
diff --git a/src/dstr-assignment-async-iteration/array-elem-trlg-iter-rest-rtrn-close-null.case b/src/dstr-assignment-async-iteration/array-elem-trlg-iter-rest-rtrn-close-null.case
new file mode 100644
index 0000000000..69681bac10
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/array-elem-trlg-iter-rest-rtrn-close-null.case
@@ -0,0 +1,60 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+desc: >
+    IteratorClose throws a TypeError when `return` returns a non-Object value
+info: |
+    ArrayAssignmentPattern :
+        [ AssignmentElementList , Elisionopt AssignmentRestElementopt ]
+
+    [...]
+    6. If AssignmentRestElement is present, then
+       a. Let status be the result of performing
+          IteratorDestructuringAssignmentEvaluation of AssignmentRestElement
+          with iteratorRecord as the argument.
+    7. If iteratorRecord.[[Done]] is false, return ? IteratorClose(iterator, status).
+    8. Return Completion(status).
+
+    7.4.6 IteratorClose ( iterator, completion )
+
+    [...]
+    5. Let innerResult be Call(return, iterator, « »).
+    6. If completion.[[type]] is throw, return Completion(completion).
+    7. If innerResult.[[type]] is throw, return Completion(innerResult).
+
+features: [Symbol.iterator, generators]
+template: async-generator
+es6id: 12.14.5.2
+esid: sec-runtime-semantics-destructuringassignmentevaluation
+---*/
+
+//- setup
+let nextCount = 0;
+let x;
+let iterator = {
+  next() {
+    nextCount += 1;
+    // Set an upper-bound to limit unnecessary iteration in non-conformant
+    // implementations
+    return { done: nextCount > 10 };
+  },
+  return() {
+    return null;
+  }
+};
+let iterable = {
+  [Symbol.iterator]() {
+    return iterator;
+  }
+};
+
+//- elems
+[ x , ...{}[yield] ]
+//- vals
+iterable
+//- teardown
+iter.return().then(() => $DONE('Promise incorrectly fulfilled.'), ({ constructor }) => {
+  assert.sameValue(nextCount, 1);
+  assert.sameValue(constructor, Test262Error);
+}).then($DONE, $DONE);
+
diff --git a/src/dstr-assignment-async-iteration/array-elision-iter-nrml-close-skip.case b/src/dstr-assignment-async-iteration/array-elision-iter-nrml-close-skip.case
index 43a0ee8a03..7edf63e32f 100644
--- a/src/dstr-assignment-async-iteration/array-elision-iter-nrml-close-skip.case
+++ b/src/dstr-assignment-async-iteration/array-elision-iter-nrml-close-skip.case
@@ -1,4 +1,4 @@
-// Copyright (C) 2016 the V8 project authors. All rights reserved.
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
 // This code is governed by the BSD license found in the LICENSE file.
 /*---
 desc: >
@@ -6,10 +6,11 @@ desc: >
 info: |
     ArrayAssignmentPattern : [ Elision ]
 
-    1. Let iterator be GetIterator(value).
+    1. Let iterator be ? GetIterator(value).
+
     [...]
-    5. If iteratorRecord.[[done]] is false, return IteratorClose(iterator,
-       result).
+
+    4. If iteratorRecord.[[Done]] is false, return ? IteratorClose(iterator, result)..
     [...]
 features: [Symbol.iterator]
 template: async-generator
@@ -17,9 +18,9 @@ esid: sec-runtime-semantics-destructuringassignmentevaluation
 ---*/
 
 //- setup
-var nextCount = 0;
-var returnCount = 0;
-var iterator = {
+let nextCount = 0;
+let returnCount = 0;
+let iterator = {
   next() {
     nextCount += 1;
     return { done: true };
@@ -29,7 +30,7 @@ var iterator = {
     return {};
   }
 };
-var iterable = {
+let iterable = {
   [Symbol.iterator]() {
     return iterator;
   }
diff --git a/src/dstr-assignment-async-iteration/array-elision-iter-nrml-close.case b/src/dstr-assignment-async-iteration/array-elision-iter-nrml-close.case
index 5ec6cbbfd0..b4093905f4 100644
--- a/src/dstr-assignment-async-iteration/array-elision-iter-nrml-close.case
+++ b/src/dstr-assignment-async-iteration/array-elision-iter-nrml-close.case
@@ -1,4 +1,4 @@
-// Copyright (C) 2016 the V8 project authors. All rights reserved.
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
 // This code is governed by the BSD license found in the LICENSE file.
 /*---
 desc: >
@@ -7,16 +7,17 @@ desc: >
 info: |
     ArrayAssignmentPattern : [ Elision ]
 
-    1. Let iterator be GetIterator(value).
+    1. Let iterator be ? GetIterator(value).
+
     [...]
-    5. If iteratorRecord.[[done]] is false, return IteratorClose(iterator,
-       result).
+
+    4. If iteratorRecord.[[Done]] is false, return ? IteratorClose(iterator, result)..
     [...]
 
-    7.4.6 IteratorClose( iterator, completion )
+    7.4.6 IteratorClose ( iterator, completion )
 
     [...]
-    6. Let innerResult be Call(return, iterator, « »).
+    5. Let innerResult be Call(return, iterator, « »).
     [...]
 features: [Symbol.iterator]
 template: async-generator
@@ -24,11 +25,11 @@ esid: sec-runtime-semantics-destructuringassignmentevaluation
 ---*/
 
 //- setup
-var nextCount = 0;
-var returnCount = 0;
-var thisValue = null;
-var args = null;
-var iterator = {
+let nextCount = 0;
+let returnCount = 0;
+let thisValue = null;
+let args = null;
+let iterator = {
   next() {
     nextCount += 1;
     // Set an upper-bound to limit unnecessary iteration in non-conformant
@@ -42,7 +43,7 @@ var iterator = {
     return {};
   }
 };
-var iterable = {
+let iterable = {
   [Symbol.iterator]() {
     return iterator;
   }
diff --git a/src/dstr-assignment-async-iteration/array-elision-val-array.case b/src/dstr-assignment-async-iteration/array-elision-val-array.case
index 5502f29878..24817be114 100644
--- a/src/dstr-assignment-async-iteration/array-elision-val-array.case
+++ b/src/dstr-assignment-async-iteration/array-elision-val-array.case
@@ -1,4 +1,4 @@
-// Copyright (C) 2015 the V8 project authors. All rights reserved.
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
 // This code is governed by the BSD license found in the LICENSE file.
 /*---
 desc: >
diff --git a/src/dstr-assignment-async-iteration/array-elision-val-string.case b/src/dstr-assignment-async-iteration/array-elision-val-string.case
index 4c6f1083a0..c7dba9e147 100644
--- a/src/dstr-assignment-async-iteration/array-elision-val-string.case
+++ b/src/dstr-assignment-async-iteration/array-elision-val-string.case
@@ -1,4 +1,4 @@
-// Copyright (C) 2015 the V8 project authors. All rights reserved.
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
 // This code is governed by the BSD license found in the LICENSE file.
 /*---
 desc: >
diff --git a/src/dstr-assignment-async-iteration/array-empty-iter-close.case b/src/dstr-assignment-async-iteration/array-empty-iter-close.case
index 95222bd089..36136e5813 100644
--- a/src/dstr-assignment-async-iteration/array-empty-iter-close.case
+++ b/src/dstr-assignment-async-iteration/array-empty-iter-close.case
@@ -1,4 +1,4 @@
-// Copyright (C) 2016 the V8 project authors. All rights reserved.
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
 // This code is governed by the BSD license found in the LICENSE file.
 /*---
 desc: Iterator is closed without iterating
@@ -9,10 +9,10 @@ info: |
     2. ReturnIfAbrupt(iterator).
     3. Return IteratorClose(iterator, NormalCompletion(empty)).
 
-    7.4.6 IteratorClose( iterator, completion )
+    7.4.6 IteratorClose ( iterator, completion )
 
     [...]
-    6. Let innerResult be Call(return, iterator, « »).
+    5. Let innerResult be Call(return, iterator, « »).
     [...]
 features: [Symbol.iterator]
 template: async-generator
@@ -20,11 +20,11 @@ esid: sec-runtime-semantics-destructuringassignmentevaluation
 ---*/
 
 //- setup
-var nextCount = 0;
-var returnCount = 0;
-var thisValue = null;
-var args = null;
-var iterator = {
+let nextCount = 0;
+let returnCount = 0;
+let thisValue = null;
+let args = null;
+let iterator = {
   next() {
     nextCount += 1;
     return { done: true };
@@ -36,7 +36,7 @@ var iterator = {
     return {};
   }
 };
-var iterable = {
+let iterable = {
   [Symbol.iterator]() {
     return iterator;
   }
diff --git a/src/dstr-assignment-async-iteration/array-empty-val-array.case b/src/dstr-assignment-async-iteration/array-empty-val-array.case
index 8961f02b65..7f9aaf7643 100644
--- a/src/dstr-assignment-async-iteration/array-empty-val-array.case
+++ b/src/dstr-assignment-async-iteration/array-empty-val-array.case
@@ -1,4 +1,4 @@
-// Copyright (C) 2015 the V8 project authors. All rights reserved.
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
 // This code is governed by the BSD license found in the LICENSE file.
 
 /*---
diff --git a/src/dstr-assignment-async-iteration/array-empty-val-string.case b/src/dstr-assignment-async-iteration/array-empty-val-string.case
index 5f395686bd..6d6d18a3c3 100644
--- a/src/dstr-assignment-async-iteration/array-empty-val-string.case
+++ b/src/dstr-assignment-async-iteration/array-empty-val-string.case
@@ -1,4 +1,4 @@
-// Copyright (C) 2015 the V8 project authors. All rights reserved.
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
 // This code is governed by the BSD license found in the LICENSE file.
 
 /*---
diff --git a/src/dstr-assignment-async-iteration/array-rest-after-element.case b/src/dstr-assignment-async-iteration/array-rest-after-element.case
index adb195276c..df52c96847 100644
--- a/src/dstr-assignment-async-iteration/array-rest-after-element.case
+++ b/src/dstr-assignment-async-iteration/array-rest-after-element.case
@@ -1,4 +1,4 @@
-// Copyright (C) 2015 the V8 project authors. All rights reserved.
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
 // This code is governed by the BSD license found in the LICENSE file.
 
 /*---
@@ -10,7 +10,7 @@ es6id: 12.14.5.3
 ---*/
 
 //- setup
-var x, y;
+let x, y;
 //- elems
 [x, ...y]
 //- vals
diff --git a/src/dstr-assignment-async-iteration/array-rest-after-elision.case b/src/dstr-assignment-async-iteration/array-rest-after-elision.case
index de37221eca..5dd350dd41 100644
--- a/src/dstr-assignment-async-iteration/array-rest-after-elision.case
+++ b/src/dstr-assignment-async-iteration/array-rest-after-elision.case
@@ -1,4 +1,4 @@
-// Copyright (C) 2015 the V8 project authors. All rights reserved.
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
 // This code is governed by the BSD license found in the LICENSE file.
 
 /*---
@@ -9,7 +9,7 @@ template: default
 ---*/
 
 //- setup
-var x;
+let x;
 //- elems
 [, ...x]
 //- vals
diff --git a/src/dstr-assignment-async-iteration/array-rest-elision.case b/src/dstr-assignment-async-iteration/array-rest-elision.case
index f505175c1d..17f9c868c8 100644
--- a/src/dstr-assignment-async-iteration/array-rest-elision.case
+++ b/src/dstr-assignment-async-iteration/array-rest-elision.case
@@ -1,4 +1,4 @@
-// Copyright (C) 2015 the V8 project authors. All rights reserved.
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
 // This code is governed by the BSD license found in the LICENSE file.
 
 /*---
@@ -9,7 +9,7 @@ template: default
 ---*/
 
 //- setup
-var x, y;
+let x, y;
 //- elems
 [, , x, , ...y]
 //- vals
diff --git a/src/dstr-assignment-async-iteration/array-rest-iter-nrml-close-skip.case b/src/dstr-assignment-async-iteration/array-rest-iter-nrml-close-skip.case
index 621cb76019..297d7d4f78 100644
--- a/src/dstr-assignment-async-iteration/array-rest-iter-nrml-close-skip.case
+++ b/src/dstr-assignment-async-iteration/array-rest-iter-nrml-close-skip.case
@@ -1,4 +1,4 @@
-// Copyright (C) 2016 the V8 project authors. All rights reserved.
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
 // This code is governed by the BSD license found in the LICENSE file.
 /*---
 desc: >
@@ -8,22 +8,21 @@ info: |
     ArrayAssignmentPattern : [ Elisionopt AssignmentRestElement ]
 
     [...]
-    5. Let result be the result of performing
-       IteratorDestructuringAssignmentEvaluation of AssignmentRestElement with
-       iteratorRecord as the argument
-    6. If iteratorRecord.[[done]] is false, return IteratorClose(iterator,
-       result).
-    7. Return result.
+    4. Let result be the result of performing
+      IteratorDestructuringAssignmentEvaluation of AssignmentRestElement
+      with iteratorRecord as the argument.
+    5. If iteratorRecord.[[Done]] is false, return ? IteratorClose(iterator, result).
+    6. Return result.
 features: [Symbol.iterator]
 template: async-generator
 esid: sec-runtime-semantics-destructuringassignmentevaluation
 ---*/
 
 //- setup
-var nextCount = 0;
-var returnCount = 0;
-var x;
-var iterator = {
+let nextCount = 0;
+let returnCount = 0;
+let x;
+let iterator = {
   next() {
     nextCount += 1;
     return { done: true };
@@ -32,7 +31,7 @@ var iterator = {
     returnCount += 1;
   }
 };
-var iterable = {
+let iterable = {
   [Symbol.iterator]() {
     return iterator;
   }
@@ -45,10 +44,7 @@ iterable
 assert.sameValue(nextCount, 1);
 assert.sameValue(returnCount, 0);
 
-
-iter.next().then(() => {
-  assert.throws(Test262Error, () => iter.return());
-  assert.sameValue(returnCount, 1);
-  assert.sameValue(unreachable, 0, 'Unreachable statement was not executed');
-})
-
+//- teardown
+iter.next()
+  .then(() => assert.sameValue(iterCount, 1, 'iteration occurred as expected'), $DONE)
+  .then($DONE, $DONE);
diff --git a/src/dstr-assignment-async-iteration/array-rest-iter-rtrn-close-err.case b/src/dstr-assignment-async-iteration/array-rest-iter-rtrn-close-err.case
deleted file mode 100644
index e7395c69c5..0000000000
--- a/src/dstr-assignment-async-iteration/array-rest-iter-rtrn-close-err.case
+++ /dev/null
@@ -1,65 +0,0 @@
-// Copyright (C) 2016 the V8 project authors. All rights reserved.
-// This code is governed by the BSD license found in the LICENSE file.
-/*---
-desc: >
-    IteratorClose is called when reference evaluation produces a "return"
-    completion
-info: |
-    ArrayAssignmentPattern : [ Elisionopt AssignmentRestElement ]
-
-    [...]
-    5. Let result be the result of performing
-       IteratorDestructuringAssignmentEvaluation of AssignmentRestElement with
-       iteratorRecord as the argument
-    6. If iteratorRecord.[[done]] is false, return IteratorClose(iterator,
-       result).
-
-    AssignmentRestElement[Yield] : ... DestructuringAssignmentTarget
-
-    1. If DestructuringAssignmentTarget is neither an ObjectLiteral nor an
-       ArrayLiteral, then
-       a. Let lref be the result of evaluating DestructuringAssignmentTarget.
-       b. ReturnIfAbrupt(lref).
-
-    7.4.6 IteratorClose( iterator, completion )
-
-    [...]
-    6. Let innerResult be Call(return, iterator, « »).
-    7. If completion.[[type]] is throw, return Completion(completion).
-    8. If innerResult.[[type]] is throw, return Completion(innerResult).
-features: [Symbol.iterator, generators]
-template: async-generator
-esid: sec-runtime-semantics-destructuringassignmentevaluation
----*/
-
-//- setup
-function ReturnError() {}
-var returnCount = 0;
-var unreachable = 0;
-var iterator = {
-  return() {
-    returnCount += 1;
-
-    throw new Test262Error();
-  }
-};
-var iterable = {
-  [Symbol.iterator]() {
-    return iterator;
-  }
-};
-
-//- elems
-[...{}[yield]]
-//- vals
-iterable
-//- body
-unreachable += 1;
-//- teardown
-
-iter.next().then(() => {
-  assert.throws(Test262Error, () => iter.return());
-  assert.sameValue(returnCount, 1);
-  assert.sameValue(unreachable, 0, 'Unreachable statement was not executed');
-}).then($DONE, $DONE);
-
diff --git a/src/dstr-assignment-async-iteration/array-rest-iter-rtrn-close-null.case b/src/dstr-assignment-async-iteration/array-rest-iter-rtrn-close-null.case
deleted file mode 100644
index 169c106f01..0000000000
--- a/src/dstr-assignment-async-iteration/array-rest-iter-rtrn-close-null.case
+++ /dev/null
@@ -1,66 +0,0 @@
-// Copyright (C) 2016 the V8 project authors. All rights reserved.
-// This code is governed by the BSD license found in the LICENSE file.
-/*---
-desc: >
-    IteratorClose throws a TypeError when `return` returns a non-Object value
-info: |
-    ArrayAssignmentPattern : [ Elisionopt AssignmentRestElement ]
-
-    [...]
-    5. Let result be the result of performing
-       IteratorDestructuringAssignmentEvaluation of AssignmentRestElement with
-       iteratorRecord as the argument
-    6. If iteratorRecord.[[done]] is false, return IteratorClose(iterator,
-       result).
-
-    AssignmentRestElement[Yield] : ... DestructuringAssignmentTarget
-
-    1. If DestructuringAssignmentTarget is neither an ObjectLiteral nor an
-       ArrayLiteral, then
-       a. Let lref be the result of evaluating DestructuringAssignmentTarget.
-       b. ReturnIfAbrupt(lref).
-
-    7.4.6 IteratorClose( iterator, completion )
-
-    [...]
-    6. Let innerResult be Call(return, iterator, « »).
-    [...]
-
-    7.4.6 IteratorClose( iterator, completion )
-
-    [...]
-    6. Let innerResult be Call(return, iterator, « »).
-    7. If completion.[[type]] is throw, return Completion(completion).
-    8. If innerResult.[[type]] is throw, return Completion(innerResult).
-features: [Symbol.iterator, generators]
-template: async-generator
-esid: sec-runtime-semantics-destructuringassignmentevaluation
----*/
-
-//- setup
-var iterable = {};
-var iterator = {
-  return() {
-    return null;
-  }
-};
-var iterable = {
-  [Symbol.iterator]() {
-    return iterator;
-  }
-};
-
-
-//- elems
-[...{}[yield]]
-//- vals
-iterable
-//- teardown
-
-
-iter.next().then(() => {
-  assert.throws(Test262Error, () => iter.return());
-  assert.sameValue(returnCount, 1);
-  assert.sameValue(unreachable, 0, 'Unreachable statement was not executed');
-}).then($DONE, $DONE);
-
diff --git a/src/dstr-assignment-async-iteration/array-rest-iter-rtrn-close.case b/src/dstr-assignment-async-iteration/array-rest-iter-rtrn-close.case
deleted file mode 100644
index ccb3e18914..0000000000
--- a/src/dstr-assignment-async-iteration/array-rest-iter-rtrn-close.case
+++ /dev/null
@@ -1,83 +0,0 @@
-// Copyright (C) 2017 the V8 project authors. All rights reserved.
-// This code is governed by the BSD license found in the LICENSE file.
-/*---
-desc: >
-    IteratorClose is called when reference evaluation produces a "return"
-    completion
-info: |
-    ArrayAssignmentPattern : [ Elisionopt AssignmentRestElement ]
-
-    [...]
-    5. Let result be the result of performing
-       IteratorDestructuringAssignmentEvaluation of AssignmentRestElement with
-       iteratorRecord as the argument
-    6. If iteratorRecord.[[done]] is false, return IteratorClose(iterator,
-       result).
-
-    AssignmentRestElement[Yield] : ... DestructuringAssignmentTarget
-
-    1. If DestructuringAssignmentTarget is neither an ObjectLiteral nor an
-       ArrayLiteral, then
-       a. Let lref be the result of evaluating DestructuringAssignmentTarget.
-       b. ReturnIfAbrupt(lref).
-
-    7.4.6 IteratorClose( iterator, completion )
-
-    [...]
-    6. Let innerResult be Call(return, iterator, « »).
-    [...]
-
-    7.4.6 IteratorClose( iterator, completion )
-
-    [...]
-    6. Let innerResult be Call(return, iterator, « »).
-    7. If completion.[[type]] is throw, return Completion(completion).
-    8. If innerResult.[[type]] is throw, return Completion(innerResult).
-features: [Symbol.iterator, generators]
-template: async-generator
-esid: sec-runtime-semantics-destructuringassignmentevaluation
----*/
-
-//- setup
-var returnCount = 0;
-var unreachable = 0;
-var thisValue = null;
-var args = null;
-var iterator = {
-  return() {
-    returnCount += 1;
-    thisValue = this;
-    args = arguments;
-    return {};
-  }
-};
-var iterable = {
-  [Symbol.iterator]() {
-    return iterator;
-  }
-};
-
-//- elems
-[...{}[yield]]
-//- vals
-iterable
-//- body
-unreachable += 1;
-//- teardown
-
-
-iter.next().then(() => {
-  iter.return(444).then(result => {
-    assert.sameValue(returnCount, 1);
-    assert.sameValue(unreachable, 0, 'Unreachable statement was not executed');
-    assert.sameValue(result.value, 444);
-    assert(result.done, 'Iterator correctly closed');
-    assert.sameValue(thisValue, iterator, 'correct `this` value');
-    assert(!!args, 'arguments object provided');
-    assert.sameValue(args.length, 0, 'zero arguments specified');
-  }).then($DONE, $DONE);
-});
-
-
-
-
diff --git a/src/dstr-assignment-async-iteration/array-rest-iteration.case b/src/dstr-assignment-async-iteration/array-rest-iteration.case
index fbe10e8a7f..effa4f6744 100644
--- a/src/dstr-assignment-async-iteration/array-rest-iteration.case
+++ b/src/dstr-assignment-async-iteration/array-rest-iteration.case
@@ -1,4 +1,4 @@
-// Copyright (C) 2015 the V8 project authors. All rights reserved.
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
 // This code is governed by the BSD license found in the LICENSE file.
 
 /*---
@@ -11,15 +11,15 @@ features: [generators]
 ---*/
 
 //- setup
-var count = 0;
-var g = function*() {
+let count = 0;
+let g = function*() {
   count += 1;
   yield;
   count += 1;
   yield;
   count += 1;
 }
-var x;
+let x;
 //- elems
 [...x]
 //- vals
@@ -27,4 +27,9 @@ g()
 //- body
 assert.sameValue(count, 3);
 
+//- teardown
+promise
+  .then(() => assert.sameValue(iterCount, 1, 'iteration occurred as expected'), $DONE)
+  .then($DONE, $DONE);
+
 
diff --git a/src/dstr-assignment-async-iteration/array-rest-lref.case b/src/dstr-assignment-async-iteration/array-rest-lref.case
index 35d2f347ca..e4e2cc80e8 100644
--- a/src/dstr-assignment-async-iteration/array-rest-lref.case
+++ b/src/dstr-assignment-async-iteration/array-rest-lref.case
@@ -1,4 +1,4 @@
-// Copyright (C) 2016 the V8 project authors. All rights reserved.
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
 // This code is governed by the BSD license found in the LICENSE file.
 /*---
 desc: Reference is evaluated during assignment
@@ -6,11 +6,11 @@ info: |
     ArrayAssignmentPattern : [ Elisionopt AssignmentRestElement ]
 
     [...]
-    5. Let result be the result of performing
-       IteratorDestructuringAssignmentEvaluation of AssignmentRestElement with
-       iteratorRecord as the argument
-    6. If iteratorRecord.[[done]] is false, return IteratorClose(iterator,
-       result).
+    4. Let result be the result of performing
+      IteratorDestructuringAssignmentEvaluation of AssignmentRestElement
+      with iteratorRecord as the argument.
+    5. If iteratorRecord.[[Done]] is false, return ? IteratorClose(iterator, result).
+
 
     AssignmentRestElement[Yield] : ... DestructuringAssignmentTarget
 
@@ -25,9 +25,9 @@ esid: sec-runtime-semantics-destructuringassignmentevaluation
 ---*/
 
 //- setup
-var nextCount = 0;
-var returnCount = 0;
-var iterator = {
+let nextCount = 0;
+let returnCount = 0;
+let iterator = {
   next() {
     nextCount += 1;
     return { done: true };
@@ -36,8 +36,8 @@ var iterator = {
     returnCount += 1;
   }
 };
-var obj = {};
-var iterable = {
+let obj = {};
+let iterable = {
   [Symbol.iterator]() {
     return iterator;
   }
@@ -52,4 +52,8 @@ assert.sameValue(returnCount, 0);
 assert(!!obj.ab);
 assert.sameValue(obj.ab.length, 0);
 
+//- teardown
+iter.next()
+  .then(() => assert.sameValue(iterCount, 1, 'iteration occurred as expected'), $DONE)
+  .then($DONE, $DONE);
 
diff --git a/src/dstr-assignment-async-iteration/array-rest-nested-array-null.case b/src/dstr-assignment-async-iteration/array-rest-nested-array-null.case
index e44b1506a4..9949ba9abf 100644
--- a/src/dstr-assignment-async-iteration/array-rest-nested-array-null.case
+++ b/src/dstr-assignment-async-iteration/array-rest-nested-array-null.case
@@ -1,4 +1,4 @@
-// Copyright (C) 2015 the V8 project authors. All rights reserved.
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
 // This code is governed by the BSD license found in the LICENSE file.
 
 /*---
@@ -10,7 +10,7 @@ template: default
 ---*/
 
 //- setup
-var x, y;
+let x, y;
 //- elems
 [...[x, y]]
 //- vals
diff --git a/src/dstr-assignment-async-iteration/array-rest-nested-array-undefined-hole.case b/src/dstr-assignment-async-iteration/array-rest-nested-array-undefined-hole.case
index a9dd40ff74..850a1162ce 100644
--- a/src/dstr-assignment-async-iteration/array-rest-nested-array-undefined-hole.case
+++ b/src/dstr-assignment-async-iteration/array-rest-nested-array-undefined-hole.case
@@ -1,4 +1,4 @@
-// Copyright (C) 2015 the V8 project authors. All rights reserved.
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
 // This code is governed by the BSD license found in the LICENSE file.
 
 /*---
@@ -11,7 +11,7 @@ es6id: 12.14.5.3
 ---*/
 
 //- setup
-var x = null;
+let x = null;
 //- elems
 [...[x]]
 //- vals
diff --git a/src/dstr-assignment-async-iteration/array-rest-nested-array-undefined-own.case b/src/dstr-assignment-async-iteration/array-rest-nested-array-undefined-own.case
index b8a5c809ac..8cb676ff6e 100644
--- a/src/dstr-assignment-async-iteration/array-rest-nested-array-undefined-own.case
+++ b/src/dstr-assignment-async-iteration/array-rest-nested-array-undefined-own.case
@@ -1,4 +1,4 @@
-// Copyright (C) 2015 the V8 project authors. All rights reserved.
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
 // This code is governed by the BSD license found in the LICENSE file.
 
 /*---
@@ -11,7 +11,7 @@ es6id: 12.14.5.3
 ---*/
 
 //- setup
-var x = null;
+let x = null;
 //- elems
 [...[x]]
 //- vals
diff --git a/src/dstr-assignment-async-iteration/array-rest-nested-array-undefined.case b/src/dstr-assignment-async-iteration/array-rest-nested-array-undefined.case
index 0acebafcdb..6069e89697 100644
--- a/src/dstr-assignment-async-iteration/array-rest-nested-array-undefined.case
+++ b/src/dstr-assignment-async-iteration/array-rest-nested-array-undefined.case
@@ -1,4 +1,4 @@
-// Copyright (C) 2015 the V8 project authors. All rights reserved.
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
 // This code is governed by the BSD license found in the LICENSE file.
 
 /*---
@@ -11,7 +11,7 @@ es6id: 12.14.5.3
 ---*/
 
 //- setup
-var x = null;
+let x = null;
 //- elems
 [...[x]]
 //- vals
diff --git a/src/dstr-assignment-async-iteration/array-rest-nested-array-yield-expr.case b/src/dstr-assignment-async-iteration/array-rest-nested-array-yield-expr.case
index 384f1646f2..d3e60ed236 100644
--- a/src/dstr-assignment-async-iteration/array-rest-nested-array-yield-expr.case
+++ b/src/dstr-assignment-async-iteration/array-rest-nested-array-yield-expr.case
@@ -1,4 +1,4 @@
-// Copyright (C) 2015 the V8 project authors. All rights reserved.
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
 // This code is governed by the BSD license found in the LICENSE file.
 
 /*---
@@ -11,8 +11,7 @@ features: [generators]
 ---*/
 
 //- setup
-var value = [86];
-var x = {};
+let x = {};
 
 //- elems
 [...[x[yield]]]
@@ -24,9 +23,7 @@ iter.next().then(iterationResult => {
   assert.sameValue(iterationResult.done, false);
   assert.sameValue(x.prop, undefined);
 
-  // TODO add iterCount
-  //
-  iter.next(86).then(iterationResult => {
+  iter.next('prop').then(iterationResult => {
     assert.sameValue(iterationResult.value, undefined);
     assert.sameValue(iterationResult.done, true);
     assert.sameValue(x.prop, 86);
diff --git a/src/dstr-assignment-async-iteration/array-rest-nested-array-yield-ident-valid.case b/src/dstr-assignment-async-iteration/array-rest-nested-array-yield-ident-valid.case
index 486ca2a213..d9edb6dc66 100644
--- a/src/dstr-assignment-async-iteration/array-rest-nested-array-yield-ident-valid.case
+++ b/src/dstr-assignment-async-iteration/array-rest-nested-array-yield-ident-valid.case
@@ -1,4 +1,4 @@
-// Copyright (C) 2015 the V8 project authors. All rights reserved.
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
 // This code is governed by the BSD license found in the LICENSE file.
 
 /*---
@@ -6,13 +6,13 @@ desc: >
     When a `yield` token appears within the DestructuringAssignmentTarget of a
     nested destructuring assignment and outside of a generator function body,
     it should behave as an IdentifierExpression.
-template: default
+template: async-function
 flags: [noStrict]
 ---*/
 
 //- setup
-var yield = 'prop';
-var x = {};
+let yield = 'prop';
+let x = {};
 //- elems
 [...[x[yield]]]
 //- vals
diff --git a/src/dstr-assignment-async-iteration/array-rest-nested-array.case b/src/dstr-assignment-async-iteration/array-rest-nested-array.case
index 23286b13af..2d9ae7b62a 100644
--- a/src/dstr-assignment-async-iteration/array-rest-nested-array.case
+++ b/src/dstr-assignment-async-iteration/array-rest-nested-array.case
@@ -1,4 +1,4 @@
-// Copyright (C) 2015 the V8 project authors. All rights reserved.
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
 // This code is governed by the BSD license found in the LICENSE file.
 
 /*---
@@ -11,7 +11,7 @@ es6id: 12.14.5.3
 ---*/
 
 //- setup
-var x;
+let x;
 //- elems
 [...[x]]
 //- vals
diff --git a/src/dstr-assignment-async-iteration/array-rest-nested-obj-null.case b/src/dstr-assignment-async-iteration/array-rest-nested-obj-null.case
index 505df0fd6a..fa38c07d18 100644
--- a/src/dstr-assignment-async-iteration/array-rest-nested-obj-null.case
+++ b/src/dstr-assignment-async-iteration/array-rest-nested-obj-null.case
@@ -1,4 +1,4 @@
-// Copyright (C) 2015 the V8 project authors. All rights reserved.
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
 // This code is governed by the BSD license found in the LICENSE file.
 
 /*---
@@ -11,7 +11,7 @@ es6id: 12.14.5.3
 ---*/
 
 //- setup
-var x, length;
+let x, length;
 //- elems
 [...{ 0: x, length }]
 //- vals
diff --git a/src/dstr-assignment-async-iteration/array-rest-nested-obj-undefined-hole.case b/src/dstr-assignment-async-iteration/array-rest-nested-obj-undefined-hole.case
index 7b6f5c0c41..1893815708 100644
--- a/src/dstr-assignment-async-iteration/array-rest-nested-obj-undefined-hole.case
+++ b/src/dstr-assignment-async-iteration/array-rest-nested-obj-undefined-hole.case
@@ -1,4 +1,4 @@
-// Copyright (C) 2015 the V8 project authors. All rights reserved.
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
 // This code is governed by the BSD license found in the LICENSE file.
 
 /*---
@@ -11,7 +11,7 @@ es6id: 12.14.5.3
 ---*/
 
 //- setup
-var x = null;
+let x = null;
 // Use the the top-level lexical scope for 'length' to provide compatibility with browsers
 // where length and name are properties of WindowProxy
 let length;
@@ -22,3 +22,8 @@ let length;
 //- body
 assert.sameValue(x, undefined);
 assert.sameValue(length, 1);
+
+//- teardown
+promise
+  .then(() => assert.sameValue(iterCount, 1, 'iteration occurred as expected'), $DONE)
+  .then($DONE, $DONE);
diff --git a/src/dstr-assignment-async-iteration/array-rest-nested-obj-undefined-own.case b/src/dstr-assignment-async-iteration/array-rest-nested-obj-undefined-own.case
index 553a8e46bc..fa864bc3d5 100644
--- a/src/dstr-assignment-async-iteration/array-rest-nested-obj-undefined-own.case
+++ b/src/dstr-assignment-async-iteration/array-rest-nested-obj-undefined-own.case
@@ -1,4 +1,4 @@
-// Copyright (C) 2015 the V8 project authors. All rights reserved.
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
 // This code is governed by the BSD license found in the LICENSE file.
 
 /*---
@@ -11,7 +11,7 @@ es6id: 12.14.5.3
 ---*/
 
 //- setup
-var x = null;
+let x = null;
 // Use the the top-level lexical scope for 'length' to provide compatibility with browsers
 // where length and name are properties of WindowProxy
 let length;
@@ -22,3 +22,8 @@ let length;
 //- body
 assert.sameValue(x, undefined);
 assert.sameValue(length, 1);
+
+//- teardown
+promise
+  .then(() => assert.sameValue(iterCount, 1, 'iteration occurred as expected'), $DONE)
+  .then($DONE, $DONE);
diff --git a/src/dstr-assignment-async-iteration/array-rest-nested-obj-undefined.case b/src/dstr-assignment-async-iteration/array-rest-nested-obj-undefined.case
index 305df52c62..9723b02433 100644
--- a/src/dstr-assignment-async-iteration/array-rest-nested-obj-undefined.case
+++ b/src/dstr-assignment-async-iteration/array-rest-nested-obj-undefined.case
@@ -1,4 +1,4 @@
-// Copyright (C) 2015 the V8 project authors. All rights reserved.
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
 // This code is governed by the BSD license found in the LICENSE file.
 
 /*---
@@ -11,7 +11,7 @@ es6id: 12.14.5.3
 ---*/
 
 //- setup
-var x = null;
+let x = null;
 // Use the the top-level lexical scope for 'length' to provide compatibility with browsers
 // where length and name are properties of WindowProxy
 let length;
@@ -22,3 +22,8 @@ let length;
 //- body
 assert.sameValue(x, undefined);
 assert.sameValue(length, 0);
+
+//- teardown
+promise
+  .then(() => assert.sameValue(iterCount, 1, 'iteration occurred as expected'), $DONE)
+  .then($DONE, $DONE);
diff --git a/src/dstr-assignment-async-iteration/array-rest-nested-obj-yield-expr.case b/src/dstr-assignment-async-iteration/array-rest-nested-obj-yield-expr.case
index ed1afc7531..110ba07bf0 100644
--- a/src/dstr-assignment-async-iteration/array-rest-nested-obj-yield-expr.case
+++ b/src/dstr-assignment-async-iteration/array-rest-nested-obj-yield-expr.case
@@ -11,7 +11,7 @@ features: [generators]
 ---*/
 
 //- setup
-var x;
+let x;
 
 //- elems
 [...{ x = yield }]
@@ -23,8 +23,6 @@ iter.next().then(iterationResult => {
   assert.sameValue(iterationResult.done, false);
   assert.sameValue(x, undefined);
 
-  // TODO add iterCount
-  //
   iter.next(4).then(iterationResult => {
     assert.sameValue(iterationResult.value, undefined);
     assert.sameValue(iterationResult.done, true);
diff --git a/src/dstr-assignment-async-iteration/array-rest-nested-obj-yield-ident-valid.case b/src/dstr-assignment-async-iteration/array-rest-nested-obj-yield-ident-valid.case
index ecd104a236..12841d7d6a 100644
--- a/src/dstr-assignment-async-iteration/array-rest-nested-obj-yield-ident-valid.case
+++ b/src/dstr-assignment-async-iteration/array-rest-nested-obj-yield-ident-valid.case
@@ -1,4 +1,4 @@
-// Copyright (C) 2015 the V8 project authors. All rights reserved.
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
 // This code is governed by the BSD license found in the LICENSE file.
 
 /*---
@@ -6,16 +6,21 @@ desc: >
     When a `yield` token appears within the Initializer of a nested
     destructuring assignment and outside of a generator function body, it
     should behave as an IdentifierExpression.
-template: default
+template: async-function
 flags: [noStrict]
 ---*/
 
 //- setup
-var yield = 2;
-var x;
+let yield = 2;
+let x;
 //- elems
 [...{ x = yield }]
 //- vals
 [{}]
 //- body
 assert.sameValue(x, 2);
+
+//- teardown
+promise
+  .then(() => assert.sameValue(iterCount, 1, 'iteration occurred as expected'), $DONE)
+  .then($DONE, $DONE);
diff --git a/src/dstr-assignment-async-iteration/array-rest-nested-obj.case b/src/dstr-assignment-async-iteration/array-rest-nested-obj.case
index 17ba9acedc..c248030593 100644
--- a/src/dstr-assignment-async-iteration/array-rest-nested-obj.case
+++ b/src/dstr-assignment-async-iteration/array-rest-nested-obj.case
@@ -1,4 +1,4 @@
-// Copyright (C) 2015 the V8 project authors. All rights reserved.
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
 // This code is governed by the BSD license found in the LICENSE file.
 
 /*---
@@ -10,10 +10,14 @@ template: default
 ---*/
 
 //- setup
-var x;
+let x;
 //- elems
 [...{ 1: x }]
 //- vals
 [1, 2, 3]
 //- body
 assert.sameValue(x, 2);
+//- teardown
+promise
+  .then(() => assert.sameValue(iterCount, 1, 'iteration occurred as expected'), $DONE)
+  .then($DONE, $DONE);
diff --git a/src/dstr-assignment-async-iteration/array-rest-put-prop-ref-no-get.case b/src/dstr-assignment-async-iteration/array-rest-put-prop-ref-no-get.case
index 1adb2c2e07..0a2daa2d56 100644
--- a/src/dstr-assignment-async-iteration/array-rest-put-prop-ref-no-get.case
+++ b/src/dstr-assignment-async-iteration/array-rest-put-prop-ref-no-get.case
@@ -1,4 +1,4 @@
-// Copyright (C) 2015 the V8 project authors. All rights reserved.
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
 // This code is governed by the BSD license found in the LICENSE file.
 
 /*---
@@ -10,8 +10,8 @@ es6id: 12.14.5.3
 ---*/
 
 //- setup
-var setValue;
-var x = {
+let setValue;
+let x = {
   get y() {
     $ERROR('The property should not be accessed.');
   },
@@ -28,3 +28,7 @@ assert.sameValue(setValue.length, 3);
 assert.sameValue(setValue[0], 23);
 assert.sameValue(setValue[1], 45);
 assert.sameValue(setValue[2], 99);
+//- teardown
+promise
+  .then(() => assert.sameValue(iterCount, 1, 'iteration occurred as expected'), $DONE)
+  .then($DONE, $DONE);
diff --git a/src/dstr-assignment-async-iteration/array-rest-put-prop-ref.case b/src/dstr-assignment-async-iteration/array-rest-put-prop-ref.case
index fda1af6dc0..4af124f336 100644
--- a/src/dstr-assignment-async-iteration/array-rest-put-prop-ref.case
+++ b/src/dstr-assignment-async-iteration/array-rest-put-prop-ref.case
@@ -1,4 +1,4 @@
-// Copyright (C) 2015 the V8 project authors. All rights reserved.
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
 // This code is governed by the BSD license found in the LICENSE file.
 
 /*---
@@ -10,7 +10,7 @@ es6id: 12.14.5.3
 ---*/
 
 //- setup
-var x = {};
+let x = {};
 //- elems
 [...x.y]
 //- vals
@@ -20,3 +20,7 @@ assert.sameValue(x.y.length, 3);
 assert.sameValue(x.y[0], 4);
 assert.sameValue(x.y[1], 3);
 assert.sameValue(x.y[2], 2);
+//- teardown
+promise
+  .then(() => assert.sameValue(iterCount, 1, 'iteration occurred as expected'), $DONE)
+  .then($DONE, $DONE);
diff --git a/src/dstr-assignment-async-iteration/array-rest-put-unresolvable-no-strict.case b/src/dstr-assignment-async-iteration/array-rest-put-unresolvable-no-strict.case
index 7f3ac5769b..f7221ff117 100644
--- a/src/dstr-assignment-async-iteration/array-rest-put-unresolvable-no-strict.case
+++ b/src/dstr-assignment-async-iteration/array-rest-put-unresolvable-no-strict.case
@@ -1,4 +1,4 @@
-// Copyright (C) 2015 the V8 project authors. All rights reserved.
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
 // This code is governed by the BSD license found in the LICENSE file.
 
 /*---
@@ -14,5 +14,8 @@ flags: [noStrict]
 //- vals
 []
 //- body
-
 assert.sameValue(unresolvable.length, 0);
+//- teardown
+promise
+  .then(() => assert.sameValue(iterCount, 1, 'iteration occurred as expected'), $DONE)
+  .then($DONE, $DONE);
diff --git a/src/dstr-assignment-async-iteration/array-rest-yield-expr.case b/src/dstr-assignment-async-iteration/array-rest-yield-expr.case
index 1953e20e36..acc1dcb790 100644
--- a/src/dstr-assignment-async-iteration/array-rest-yield-expr.case
+++ b/src/dstr-assignment-async-iteration/array-rest-yield-expr.case
@@ -1,4 +1,4 @@
-// Copyright (C) 2015 the V8 project authors. All rights reserved.
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
 // This code is governed by the BSD license found in the LICENSE file.
 
 /*---
@@ -11,21 +11,18 @@ features: [generators]
 ---*/
 
 //- setup
-var x = {};
+let x = {};
 
 //- elems
 [...x[yield]]
 //- vals
 [33, 44, 55]
-
 //- teardown
 iter.next().then(iterationResult => {
   assert.sameValue(iterationResult.value, undefined);
   assert.sameValue(iterationResult.done, false);
   assert.sameValue(x.prop, undefined);
 
-  // TODO add iterCount
-  //
   iter.next('prop').then(iterationResult => {
     assert.sameValue(iterationResult.value, undefined);
     assert.sameValue(iterationResult.done, true);
@@ -33,5 +30,7 @@ iter.next().then(iterationResult => {
     assert.sameValue(x.prop[0], 33);
     assert.sameValue(x.prop[1], 44);
     assert.sameValue(x.prop[2], 55);
+    assert.sameValue(iterCount, 1);
   }).then($DONE, $DONE);
 });
+
diff --git a/src/dstr-assignment-async-iteration/array-rest-yield-ident-valid.case b/src/dstr-assignment-async-iteration/array-rest-yield-ident-valid.case
index 44727057c9..9d3319a38c 100644
--- a/src/dstr-assignment-async-iteration/array-rest-yield-ident-valid.case
+++ b/src/dstr-assignment-async-iteration/array-rest-yield-ident-valid.case
@@ -1,4 +1,4 @@
-// Copyright (C) 2015 the V8 project authors. All rights reserved.
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
 // This code is governed by the BSD license found in the LICENSE file.
 
 /*---
@@ -11,8 +11,8 @@ flags: [noStrict]
 ---*/
 
 //- setup
-var yield = 'prop';
-var x = {};
+let yield = 'prop';
+let x = {};
 //- elems
 [...x[yield]]
 //- vals
@@ -22,3 +22,9 @@ assert.sameValue(x.prop.length, 3);
 assert.sameValue(x.prop[0], 33);
 assert.sameValue(x.prop[1], 44);
 assert.sameValue(x.prop[2], 55);
+
+
+//- teardown
+promise
+  .then(() => assert.sameValue(iterCount, 1, 'iteration occurred as expected'), $DONE)
+  .then($DONE, $DONE);
diff --git a/src/dstr-assignment-async-iteration/error-async-function-syntax/async-func-decl.template b/src/dstr-assignment-async-iteration/error-async-function-syntax/async-func-decl.template
new file mode 100644
index 0000000000..a6d537c9ee
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/error-async-function-syntax/async-func-decl.template
@@ -0,0 +1,30 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+path: language/statements/for-await-of/async-func-decl-dstr-
+name: for-await-of statement in an async function declaration
+esid: sec-for-in-and-for-of-statements-runtime-semantics-labelledevaluation
+features: [destructuring-binding, async-iteration]
+flags: [async]
+info: |
+  IterationStatement :
+    for await ( LeftHandSideExpression of AssignmentExpression ) Statement
+
+  1. Let keyResult be the result of performing ? ForIn/OfHeadEvaluation(« »,
+     AssignmentExpression, iterate).
+  2. Return ? ForIn/OfBodyEvaluation(LeftHandSideExpression, Statement,
+     keyResult, assignment, labelSet).
+
+  13.7.5.13 Runtime Semantics: ForIn/OfBodyEvaluation
+
+  [...]
+  5. If destructuring is true and if lhsKind is assignment, then
+     a. Assert: lhs is a LeftHandSideExpression.
+     b. Let assignmentPattern be the parse of the source text corresponding to
+        lhs using AssignmentPattern as the goal symbol.
+  [...]
+---*/
+
+async function fn() {
+  for await (/*{ elems }*/ of [/*{ vals }*/])
+}
diff --git a/src/dstr-assignment-async-iteration/error-async-generator-syntax/async-gen-decl.template b/src/dstr-assignment-async-iteration/error-async-generator-syntax/async-gen-decl.template
new file mode 100644
index 0000000000..90fe373fb1
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/error-async-generator-syntax/async-gen-decl.template
@@ -0,0 +1,30 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+path: language/statements/for-await-of/async-func-decl-dstr-
+name: for-await-of statement in an async function declaration
+esid: sec-for-in-and-for-of-statements-runtime-semantics-labelledevaluation
+features: [destructuring-binding, async-iteration]
+flags: [async]
+info: |
+  IterationStatement :
+    for await ( LeftHandSideExpression of AssignmentExpression ) Statement
+
+  1. Let keyResult be the result of performing ? ForIn/OfHeadEvaluation(« »,
+     AssignmentExpression, iterate).
+  2. Return ? ForIn/OfBodyEvaluation(LeftHandSideExpression, Statement,
+     keyResult, assignment, labelSet).
+
+  13.7.5.13 Runtime Semantics: ForIn/OfBodyEvaluation
+
+  [...]
+  5. If destructuring is true and if lhsKind is assignment, then
+     a. Assert: lhs is a LeftHandSideExpression.
+     b. Let assignmentPattern be the parse of the source text corresponding to
+        lhs using AssignmentPattern as the goal symbol.
+  [...]
+---*/
+
+async function * fn() {
+  for await (/*{ elems }*/ of [/*{ vals }*/])
+}
diff --git a/src/dstr-assignment-async-iteration/error/async-func-decl.template b/src/dstr-assignment-async-iteration/error/async-func-decl.template
new file mode 100644
index 0000000000..0fd7dffec0
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/error/async-func-decl.template
@@ -0,0 +1,34 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+path: language/statements/for-await-of/async-func-decl-dstr-
+name: for-await-of statement in an async function declaration
+esid: sec-for-in-and-for-of-statements-runtime-semantics-labelledevaluation
+features: [destructuring-binding, async-iteration]
+flags: [async]
+info: |
+  IterationStatement :
+    for await ( LeftHandSideExpression of AssignmentExpression ) Statement
+
+  1. Let keyResult be the result of performing ? ForIn/OfHeadEvaluation(« »,
+     AssignmentExpression, iterate).
+  2. Return ? ForIn/OfBodyEvaluation(LeftHandSideExpression, Statement,
+     keyResult, assignment, labelSet).
+
+  13.7.5.13 Runtime Semantics: ForIn/OfBodyEvaluation
+
+  [...]
+  5. If destructuring is true and if lhsKind is assignment, then
+     a. Assert: lhs is a LeftHandSideExpression.
+     b. Let assignmentPattern be the parse of the source text corresponding to
+        lhs using AssignmentPattern as the goal symbol.
+  [...]
+---*/
+
+async function fn() {
+  for await (/*{ elems }*/ of [/*{ vals }*/]) {
+    /*{ body }*/
+  }
+}
+
+let promise = fn();
diff --git a/src/dstr-assignment-async-iteration/error/async-gen-decl.template b/src/dstr-assignment-async-iteration/error/async-gen-decl.template
new file mode 100644
index 0000000000..47425432f5
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/error/async-gen-decl.template
@@ -0,0 +1,35 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+path: language/statements/for-await-of/async-gen-decl-dstr-
+name: for-await-of statement in an async generator declaration
+esid: sec-for-in-and-for-of-statements-runtime-semantics-labelledevaluation
+features: [destructuring-binding, async-iteration]
+flags: [async]
+info: |
+  IterationStatement :
+    for await ( LeftHandSideExpression of AssignmentExpression ) Statement
+
+  1. Let keyResult be the result of performing ? ForIn/OfHeadEvaluation(« »,
+     AssignmentExpression, iterate).
+  2. Return ? ForIn/OfBodyEvaluation(LeftHandSideExpression, Statement,
+     keyResult, assignment, labelSet).
+
+  13.7.5.13 Runtime Semantics: ForIn/OfBodyEvaluation
+
+  [...]
+  5. If destructuring is true and if lhsKind is assignment, then
+     a. Assert: lhs is a LeftHandSideExpression.
+     b. Let assignmentPattern be the parse of the source text corresponding to
+        lhs using AssignmentPattern as the goal symbol.
+  [...]
+---*/
+
+async function * fn() {
+  for await (/*{ elems }*/ of [/*{ vals }*/]) {
+    /*{ body }*/
+  }
+}
+
+let promise = fn().next();
+
diff --git a/src/dstr-assignment-async-iteration/obj-empty-bool.case b/src/dstr-assignment-async-iteration/obj-empty-bool.case
new file mode 100644
index 0000000000..b7515ae588
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/obj-empty-bool.case
@@ -0,0 +1,18 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: >
+  An ObjectAssignmentPattern without an AssignmentPropertyList requires an
+  object-coercible value (boolean value)
+template: default
+---*/
+
+//- elems
+{}
+//- vals
+false
+//- teardown
+promise
+  .then(() => assert.sameValue(iterCount, 1, 'iteration occurred as expected'), $DONE)
+  .then($DONE, $DONE);
diff --git a/src/dstr-assignment-async-iteration/obj-empty-num.case b/src/dstr-assignment-async-iteration/obj-empty-num.case
new file mode 100644
index 0000000000..de42463600
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/obj-empty-num.case
@@ -0,0 +1,19 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: >
+  An ObjectAssignmentPattern without an AssignmentPropertyList requires an
+  object-coercible value (number value)
+template: default
+---*/
+
+//- elems
+{}
+//- vals
+0
+
+//- teardown
+promise
+  .then(() => assert.sameValue(iterCount, 1, 'iteration occurred as expected'), $DONE)
+  .then($DONE, $DONE);
diff --git a/src/dstr-assignment-async-iteration/obj-empty-obj.case b/src/dstr-assignment-async-iteration/obj-empty-obj.case
new file mode 100644
index 0000000000..aa4e88ed14
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/obj-empty-obj.case
@@ -0,0 +1,18 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: >
+  An ObjectAssignmentPattern without an AssignmentPropertyList requires an
+  object-coercible value (object value)
+template: default
+---*/
+
+//- elems
+{}
+//- vals
+{}
+//- teardown
+promise
+  .then(() => assert.sameValue(iterCount, 1, 'iteration occurred as expected'), $DONE)
+  .then($DONE, $DONE);
diff --git a/src/dstr-assignment-async-iteration/obj-empty-string.case b/src/dstr-assignment-async-iteration/obj-empty-string.case
new file mode 100644
index 0000000000..2531e7af93
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/obj-empty-string.case
@@ -0,0 +1,18 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: >
+  An ObjectAssignmentPattern without an AssignmentPropertyList requires an
+  object-coercible value (string value)
+template: default
+---*/
+
+//- elems
+{}
+//- vals
+''
+//- teardown
+promise
+  .then(() => assert.sameValue(iterCount, 1, 'iteration occurred as expected'), $DONE)
+  .then($DONE, $DONE);
diff --git a/src/dstr-assignment-async-iteration/obj-empty-symbol.case b/src/dstr-assignment-async-iteration/obj-empty-symbol.case
new file mode 100644
index 0000000000..6dff904138
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/obj-empty-symbol.case
@@ -0,0 +1,21 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: >
+  An ObjectAssignmentPattern without an AssignmentPropertyList requires an
+  object-coercible value (symbol value)
+template: default
+features: [Symbol]
+---*/
+
+//- setup
+let s = Symbol();
+//- elems
+{}
+//- vals
+s
+//- teardown
+promise
+  .then(() => assert.sameValue(iterCount, 1, 'iteration occurred as expected'), $DONE)
+  .then($DONE, $DONE);
diff --git a/src/dstr-assignment-async-iteration/obj-id-identifier-resolution-first.case b/src/dstr-assignment-async-iteration/obj-id-identifier-resolution-first.case
new file mode 100644
index 0000000000..2e7f0ffbea
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/obj-id-identifier-resolution-first.case
@@ -0,0 +1,22 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+desc: >
+  Evaluation of DestructuringAssignmentTarget (first of many)
+template: default
+es6id: 12.14.5.4
+---*/
+
+//- setup
+let x = null;
+let y;
+//- elems
+{ x, y }
+//- vals
+{ x: 3 }
+//- body
+assert.sameValue(x, 3);
+//- teardown
+promise
+  .then(() => assert.sameValue(iterCount, 1, 'iteration occurred as expected'), $DONE)
+  .then($DONE, $DONE);
diff --git a/src/dstr-assignment-async-iteration/obj-id-identifier-resolution-last.case b/src/dstr-assignment-async-iteration/obj-id-identifier-resolution-last.case
new file mode 100644
index 0000000000..891a39bf9a
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/obj-id-identifier-resolution-last.case
@@ -0,0 +1,22 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+desc: >
+  Evaluation of DestructuringAssignmentTarget (last of many)
+template: default
+es6id: 12.14.5.4
+---*/
+
+//- setup
+let x = null;
+let w;
+//- elems
+{ w, x }
+//- vals
+{ x: 4 }
+//- body
+assert.sameValue(x, 4);
+//- teardown
+promise
+  .then(() => assert.sameValue(iterCount, 1, 'iteration occurred as expected'), $DONE)
+  .then($DONE, $DONE);
diff --git a/src/dstr-assignment-async-iteration/obj-id-identifier-resolution-lone.case b/src/dstr-assignment-async-iteration/obj-id-identifier-resolution-lone.case
new file mode 100644
index 0000000000..e587e08cba
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/obj-id-identifier-resolution-lone.case
@@ -0,0 +1,21 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+desc: >
+  Evaluation of DestructuringAssignmentTarget (lone identifier)
+template: default
+es6id: 12.14.5.4
+---*/
+
+//- setup
+let x = null;
+//- elems
+{ x, }
+//- vals
+{ x: 2 }
+//- body
+assert.sameValue(x, 2);
+//- teardown
+promise
+  .then(() => assert.sameValue(iterCount, 1, 'iteration occurred as expected'), $DONE)
+  .then($DONE, $DONE);
diff --git a/src/dstr-assignment-async-iteration/obj-id-identifier-resolution-middle.case b/src/dstr-assignment-async-iteration/obj-id-identifier-resolution-middle.case
new file mode 100644
index 0000000000..e18d987455
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/obj-id-identifier-resolution-middle.case
@@ -0,0 +1,22 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+desc: >
+  Evaluation of DestructuringAssignmentTarget (within many)
+template: default
+es6id: 12.14.5.4
+---*/
+
+//- setup
+let x = null;
+let w, y;
+//- elems
+{ w, x, y }
+//- vals
+{ x: 5 }
+//- body
+assert.sameValue(x, 5);
+//- teardown
+promise
+  .then(() => assert.sameValue(iterCount, 1, 'iteration occurred as expected'), $DONE)
+  .then($DONE, $DONE);
diff --git a/src/dstr-assignment-async-iteration/obj-id-identifier-resolution-trlng.case b/src/dstr-assignment-async-iteration/obj-id-identifier-resolution-trlng.case
new file mode 100644
index 0000000000..baff69ebd8
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/obj-id-identifier-resolution-trlng.case
@@ -0,0 +1,22 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+desc: >
+  Evaluation of DestructuringAssignmentTarget (lone identifier with trailing
+  comma)
+template: default
+es6id: 12.14.5.4
+---*/
+
+//- setup
+let x = null;
+//- elems
+{ x }
+//- vals
+{ x: 1 }
+//- body
+assert.sameValue(x, 1);
+//- teardown
+promise
+  .then(() => assert.sameValue(iterCount, 1, 'iteration occurred as expected'), $DONE)
+  .then($DONE, $DONE);
diff --git a/src/dstr-assignment-async-iteration/obj-id-init-assignment-missing.case b/src/dstr-assignment-async-iteration/obj-id-init-assignment-missing.case
new file mode 100644
index 0000000000..35af6aaad6
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/obj-id-init-assignment-missing.case
@@ -0,0 +1,25 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: >
+  If the Initializer is present and v is undefined, the Initializer should be
+  evaluated and the result assigned to the target reference (no corresponding
+  property defined).
+template: default
+es6id: 12.14.5.4
+---*/
+
+//- setup
+let x;
+//- elems
+{ x = 1 }
+//- vals
+{}
+//- body
+assert.sameValue(x, 1);
+
+//- teardown
+promise
+  .then(() => assert.sameValue(iterCount, 1, 'iteration occurred as expected'), $DONE)
+  .then($DONE, $DONE);
diff --git a/src/dstr-assignment-async-iteration/obj-id-init-assignment-null.case b/src/dstr-assignment-async-iteration/obj-id-init-assignment-null.case
new file mode 100644
index 0000000000..363aa9efc2
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/obj-id-init-assignment-null.case
@@ -0,0 +1,25 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: >
+  If the Initializer is present and v is undefined, the Initializer should be
+  evaluated and the result assigned to the target reference (null property
+  value defined).
+template: default
+es6id: 12.14.5.4
+---*/
+
+//- setup
+let x;
+//- elems
+{ x = 1 }
+//- vals
+{ x: null }
+//- body
+assert.sameValue(x, null);
+
+//- teardown
+promise
+  .then(() => assert.sameValue(iterCount, 1, 'iteration occurred as expected'), $DONE)
+  .then($DONE, $DONE);
diff --git a/src/dstr-assignment-async-iteration/obj-id-init-assignment-truthy.case b/src/dstr-assignment-async-iteration/obj-id-init-assignment-truthy.case
new file mode 100644
index 0000000000..135149127a
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/obj-id-init-assignment-truthy.case
@@ -0,0 +1,25 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: >
+  If the Initializer is present and v is undefined, the Initializer should be
+  evaluated and the result assigned to the target reference (truthy property
+  value defined).
+template: default
+es6id: 12.14.5.4
+---*/
+
+//- setup
+let x;
+//- elems
+{ x = 1 }
+//- vals
+{ x: 2 }
+//- body
+assert.sameValue(x, 2);
+
+//- teardown
+promise
+  .then(() => assert.sameValue(iterCount, 1, 'iteration occurred as expected'), $DONE)
+  .then($DONE, $DONE);
diff --git a/src/dstr-assignment-async-iteration/obj-id-init-assignment-undef.case b/src/dstr-assignment-async-iteration/obj-id-init-assignment-undef.case
new file mode 100644
index 0000000000..2eaea90f40
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/obj-id-init-assignment-undef.case
@@ -0,0 +1,25 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: >
+  If the Initializer is present and v is undefined, the Initializer should be
+  evaluated and the result assigned to the target reference ("undefined"
+  property value defined).
+template: default
+es6id: 12.14.5.4
+---*/
+
+//- setup
+let x;
+//- elems
+{ x = 1 }
+//- vals
+{ x: undefined }
+//- body
+assert.sameValue(x, 1);
+
+//- teardown
+promise
+  .then(() => assert.sameValue(iterCount, 1, 'iteration occurred as expected'), $DONE)
+  .then($DONE, $DONE);
diff --git a/src/dstr-assignment-async-iteration/obj-id-init-evaluation.case b/src/dstr-assignment-async-iteration/obj-id-init-evaluation.case
new file mode 100644
index 0000000000..be1928c8b7
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/obj-id-init-evaluation.case
@@ -0,0 +1,26 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: >
+    The Initializer should only be evaluated if v is undefined.
+template: default
+es6id: 12.14.5.4
+---*/
+
+//- setup
+let flag1 = false;
+let flag2 = false;
+let x, y;
+//- elems
+{ x = flag1 = true, y = flag2 = true }
+//- vals
+{ y: 1 }
+//- body
+assert.sameValue(flag1, true);
+assert.sameValue(flag2, false);
+
+//- teardown
+promise
+  .then(() => assert.sameValue(iterCount, 1, 'iteration occurred as expected'), $DONE)
+  .then($DONE, $DONE);
diff --git a/src/dstr-assignment-async-iteration/obj-id-init-fn-name-arrow.case b/src/dstr-assignment-async-iteration/obj-id-init-fn-name-arrow.case
new file mode 100644
index 0000000000..ffac568e75
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/obj-id-init-fn-name-arrow.case
@@ -0,0 +1,36 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: Assignment of function `name` attribute (ArrowFunction)
+template: default
+es6id: 12.14.5.2
+info: >
+    AssignmentProperty : IdentifierReference Initializeropt
+
+    [...]
+    6. If Initializeropt is present and v is undefined, then
+       [...]
+       d. If IsAnonymousFunctionDefinition(Initializer) is true, then
+          i. Let hasNameProperty be HasOwnProperty(v, "name").
+          ii. ReturnIfAbrupt(hasNameProperty).
+          iii. If hasNameProperty is false, perform SetFunctionName(v, P).
+includes: [propertyHelper.js]
+---*/
+
+//- setup
+let arrow;
+//- elems
+{ arrow = () => {} }
+//- vals
+{}
+//- body
+assert.sameValue(arrow.name, 'arrow');
+verifyNotEnumerable(arrow, 'name');
+verifyNotWritable(arrow, 'name');
+verifyConfigurable(arrow, 'name');
+
+//- teardown
+promise
+  .then(() => assert.sameValue(iterCount, 1, 'iteration occurred as expected'), $DONE)
+  .then($DONE, $DONE);
diff --git a/src/dstr-assignment-async-iteration/obj-id-init-fn-name-class.case b/src/dstr-assignment-async-iteration/obj-id-init-fn-name-class.case
new file mode 100644
index 0000000000..36e269e867
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/obj-id-init-fn-name-class.case
@@ -0,0 +1,40 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: Assignment of function `name` attribute (ClassExpression)
+template: default
+es6id: 12.14.5.2
+info: >
+    AssignmentProperty : IdentifierReference Initializeropt
+
+    [...]
+    6. If Initializeropt is present and v is undefined, then
+       [...]
+       d. If IsAnonymousFunctionDefinition(Initializer) is true, then
+          i. Let hasNameProperty be HasOwnProperty(v, "name").
+          ii. ReturnIfAbrupt(hasNameProperty).
+          iii. If hasNameProperty is false, perform SetFunctionName(v, P).
+includes: [propertyHelper.js]
+features: [class]
+---*/
+
+//- setup
+let xCls, cls, xCls2;
+//- elems
+{ xCls = class x {}, cls = class {}, xCls2 = class { static name() {} } }
+//- vals
+{}
+//- body
+assert.notSameValue(xCls.name, 'xCls');
+assert.notSameValue(xCls2.name, 'xCls2');
+
+assert.sameValue(cls.name, 'cls');
+verifyNotEnumerable(cls, 'name');
+verifyNotWritable(cls, 'name');
+verifyConfigurable(cls, 'name');
+
+//- teardown
+promise
+  .then(() => assert.sameValue(iterCount, 1, 'iteration occurred as expected'), $DONE)
+  .then($DONE, $DONE);
diff --git a/src/dstr-assignment-async-iteration/obj-id-init-fn-name-cover.case b/src/dstr-assignment-async-iteration/obj-id-init-fn-name-cover.case
new file mode 100644
index 0000000000..3f398fa415
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/obj-id-init-fn-name-cover.case
@@ -0,0 +1,39 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: >
+    Assignment of function `name` attribute (CoverParenthesizedExpression)
+template: default
+es6id: 12.14.5.2
+info: >
+    AssignmentProperty : IdentifierReference Initializeropt
+
+    [...]
+    6. If Initializeropt is present and v is undefined, then
+       [...]
+       d. If IsAnonymousFunctionDefinition(Initializer) is true, then
+          i. Let hasNameProperty be HasOwnProperty(v, "name").
+          ii. ReturnIfAbrupt(hasNameProperty).
+          iii. If hasNameProperty is false, perform SetFunctionName(v, P).
+includes: [propertyHelper.js]
+---*/
+
+//- setup
+let xCover, cover;
+//- elems
+{ xCover = (0, function() {}), cover = (function() {}) }
+//- vals
+{}
+//- body
+assert.notSameValue(xCover.name, 'xCover');
+
+assert.sameValue(cover.name, 'cover');
+verifyNotEnumerable(cover, 'name');
+verifyNotWritable(cover, 'name');
+verifyConfigurable(cover, 'name');
+
+//- teardown
+promise
+  .then(() => assert.sameValue(iterCount, 1, 'iteration occurred as expected'), $DONE)
+  .then($DONE, $DONE);
diff --git a/src/dstr-assignment-async-iteration/obj-id-init-fn-name-fn.case b/src/dstr-assignment-async-iteration/obj-id-init-fn-name-fn.case
new file mode 100644
index 0000000000..7c931ef72c
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/obj-id-init-fn-name-fn.case
@@ -0,0 +1,38 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: Assignment of function `name` attribute (FunctionExpression)
+template: default
+es6id: 12.14.5.2
+info: >
+    AssignmentProperty : IdentifierReference Initializeropt
+
+    [...]
+    6. If Initializeropt is present and v is undefined, then
+       [...]
+       d. If IsAnonymousFunctionDefinition(Initializer) is true, then
+          i. Let hasNameProperty be HasOwnProperty(v, "name").
+          ii. ReturnIfAbrupt(hasNameProperty).
+          iii. If hasNameProperty is false, perform SetFunctionName(v, P).
+includes: [propertyHelper.js]
+---*/
+
+//- setup
+let xFnexp, fnexp;
+//- elems
+{ xFnexp = function x() {}, fnexp = function() {} }
+//- vals
+{}
+//- body
+assert.notSameValue(xFnexp.name, 'xFnexp');
+
+assert.sameValue(fnexp.name, 'fnexp');
+verifyNotEnumerable(fnexp, 'name');
+verifyNotWritable(fnexp, 'name');
+verifyConfigurable(fnexp, 'name');
+
+//- teardown
+promise
+  .then(() => assert.sameValue(iterCount, 1, 'iteration occurred as expected'), $DONE)
+  .then($DONE, $DONE);
diff --git a/src/dstr-assignment-async-iteration/obj-id-init-fn-name-gen.case b/src/dstr-assignment-async-iteration/obj-id-init-fn-name-gen.case
new file mode 100644
index 0000000000..da5c52c5b7
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/obj-id-init-fn-name-gen.case
@@ -0,0 +1,40 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: Assignment of function `name` attribute (GeneratorExpression)
+template: default
+es6id: 12.14.5.2
+info: >
+    AssignmentProperty : IdentifierReference Initializeropt
+
+    [...]
+    6. If Initializeropt is present and v is undefined, then
+       [...]
+       d. If IsAnonymousFunctionDefinition(Initializer) is true, then
+          i. Let hasNameProperty be HasOwnProperty(v, "name").
+          ii. ReturnIfAbrupt(hasNameProperty).
+          iii. If hasNameProperty is false, perform SetFunctionName(v, P).
+includes: [propertyHelper.js]
+features: [generators]
+---*/
+
+//- setup
+let xGen, gen;
+//- elems
+{ xGen = function* x() {}, gen = function*() {} }
+//- vals
+{}
+//- body
+assert.notSameValue(xGen.name, 'xGen');
+
+assert.sameValue(gen.name, 'gen');
+verifyNotEnumerable(gen, 'name');
+verifyNotWritable(gen, 'name');
+verifyConfigurable(gen, 'name');
+
+
+//- teardown
+promise
+  .then(() => assert.sameValue(iterCount, 1, 'iteration occurred as expected'), $DONE)
+  .then($DONE, $DONE);
diff --git a/src/dstr-assignment-async-iteration/obj-id-init-in.case b/src/dstr-assignment-async-iteration/obj-id-init-in.case
new file mode 100644
index 0000000000..548ede4bec
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/obj-id-init-in.case
@@ -0,0 +1,23 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: >
+    The Initializer in an AssignmentProperty may be an `in` expression.
+template: default
+es6id: 12.14.5
+---*/
+
+//- setup
+let prop;
+//- elems
+{ prop = 'x' in {} }
+//- vals
+{}
+//- body
+assert.sameValue(prop, false);
+
+//- teardown
+promise
+  .then(() => assert.sameValue(iterCount, 1, 'iteration occurred as expected'), $DONE)
+  .then($DONE, $DONE);
diff --git a/src/dstr-assignment-async-iteration/obj-id-init-order.case b/src/dstr-assignment-async-iteration/obj-id-init-order.case
new file mode 100644
index 0000000000..a5c60545b2
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/obj-id-init-order.case
@@ -0,0 +1,25 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: >
+    Initializer values should be assigned in left-to-right order.
+template: default
+es6id: 12.14.5.4
+---*/
+
+//- setup
+let x = 0;
+let a, b;
+//- elems
+{ a = x += 1, b = x *= 2 }
+//- vals
+{}
+//- body
+assert.sameValue(a, 1);
+assert.sameValue(b, 2);
+assert.sameValue(x, 2);
+//- teardown
+promise
+  .then(() => assert.sameValue(iterCount, 1, 'iteration occurred as expected'), $DONE)
+  .then($DONE, $DONE);
diff --git a/src/dstr-assignment-async-iteration/obj-id-init-simple-no-strict.case b/src/dstr-assignment-async-iteration/obj-id-init-simple-no-strict.case
new file mode 100644
index 0000000000..badf346f92
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/obj-id-init-simple-no-strict.case
@@ -0,0 +1,24 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: >
+    Evaluation of DestructuringAssignmentTarget.
+template: default
+es6id: 12.14.5.4
+flags: [noStrict]
+---*/
+
+//- setup
+let eval, arguments;
+//- elems
+{ eval = 3, arguments = 4 }
+//- vals
+{}
+//- body
+assert.sameValue(eval, 3);
+assert.sameValue(arguments, 4);
+//- teardown
+promise
+  .then(() => assert.sameValue(iterCount, 1, 'iteration occurred as expected'), $DONE)
+  .then($DONE, $DONE);
diff --git a/src/dstr-assignment-async-iteration/obj-id-init-yield-expr.case b/src/dstr-assignment-async-iteration/obj-id-init-yield-expr.case
new file mode 100644
index 0000000000..dbd2aaaed0
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/obj-id-init-yield-expr.case
@@ -0,0 +1,32 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: >
+    When a `yield` token appears within the Initializer of an
+    AssignmentProperty and within a generator function body, it should behave
+    as a YieldExpression.
+template: async-generator
+es6id: 12.14.5
+features: [generators]
+---*/
+
+//- setup
+let x;
+
+//- elems
+{ x = yield }
+//- vals
+{}
+//- teardown
+iter.next().then(result => {
+  assert.sameValue(result.value, undefined);
+  assert.sameValue(result.done, false);
+  assert.sameValue(x, undefined);
+
+  iter.next(3).then(result => {
+    assert.sameValue(result.value, undefined);
+    assert.sameValue(result.done, true);
+    assert.sameValue(x, 3);
+  }).then($DONE, $DONE);
+});
diff --git a/src/dstr-assignment-async-iteration/obj-id-init-yield-ident-valid.case b/src/dstr-assignment-async-iteration/obj-id-init-yield-ident-valid.case
new file mode 100644
index 0000000000..c7d2db9c9d
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/obj-id-init-yield-ident-valid.case
@@ -0,0 +1,27 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: >
+    When a `yield` token appears within the Initializer of an
+    AssignmentProperty and outside of a generator function body, it should
+    behave as an IdentifierReference.
+template: async-function
+es6id: 12.14.5
+flags: [noStrict]
+---*/
+
+//- setup
+let yield = 3;
+let x;
+//- elems
+{ x = yield }
+//- vals
+{}
+//- body
+assert.sameValue(x, 3);
+
+//- teardown
+promise
+  .then(() => assert.sameValue(iterCount, 1, 'iteration occurred as expected'), $DONE)
+  .then($DONE, $DONE);
diff --git a/src/dstr-assignment-async-iteration/obj-id-put-unresolvable-no-strict.case b/src/dstr-assignment-async-iteration/obj-id-put-unresolvable-no-strict.case
new file mode 100644
index 0000000000..ea28e25faa
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/obj-id-put-unresolvable-no-strict.case
@@ -0,0 +1,26 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: >
+    Outside of strict mode, if the the assignment target is an unresolvable
+    reference, a new `var` binding should be created in the environment record.
+template: default
+es6id: 12.14.5.4
+flags: [noStrict]
+---*/
+
+//- setup
+{
+//- elems
+{ unresolvable }
+//- vals
+{}
+//- teardown
+promise
+  .then(() => {
+    assert.sameValue(unresolvable, undefined);
+    assert.sameValue(iterCount, 1, 'iteration occurred as expected');
+  }, $DONE)
+  .then($DONE, $DONE);
+}
diff --git a/src/dstr-assignment-async-iteration/obj-id-simple-no-strict.case b/src/dstr-assignment-async-iteration/obj-id-simple-no-strict.case
new file mode 100644
index 0000000000..bbff2331c6
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/obj-id-simple-no-strict.case
@@ -0,0 +1,25 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: >
+    Evaluation of DestructuringAssignmentTarget.
+template: default
+es6id: 12.14.5.4
+flags: [noStrict]
+---*/
+
+//- setup
+let eval;
+//- elems
+{ eval }
+//- vals
+{ eval: 1 }
+//- teardown
+promise
+  .then(() => {
+    assert.sameValue(eval, 1);
+    assert.sameValue(iterCount, 1, 'iteration occurred as expected');
+  }, $DONE)
+  .then($DONE, $DONE);
+
diff --git a/src/dstr-assignment-async-iteration/obj-prop-elem-init-assignment-missing.case b/src/dstr-assignment-async-iteration/obj-prop-elem-init-assignment-missing.case
new file mode 100644
index 0000000000..444385fd34
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/obj-prop-elem-init-assignment-missing.case
@@ -0,0 +1,25 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: >
+  If the Initializer is present and v is undefined, the Initializer should be
+  evaluated and the result assigned to the target reference (non-existent
+  property)
+template: default
+es6id: 12.14.5.4
+---*/
+
+//- setup
+let x;
+//- elems
+{ y: x = 1 }
+//- vals
+{}
+//- body
+assert.sameValue(x, 1);
+
+//- teardown
+promise
+  .then(() => assert.sameValue(iterCount, 1, 'iteration occurred as expected'), $DONE)
+  .then($DONE, $DONE);
diff --git a/src/dstr-assignment-async-iteration/obj-prop-elem-init-assignment-null.case b/src/dstr-assignment-async-iteration/obj-prop-elem-init-assignment-null.case
new file mode 100644
index 0000000000..0c41d3a32c
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/obj-prop-elem-init-assignment-null.case
@@ -0,0 +1,23 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: >
+  If the Initializer is present and v is not undefined, the Initializer should
+  be evaluated and the result assigned to the target reference (null value)
+template: default
+es6id: 12.14.5.4
+---*/
+
+//- setup
+let x;
+//- elems
+{ y: x = 1 }
+//- vals
+{ y: null }
+//- body
+assert.sameValue(x, null);
+//- teardown
+promise
+  .then(() => assert.sameValue(iterCount, 1, 'iteration occurred as expected'), $DONE)
+  .then($DONE, $DONE);
diff --git a/src/dstr-assignment-async-iteration/obj-prop-elem-init-assignment-truthy.case b/src/dstr-assignment-async-iteration/obj-prop-elem-init-assignment-truthy.case
new file mode 100644
index 0000000000..575026770b
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/obj-prop-elem-init-assignment-truthy.case
@@ -0,0 +1,23 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: >
+  If the Initializer is present and v is not undefined, the Initializer should
+  be evaluated and the result assigned to the target reference (truthy value)
+template: default
+es6id: 12.14.5.4
+---*/
+
+//- setup
+let x;
+//- elems
+{ y: x = 1 }
+//- vals
+{ y: 2 }
+//- body
+assert.sameValue(x, 2);
+//- teardown
+promise
+  .then(() => assert.sameValue(iterCount, 1, 'iteration occurred as expected'), $DONE)
+  .then($DONE, $DONE);
diff --git a/src/dstr-assignment-async-iteration/obj-prop-elem-init-assignment-undef.case b/src/dstr-assignment-async-iteration/obj-prop-elem-init-assignment-undef.case
new file mode 100644
index 0000000000..947dbcd2a3
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/obj-prop-elem-init-assignment-undef.case
@@ -0,0 +1,23 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: >
+  If the Initializer is present and v is undefined, the Initializer should be
+  evaluated and the result assigned to the target reference (undefined value)
+template: default
+es6id: 12.14.5.4
+---*/
+
+//- setup
+let x;
+//- elems
+{ y: x = 1 }
+//- vals
+{ y: undefined }
+//- body
+assert.sameValue(x, 1);
+//- teardown
+promise
+  .then(() => assert.sameValue(iterCount, 1, 'iteration occurred as expected'), $DONE)
+  .then($DONE, $DONE);
diff --git a/src/dstr-assignment-async-iteration/obj-prop-elem-init-evaluation.case b/src/dstr-assignment-async-iteration/obj-prop-elem-init-evaluation.case
new file mode 100644
index 0000000000..cdca15202c
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/obj-prop-elem-init-evaluation.case
@@ -0,0 +1,28 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: >
+    The Initializer should only be evaluated if v is undefined.
+template: default
+es6id: 12.14.5.4
+---*/
+
+//- setup
+let flag1 = false;
+let flag2 = false;
+let x, y;
+//- elems
+{ x: x = flag1 = true, y: y = flag2 = true }
+//- vals
+{ y: 1 }
+//- body
+assert.sameValue(x, true, 'value of `x`');
+assert.sameValue(flag1, true, 'value of `flag1`');
+assert.sameValue(y, 1, 'value of `y`');
+assert.sameValue(flag2, false, 'value of `flag2`');
+//- teardown
+promise
+  .then(() => assert.sameValue(iterCount, 1, 'iteration occurred as expected'), $DONE)
+  .then($DONE, $DONE);
+
diff --git a/src/dstr-assignment-async-iteration/obj-prop-elem-init-fn-name-arrow.case b/src/dstr-assignment-async-iteration/obj-prop-elem-init-fn-name-arrow.case
new file mode 100644
index 0000000000..1fe46df947
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/obj-prop-elem-init-fn-name-arrow.case
@@ -0,0 +1,34 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: Assignment of function `name` attribute (ArrowFunction)
+template: default
+es6id: 12.14.5.4
+info: >
+    AssignmentElement[Yield] : DestructuringAssignmentTarget Initializeropt
+
+    [...]
+    6. If Initializer is present and v is undefined and
+       IsAnonymousFunctionDefinition(Initializer) and IsIdentifierRef of
+       DestructuringAssignmentTarget are both true, then
+       a. Let hasNameProperty be ? HasOwnProperty(rhsValue, "name").
+       b. If hasNameProperty is false, perform SetFunctionName(rhsValue, GetReferencedName(lref)).
+includes: [propertyHelper.js]
+---*/
+
+//- setup
+let arrow;
+//- elems
+{ x: arrow = () => {} }
+//- vals
+{}
+//- body
+assert.sameValue(arrow.name, 'arrow');
+verifyNotEnumerable(arrow, 'name');
+verifyNotWritable(arrow, 'name');
+verifyConfigurable(arrow, 'name');
+//- teardown
+promise
+  .then(() => assert.sameValue(iterCount, 1, 'iteration occurred as expected'), $DONE)
+  .then($DONE, $DONE);
diff --git a/src/dstr-assignment-async-iteration/obj-prop-elem-init-fn-name-class.case b/src/dstr-assignment-async-iteration/obj-prop-elem-init-fn-name-class.case
new file mode 100644
index 0000000000..a5ba2e3a05
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/obj-prop-elem-init-fn-name-class.case
@@ -0,0 +1,38 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: Assignment of function `name` attribute (ClassExpression)
+template: default
+es6id: 12.14.5.4
+info: >
+    AssignmentElement[Yield] : DestructuringAssignmentTarget Initializeropt
+
+    [...]
+    6. If Initializer is present and v is undefined and
+       IsAnonymousFunctionDefinition(Initializer) and IsIdentifierRef of
+       DestructuringAssignmentTarget are both true, then
+       a. Let hasNameProperty be ? HasOwnProperty(rhsValue, "name").
+       b. If hasNameProperty is false, perform SetFunctionName(rhsValue, GetReferencedName(lref)).
+includes: [propertyHelper.js]
+features: [class]
+---*/
+
+//- setup
+let xCls, cls, xCls2;
+//- elems
+{ x: xCls = class x {}, x: cls = class {}, x: xCls2 = class { static name() {} } }
+//- vals
+{}
+//- body
+assert.notSameValue(xCls.name, 'xCls');
+assert.notSameValue(xCls2.name, 'xCls2');
+
+assert.sameValue(cls.name, 'cls');
+verifyNotEnumerable(cls, 'name');
+verifyNotWritable(cls, 'name');
+verifyConfigurable(cls, 'name');
+//- teardown
+promise
+  .then(() => assert.sameValue(iterCount, 1, 'iteration occurred as expected'), $DONE)
+  .then($DONE, $DONE);
diff --git a/src/dstr-assignment-async-iteration/obj-prop-elem-init-fn-name-cover.case b/src/dstr-assignment-async-iteration/obj-prop-elem-init-fn-name-cover.case
new file mode 100644
index 0000000000..dc28778dae
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/obj-prop-elem-init-fn-name-cover.case
@@ -0,0 +1,37 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: >
+    Assignment of function `name` attribute (CoverParenthesizedExpression)
+template: default
+es6id: 12.14.5.4
+info: >
+    AssignmentElement[Yield] : DestructuringAssignmentTarget Initializeropt
+
+    [...]
+    6. If Initializer is present and v is undefined and
+       IsAnonymousFunctionDefinition(Initializer) and IsIdentifierRef of
+       DestructuringAssignmentTarget are both true, then
+       a. Let hasNameProperty be ? HasOwnProperty(rhsValue, "name").
+       b. If hasNameProperty is false, perform SetFunctionName(rhsValue, GetReferencedName(lref)).
+includes: [propertyHelper.js]
+---*/
+
+//- setup
+let xCover, cover;
+//- elems
+{ x: xCover = (0, function() {}), x: cover = (function() {}) }
+//- vals
+{}
+//- body
+assert.notSameValue(xCover.name, 'xCover');
+
+assert.sameValue(cover.name, 'cover');
+verifyNotEnumerable(cover, 'name');
+verifyNotWritable(cover, 'name');
+verifyConfigurable(cover, 'name');
+//- teardown
+promise
+  .then(() => assert.sameValue(iterCount, 1, 'iteration occurred as expected'), $DONE)
+  .then($DONE, $DONE);
diff --git a/src/dstr-assignment-async-iteration/obj-prop-elem-init-fn-name-fn.case b/src/dstr-assignment-async-iteration/obj-prop-elem-init-fn-name-fn.case
new file mode 100644
index 0000000000..bb4478d34c
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/obj-prop-elem-init-fn-name-fn.case
@@ -0,0 +1,36 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: Assignment of function `name` attribute (FunctionExpression)
+template: default
+es6id: 12.14.5.4
+info: >
+    AssignmentElement[Yield] : DestructuringAssignmentTarget Initializeropt
+
+    [...]
+    6. If Initializer is present and v is undefined and
+       IsAnonymousFunctionDefinition(Initializer) and IsIdentifierRef of
+       DestructuringAssignmentTarget are both true, then
+       a. Let hasNameProperty be ? HasOwnProperty(rhsValue, "name").
+       b. If hasNameProperty is false, perform SetFunctionName(rhsValue, GetReferencedName(lref)).
+includes: [propertyHelper.js]
+---*/
+
+//- setup
+let xFnexp, fnexp;
+//- elems
+{ x: xFnexp = function x() {}, x: fnexp = function() {} }
+//- vals
+{}
+//- body
+assert.notSameValue(xFnexp.name, 'xFnexp');
+
+assert.sameValue(fnexp.name, 'fnexp');
+verifyNotEnumerable(fnexp, 'name');
+verifyNotWritable(fnexp, 'name');
+verifyConfigurable(fnexp, 'name');
+//- teardown
+promise
+  .then(() => assert.sameValue(iterCount, 1, 'iteration occurred as expected'), $DONE)
+  .then($DONE, $DONE);
diff --git a/src/dstr-assignment-async-iteration/obj-prop-elem-init-fn-name-gen.case b/src/dstr-assignment-async-iteration/obj-prop-elem-init-fn-name-gen.case
new file mode 100644
index 0000000000..b9f7fc89c7
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/obj-prop-elem-init-fn-name-gen.case
@@ -0,0 +1,38 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: Assignment of function `name` attribute (GeneratorExpression)
+template: default
+es6id: 12.14.5.4
+info: >
+    AssignmentElement[Yield] : DestructuringAssignmentTarget Initializeropt
+
+    [...]
+    6. If Initializer is present and v is undefined and
+       IsAnonymousFunctionDefinition(Initializer) and IsIdentifierRef of
+       DestructuringAssignmentTarget are both true, then
+       a. Let hasNameProperty be ? HasOwnProperty(rhsValue, "name").
+       b. If hasNameProperty is false, perform SetFunctionName(rhsValue, GetReferencedName(lref)).
+includes: [propertyHelper.js]
+features: [generators]
+---*/
+
+//- setup
+let xGen, gen;
+//- elems
+{ x: xGen = function* x() {}, x: gen = function*() {} }
+//- vals
+{}
+//- body
+assert.notSameValue(xGen.name, 'xGen');
+
+assert.sameValue(gen.name, 'gen');
+verifyNotEnumerable(gen, 'name');
+verifyNotWritable(gen, 'name');
+verifyConfigurable(gen, 'name');
+
+//- teardown
+promise
+  .then(() => assert.sameValue(iterCount, 1, 'iteration occurred as expected'), $DONE)
+  .then($DONE, $DONE);
diff --git a/src/dstr-assignment-async-iteration/obj-prop-elem-init-in.case b/src/dstr-assignment-async-iteration/obj-prop-elem-init-in.case
new file mode 100644
index 0000000000..ebde862cbe
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/obj-prop-elem-init-in.case
@@ -0,0 +1,23 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: >
+    The Initializer in an AssignmentElement may be an `in` expression.
+template: default
+es6id: 12.14.5
+---*/
+
+//- setup
+let prop;
+//- elems
+{ x: prop = 'x' in {} }
+//- vals
+{}
+//- body
+assert.sameValue(prop, false);
+
+//- teardown
+promise
+  .then(() => assert.sameValue(iterCount, 1, 'iteration occurred as expected'), $DONE)
+  .then($DONE, $DONE);
diff --git a/src/dstr-assignment-async-iteration/obj-prop-elem-init-yield-expr.case b/src/dstr-assignment-async-iteration/obj-prop-elem-init-yield-expr.case
new file mode 100644
index 0000000000..0d01eb80fe
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/obj-prop-elem-init-yield-expr.case
@@ -0,0 +1,31 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: >
+    When a `yield` token appears within the Initializer of an AssignmentElement
+    and within a generator function body, it should behave as a
+    YieldExpression.
+template: async-generator
+es6id: 12.14.5.4
+features: [generators]
+---*/
+
+//- setup
+let x;
+//- elems
+{ x: x = yield }
+//- vals
+{}
+//- teardown
+iter.next().then(result => {
+  assert.sameValue(result.value, undefined);
+  assert.sameValue(result.done, false);
+  assert.sameValue(x, undefined);
+
+  iter.next(86).then(result => {
+    assert.sameValue(result.value, undefined);
+    assert.sameValue(result.done, true);
+    assert.sameValue(x, 86);
+  }).then($DONE, $DONE);
+});
diff --git a/src/dstr-assignment-async-iteration/obj-prop-elem-init-yield-ident-valid.case b/src/dstr-assignment-async-iteration/obj-prop-elem-init-yield-ident-valid.case
new file mode 100644
index 0000000000..b06c24651f
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/obj-prop-elem-init-yield-ident-valid.case
@@ -0,0 +1,26 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: >
+    When a `yield` token appears within the Initializer of an AssignmentElement
+    and outside of a generator function body, it should behave as an
+    IdentifierReference.
+template: async-function
+es6id: 12.14.5.4
+flags: [noStrict]
+---*/
+
+//- setup
+let yield = 4;
+let x;
+//- elems
+{ x: x = yield }
+//- vals
+{}
+//- body
+assert.sameValue(x, 4);
+//- teardown
+promise
+  .then(() => assert.sameValue(iterCount, 1, 'iteration occurred as expected'), $DONE)
+  .then($DONE, $DONE);
diff --git a/src/dstr-assignment-async-iteration/obj-prop-elem-target-yield-expr.case b/src/dstr-assignment-async-iteration/obj-prop-elem-target-yield-expr.case
new file mode 100644
index 0000000000..10f4b54792
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/obj-prop-elem-target-yield-expr.case
@@ -0,0 +1,31 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: >
+    When a `yield` token appears within the DestructuringAssignmentTarget of an
+    AssignmentElement and within a generator function body, it should behave as
+    a YieldExpression.
+template: async-generator
+es6id: 12.14.5.4
+features: [generators]
+---*/
+
+//- setup
+let x = {};
+//- elems
+{ x: x[yield] }
+//- vals
+{ x: 23 }
+//- teardown
+iter.next().then(result => {
+  assert.sameValue(result.value, undefined);
+  assert.sameValue(result.done, false);
+  assert.sameValue(x.prop, undefined);
+
+  iter.next('prop').then(result => {
+    assert.sameValue(result.value, undefined);
+    assert.sameValue(result.done, true);
+    assert.sameValue(x.prop, 23);
+  }).then($DONE, $DONE);
+});
diff --git a/src/dstr-assignment-async-iteration/obj-prop-elem-target-yield-ident-valid.case b/src/dstr-assignment-async-iteration/obj-prop-elem-target-yield-ident-valid.case
new file mode 100644
index 0000000000..04f9038968
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/obj-prop-elem-target-yield-ident-valid.case
@@ -0,0 +1,27 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: >
+    When a `yield` token appears within the DestructuringAssignmentTarget of an
+    AssignmentElement and outside of a generator function body, it should
+    behave as an IdentifierReference.
+template: async-function
+es6id: 12.14.5.4
+flags: [noStrict]
+---*/
+
+//- setup
+let yield = 'prop';
+let x = {};
+//- elems
+{ x: x[yield] }
+//- vals
+{ x: 23 }
+//- body
+assert.sameValue(x.prop, 23);
+//- teardown
+promise
+  .then(() => assert.sameValue(iterCount, 1, 'iteration occurred as expected'), $DONE)
+  .then($DONE, $DONE);
+
diff --git a/src/dstr-assignment-async-iteration/obj-prop-identifier-resolution-first.case b/src/dstr-assignment-async-iteration/obj-prop-identifier-resolution-first.case
new file mode 100644
index 0000000000..226bdc79fa
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/obj-prop-identifier-resolution-first.case
@@ -0,0 +1,23 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: >
+  Evaluation of DestructuringAssignmentTarget (first of many).
+template: default
+es6id: 12.14.5.4
+---*/
+
+//- setup
+let x = null;
+let y;
+//- elems
+{ a: x, y }
+//- vals
+{ a: 3 }
+//- body
+assert.sameValue(x, 3);
+//- teardown
+promise
+  .then(() => assert.sameValue(iterCount, 1, 'iteration occurred as expected'), $DONE)
+  .then($DONE, $DONE);
diff --git a/src/dstr-assignment-async-iteration/obj-prop-identifier-resolution-last.case b/src/dstr-assignment-async-iteration/obj-prop-identifier-resolution-last.case
new file mode 100644
index 0000000000..3efb3d3551
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/obj-prop-identifier-resolution-last.case
@@ -0,0 +1,23 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: >
+  Evaluation of DestructuringAssignmentTarget (last of many).
+template: default
+es6id: 12.14.5.4
+---*/
+
+//- setup
+let x = null;
+let w;
+//- elems
+{ w, a: x }
+//- vals
+{ a: 4 }
+//- body
+assert.sameValue(x, 4);
+//- teardown
+promise
+  .then(() => assert.sameValue(iterCount, 1, 'iteration occurred as expected'), $DONE)
+  .then($DONE, $DONE);
diff --git a/src/dstr-assignment-async-iteration/obj-prop-identifier-resolution-lone.case b/src/dstr-assignment-async-iteration/obj-prop-identifier-resolution-lone.case
new file mode 100644
index 0000000000..fec596e5a9
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/obj-prop-identifier-resolution-lone.case
@@ -0,0 +1,22 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: >
+  Evaluation of DestructuringAssignmentTarget (lone element).
+template: default
+es6id: 12.14.5.4
+---*/
+
+//- setup
+let x = null;
+//- elems
+{ a: x }
+//- vals
+{ a: 1 }
+//- body
+assert.sameValue(x, 1);
+//- teardown
+promise
+  .then(() => assert.sameValue(iterCount, 1, 'iteration occurred as expected'), $DONE)
+  .then($DONE, $DONE);
diff --git a/src/dstr-assignment-async-iteration/obj-prop-identifier-resolution-middle.case b/src/dstr-assignment-async-iteration/obj-prop-identifier-resolution-middle.case
new file mode 100644
index 0000000000..f784172840
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/obj-prop-identifier-resolution-middle.case
@@ -0,0 +1,23 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: >
+  Evaluation of DestructuringAssignmentTarget (within many).
+template: default
+es6id: 12.14.5.4
+---*/
+
+//- setup
+let x = null;
+let w, y;
+//- elems
+{ w, a: x, y }
+//- vals
+{ a: 5 }
+//- body
+assert.sameValue(x, 5);
+//- teardown
+promise
+  .then(() => assert.sameValue(iterCount, 1, 'iteration occurred as expected'), $DONE)
+  .then($DONE, $DONE);
diff --git a/src/dstr-assignment-async-iteration/obj-prop-identifier-resolution-trlng.case b/src/dstr-assignment-async-iteration/obj-prop-identifier-resolution-trlng.case
new file mode 100644
index 0000000000..c38a146cef
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/obj-prop-identifier-resolution-trlng.case
@@ -0,0 +1,23 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: >
+  Evaluation of DestructuringAssignmentTarget (lone element with trailing
+  comma).
+template: default
+es6id: 12.14.5.4
+---*/
+
+//- setup
+let x = null;
+//- elems
+{ a: x, }
+//- vals
+{ a: 2 }
+//- body
+assert.sameValue(x, 2);
+//- teardown
+promise
+  .then(() => assert.sameValue(iterCount, 1, 'iteration occurred as expected'), $DONE)
+  .then($DONE, $DONE);
diff --git a/src/dstr-assignment-async-iteration/obj-prop-name-evaluation.case b/src/dstr-assignment-async-iteration/obj-prop-name-evaluation.case
new file mode 100644
index 0000000000..e40d850af3
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/obj-prop-name-evaluation.case
@@ -0,0 +1,25 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: >
+    PropertyName of an AssignmentProperty may be a ComputedPropertyName.
+template: default
+es6id: 12.14.5.2
+---*/
+
+//- setup
+let x, y, xy;
+//- elems
+{ ['x' + 'y']: x }
+//- vals
+{ x: 1, xy: 23, y: 2 }
+//- body
+assert.sameValue(x, 23);
+assert.sameValue(y, undefined);
+assert.sameValue(xy, undefined);
+//- teardown
+promise
+  .then(() => assert.sameValue(iterCount, 1, 'iteration occurred as expected'), $DONE)
+  .then($DONE, $DONE);
+
diff --git a/src/dstr-assignment-async-iteration/obj-prop-nested-array-yield-expr.case b/src/dstr-assignment-async-iteration/obj-prop-nested-array-yield-expr.case
new file mode 100644
index 0000000000..32748683bb
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/obj-prop-nested-array-yield-expr.case
@@ -0,0 +1,32 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: >
+    When a `yield` token appears within the Initializer of a nested
+    destructuring assignment and within a generator function body, it should
+    behave as a YieldExpression.
+template: async-generator
+es6id: 12.14.5.4
+features: [generators]
+---*/
+
+//- setup
+let x;
+
+//- elems
+{ x: [x = yield] }
+//- vals
+{ x: [] }
+//- teardown
+iter.next().then(result => {
+  assert.sameValue(result.value, undefined);
+  assert.sameValue(result.done, false);
+  assert.sameValue(x, undefined);
+
+  iter.next(24601).then(result => {
+    assert.sameValue(result.value, undefined);
+    assert.sameValue(result.done, true);
+    assert.sameValue(x, 24601);
+  }).then($DONE, $DONE);
+});
diff --git a/src/dstr-assignment-async-iteration/obj-prop-nested-array-yield-ident-valid.case b/src/dstr-assignment-async-iteration/obj-prop-nested-array-yield-ident-valid.case
new file mode 100644
index 0000000000..5ebe36ddda
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/obj-prop-nested-array-yield-ident-valid.case
@@ -0,0 +1,26 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: >
+    When a `yield` token appears within the Initializer of a nested
+    destructuring assignment and outside of a generator function body, it
+    should behave as an IdentifierReference.
+template: async-function
+es6id: 12.14.5.4
+flags: [noStrict]
+---*/
+
+//- setup
+let yield = 22;
+let x;
+//- elems
+{ x: [x = yield] }
+//- vals
+{ x: [] }
+//- body
+assert.sameValue(x, 22);
+//- teardown
+promise
+  .then(() => assert.sameValue(iterCount, 1, 'iteration occurred as expected'), $DONE)
+  .then($DONE, $DONE);
diff --git a/src/dstr-assignment-async-iteration/obj-prop-nested-array.case b/src/dstr-assignment-async-iteration/obj-prop-nested-array.case
new file mode 100644
index 0000000000..daa41735ef
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/obj-prop-nested-array.case
@@ -0,0 +1,24 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: >
+    When DestructuringAssignmentTarget is an array literal, it should be parsed
+    parsed as a DestructuringAssignmentPattern and evaluated as a destructuring
+    assignment.
+template: default
+es6id: 12.14.5.4
+---*/
+
+//- setup
+let y;
+//- elems
+{ x: [y] }
+//- vals
+{ x: [321] }
+//- body
+assert.sameValue(y, 321);
+//- teardown
+promise
+  .then(() => assert.sameValue(iterCount, 1, 'iteration occurred as expected'), $DONE)
+  .then($DONE, $DONE);
diff --git a/src/dstr-assignment-async-iteration/obj-prop-nested-obj-yield-expr.case b/src/dstr-assignment-async-iteration/obj-prop-nested-obj-yield-expr.case
new file mode 100644
index 0000000000..4124cd5a3d
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/obj-prop-nested-obj-yield-expr.case
@@ -0,0 +1,32 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: >
+    When a `yield` token appears within the Initializer of a nested
+    destructuring assignment and within a generator function body, it should
+    behave as a YieldExpression.
+template: async-generator
+es6id: 12.14.5.4
+features: [generators]
+---*/
+
+//- setup
+let x = undefined;
+
+//- elems
+{ x: { x = yield } }
+//- vals
+{ x: {} }
+//- teardown
+iter.next().then(result => {
+  assert.sameValue(result.value, undefined);
+  assert.sameValue(result.done, false);
+  assert.sameValue(x, undefined);
+
+  iter.next(4).then(result => {
+    assert.sameValue(result.value, undefined);
+    assert.sameValue(result.done, true);
+    assert.sameValue(x, 4);
+  }).then($DONE, $DONE);
+});
diff --git a/src/dstr-assignment-async-iteration/obj-prop-nested-obj-yield-ident-valid.case b/src/dstr-assignment-async-iteration/obj-prop-nested-obj-yield-ident-valid.case
new file mode 100644
index 0000000000..5d6f65813d
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/obj-prop-nested-obj-yield-ident-valid.case
@@ -0,0 +1,26 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: >
+    When a `yield` token appears within the Initializer of a nested
+    destructuring assignment and outside of a generator function body, it
+    should behave as an IdentifierReference.
+template: async-function
+es6id: 12.14.5.4
+flags: [noStrict]
+---*/
+
+//- setup
+let yield = 2;
+let result, x;
+//- elems
+{ x: { x = yield } }
+//- vals
+{ x: {} }
+//- body
+assert.sameValue(x, 2);
+//- teardown
+promise
+  .then(() => assert.sameValue(iterCount, 1, 'iteration occurred as expected'), $DONE)
+  .then($DONE, $DONE);
diff --git a/src/dstr-assignment-async-iteration/obj-prop-nested-obj.case b/src/dstr-assignment-async-iteration/obj-prop-nested-obj.case
new file mode 100644
index 0000000000..12ee4ff1eb
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/obj-prop-nested-obj.case
@@ -0,0 +1,24 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: >
+    When DestructuringAssignmentTarget is an object literal, it should be
+    parsed as a DestructuringAssignmentPattern and evaluated as a destructuring
+    assignment.
+template: default
+es6id: 12.14.5.4
+---*/
+
+//- setup
+let result, y;
+//- elems
+{ x: { y } }
+//- vals
+{ x: { y: 2 } }
+//- body
+assert.sameValue(y, 2);
+//- teardown
+promise
+  .then(() => assert.sameValue(iterCount, 1, 'iteration occurred as expected'), $DONE)
+  .then($DONE, $DONE);
diff --git a/src/dstr-assignment-async-iteration/obj-prop-put-order.case b/src/dstr-assignment-async-iteration/obj-prop-put-order.case
new file mode 100644
index 0000000000..ad84d95b1e
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/obj-prop-put-order.case
@@ -0,0 +1,23 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: >
+    The AssignmentElements in an AssignmentElementList are evaluated in left-
+    to-right order.
+template: default
+es6id: 12.14.5.4
+---*/
+
+//- setup
+let x;
+//- elems
+{ z: x, a: x }
+//- vals
+{ a: 2, z: 1 }
+//- body
+assert.sameValue(x, 2);
+//- teardown
+promise
+  .then(() => assert.sameValue(iterCount, 1, 'iteration occurred as expected'), $DONE)
+  .then($DONE, $DONE);
diff --git a/src/dstr-assignment-async-iteration/obj-prop-put-prop-ref-no-get.case b/src/dstr-assignment-async-iteration/obj-prop-put-prop-ref-no-get.case
new file mode 100644
index 0000000000..3e1bbaffb6
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/obj-prop-put-prop-ref-no-get.case
@@ -0,0 +1,31 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: >
+    If the DestructuringAssignmentTarget of an AssignmentElement is a
+    PropertyReference, it should not be evaluated.
+template: default
+es6id: 12.14.5.4
+---*/
+
+//- setup
+let setValue;
+let x = {
+  get y() {
+    $ERROR('The property should not be accessed.');
+  },
+  set y(val) {
+    setValue = val;
+  }
+};
+//- elems
+{ a: x.y }
+//- vals
+{ a: 23 }
+//- body
+assert.sameValue(setValue, 23);
+//- teardown
+promise
+  .then(() => assert.sameValue(iterCount, 1, 'iteration occurred as expected'), $DONE)
+  .then($DONE, $DONE);
diff --git a/src/dstr-assignment-async-iteration/obj-prop-put-prop-ref.case b/src/dstr-assignment-async-iteration/obj-prop-put-prop-ref.case
new file mode 100644
index 0000000000..1e2f676de1
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/obj-prop-put-prop-ref.case
@@ -0,0 +1,23 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: >
+    The DestructuringAssignmentTarget of an AssignmentElement may be a
+    PropertyReference.
+template: default
+es6id: 12.14.5.4
+---*/
+
+//- setup
+let x = {};
+//- elems
+{ xy: x.y }
+//- vals
+{ xy: 4 }
+//- body
+assert.sameValue(x.y, 4);
+//- teardown
+promise
+  .then(() => assert.sameValue(iterCount, 1, 'iteration occurred as expected'), $DONE)
+  .then($DONE, $DONE);
diff --git a/src/dstr-assignment-async-iteration/obj-prop-put-unresolvable-no-strict.case b/src/dstr-assignment-async-iteration/obj-prop-put-unresolvable-no-strict.case
new file mode 100644
index 0000000000..cdcebfb97c
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/obj-prop-put-unresolvable-no-strict.case
@@ -0,0 +1,26 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: >
+    Outside of strict mode, if the the assignment target is an unresolvable
+    reference, a new `var` binding should be created in the environment record.
+template: default
+es6id: 12.14.5.4
+flags: [noStrict]
+---*/
+
+//- setup
+{
+//- elems
+{ x: unresolvable }
+//- vals
+{}
+//- teardown
+promise
+  .then(() => {
+    assert.sameValue(unresolvable, undefined);
+    assert.sameValue(iterCount, 1, 'iteration occurred as expected');
+  }, $DONE)
+  .then($DONE, $DONE);
+}
diff --git a/src/dstr-assignment-async-iteration/obj-rest-descriptors.case b/src/dstr-assignment-async-iteration/obj-rest-descriptors.case
new file mode 100644
index 0000000000..b611006025
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/obj-rest-descriptors.case
@@ -0,0 +1,37 @@
+// Copyright (C) 2017 Caio Lima & the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: >
+    Object created from rest deconstruction doesn't copy source
+    object property descriptors.
+template: default
+esid: pending
+includes: [propertyHelper.js]
+features: [object-rest]
+---*/
+
+//- setup
+let rest;
+let obj = {};
+Object.defineProperty(obj, "a", { value: 3, configurable: false, enumerable: true });
+Object.defineProperty(obj, "b", { value: 4, writable: false, enumerable: true });
+//- elems
+{...rest}
+//- vals
+obj
+//- body
+assert.sameValue(rest.a, 3);
+assert.sameValue(rest.b, 4);
+
+verifyEnumerable(rest, "a");
+verifyWritable(rest, "a");
+verifyConfigurable(rest, "a");
+
+verifyEnumerable(rest, "b");
+verifyWritable(rest, "b");
+verifyConfigurable(rest, "b");
+//- teardown
+promise
+  .then(() => assert.sameValue(iterCount, 1, 'iteration occurred as expected'), $DONE)
+  .then($DONE, $DONE);
diff --git a/src/dstr-assignment-async-iteration/obj-rest-empty-obj.case b/src/dstr-assignment-async-iteration/obj-rest-empty-obj.case
new file mode 100644
index 0000000000..9cc4fe3302
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/obj-rest-empty-obj.case
@@ -0,0 +1,27 @@
+// Copyright (C) 2017 Caio Lima & the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: >
+    RestBindingInitialization creates a new object even if lhs is an empty object
+template: default
+esid: pending
+features: [object-rest]
+---*/
+
+//- setup
+let rest;
+
+//- elems
+{...rest}
+//- vals
+{}
+//- body
+assert.notSameValue(rest, undefined);
+assert.notSameValue(rest, null);
+assert.sameValue(typeof rest, "object");
+
+//- teardown
+promise
+  .then(() => assert.sameValue(iterCount, 1, 'iteration occurred as expected'), $DONE)
+  .then($DONE, $DONE);
diff --git a/src/dstr-assignment-async-iteration/obj-rest-getter.case b/src/dstr-assignment-async-iteration/obj-rest-getter.case
new file mode 100644
index 0000000000..6a3b38a227
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/obj-rest-getter.case
@@ -0,0 +1,31 @@
+// Copyright (C) 2017 Caio Lima & the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: >
+    Getter is called when obj is being deconstructed to a rest Object
+template: default
+esid: pending
+includes: [propertyHelper.js]
+features: [object-rest]
+---*/
+
+//- setup
+let x;
+let count = 0;
+//- elems
+{...x}
+//- vals
+{ get v() { count++; return 2; } }
+//- body
+assert.sameValue(x.v, 2);
+assert.sameValue(count, 1);
+
+verifyEnumerable(x, "v");
+verifyWritable(x, "v");
+verifyConfigurable(x, "v");
+
+//- teardown
+promise
+  .then(() => assert.sameValue(iterCount, 1, 'iteration occurred as expected'), $DONE)
+  .then($DONE, $DONE);
diff --git a/src/dstr-assignment-async-iteration/obj-rest-nested-obj-nested-rest.case b/src/dstr-assignment-async-iteration/obj-rest-nested-obj-nested-rest.case
new file mode 100644
index 0000000000..716958f7e4
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/obj-rest-nested-obj-nested-rest.case
@@ -0,0 +1,40 @@
+// Copyright (C) 2017 Caio Lima & the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: >
+    When DestructuringAssignmentTarget is an object literal, it should be parsed
+    parsed as a DestructuringAssignmentPattern and evaluated as a destructuring
+    assignment and object rest desconstruction is allowed in that case.
+template: default
+esid: pending
+includes: [propertyHelper.js]
+features: [object-rest]
+---*/
+
+//- setup
+let a, b, c, rest;
+//- elems
+{a, b, ...{c, ...rest}}
+//- vals
+{a: 1, b: 2, c: 3, d: 4, e: 5}
+//- body
+assert.sameValue(a, 1);
+assert.sameValue(b, 2);
+assert.sameValue(c, 3);
+
+assert.sameValue(rest.d, 4);
+assert.sameValue(rest.e, 5);
+
+verifyEnumerable(rest, "d");
+verifyWritable(rest, "d");
+verifyConfigurable(rest, "d");
+
+verifyEnumerable(rest, "e");
+verifyWritable(rest, "e");
+verifyConfigurable(rest, "e");
+
+//- teardown
+promise
+  .then(() => assert.sameValue(iterCount, 1, 'iteration occurred as expected'), $DONE)
+  .then($DONE, $DONE);
diff --git a/src/dstr-assignment-async-iteration/obj-rest-nested-obj.case b/src/dstr-assignment-async-iteration/obj-rest-nested-obj.case
new file mode 100644
index 0000000000..e2b18b84b8
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/obj-rest-nested-obj.case
@@ -0,0 +1,30 @@
+// Copyright (C) 2017 Caio Lima & the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: >
+    When DestructuringAssignmentTarget is an object literal, it should be parsed
+    parsed as a DestructuringAssignmentPattern and evaluated as a destructuring
+    assignment.
+template: default
+esid: pending
+features: [object-rest]
+---*/
+
+//- setup
+let a, b, c, d, e;
+//- elems
+{a, b, ...{c, e}}
+//- vals
+{a: 1, b: 2, c: 3, d: 4, e: 5}
+//- body
+assert.sameValue(a, 1);
+assert.sameValue(b, 2);
+assert.sameValue(c, 3);
+assert.sameValue(e, 5);
+assert.sameValue(d, undefined);
+
+//- teardown
+promise
+  .then(() => assert.sameValue(iterCount, 1, 'iteration occurred as expected'), $DONE)
+  .then($DONE, $DONE);
diff --git a/src/dstr-assignment-async-iteration/obj-rest-number.case b/src/dstr-assignment-async-iteration/obj-rest-number.case
new file mode 100644
index 0000000000..44bfa8e7ba
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/obj-rest-number.case
@@ -0,0 +1,27 @@
+// Copyright (C) 2017 Caio Lima & the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: >
+    RestBindingInitialization creates a new object even if lhs is a Number
+template: default
+esid: pending
+features: [object-rest]
+---*/
+
+//- setup
+let rest;
+
+//- elems
+{...rest}
+//- vals
+51
+//- body
+assert.notSameValue(rest, undefined);
+assert.notSameValue(rest, null);
+assert(rest instanceof Object);
+
+//- teardown
+promise
+  .then(() => assert.sameValue(iterCount, 1, 'iteration occurred as expected'), $DONE)
+  .then($DONE, $DONE);
diff --git a/src/dstr-assignment-async-iteration/obj-rest-obj-own-property.case b/src/dstr-assignment-async-iteration/obj-rest-obj-own-property.case
new file mode 100644
index 0000000000..e804894b20
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/obj-rest-obj-own-property.case
@@ -0,0 +1,29 @@
+// Copyright (C) 2017 Caio Lima & the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: >
+    Rest object contains just source object's own properties
+template: default
+esid: pending
+features: [object-rest]
+---*/
+
+//- setup
+let o = Object.create({ x: 1, y: 2 });
+o.z = 3;
+
+let x, y, z;
+//- elems
+{ x, ...{y , z} }
+//- vals
+o
+//- body
+assert.sameValue(x, 1);
+assert.sameValue(y, undefined);
+assert.sameValue(z, 3);
+
+//- teardown
+promise
+  .then(() => assert.sameValue(iterCount, 1, 'iteration occurred as expected'), $DONE)
+  .then($DONE, $DONE);
diff --git a/src/dstr-assignment-async-iteration/obj-rest-same-name.case b/src/dstr-assignment-async-iteration/obj-rest-same-name.case
new file mode 100644
index 0000000000..4906ffbb3b
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/obj-rest-same-name.case
@@ -0,0 +1,38 @@
+// Copyright (C) 2017 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: >
+    Proper setting in the values for rest name equal to a property name.
+template: default
+esid: pending
+features: [object-rest]
+---*/
+
+//- setup
+let o = {
+  x: 42,
+  y: 39,
+  z: 'cheeseburger'
+};
+
+let x, y, z;
+//- elems
+{ x, ...z }
+//- vals
+o
+//- body
+assert.sameValue(x, 42);
+assert.sameValue(y, undefined);
+assert.sameValue(z.y, 39);
+assert.sameValue(z.z, 'cheeseburger');
+
+let keys = Object.keys(z);
+assert.sameValue(keys.length, 2);
+assert.sameValue(keys[0], 'y');
+assert.sameValue(keys[1], 'z');
+
+//- teardown
+promise
+  .then(() => assert.sameValue(iterCount, 1, 'iteration occurred as expected'), $DONE)
+  .then($DONE, $DONE);
diff --git a/src/dstr-assignment-async-iteration/obj-rest-skip-non-enumerable.case b/src/dstr-assignment-async-iteration/obj-rest-skip-non-enumerable.case
new file mode 100644
index 0000000000..a38daa7a96
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/obj-rest-skip-non-enumerable.case
@@ -0,0 +1,37 @@
+// Copyright (C) 2017 Caio Lima & the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: >
+    Rest object doesn't contain non-enumerable properties
+template: default
+esid: pending
+includes: [propertyHelper.js]
+features: [object-rest]
+---*/
+
+//- setup
+let rest;
+let obj = {a: 3, b: 4};
+Object.defineProperty(obj, "x", { value: 4, enumerable: false });
+//- elems
+{...rest}
+//- vals
+obj
+//- body
+assert.sameValue(rest.a, 3);
+assert.sameValue(rest.b, 4);
+assert.sameValue(Object.getOwnPropertyDescriptor(rest, "x"), undefined);
+
+verifyEnumerable(rest, "a");
+verifyWritable(rest, "a");
+verifyConfigurable(rest, "a");
+
+verifyEnumerable(rest, "b");
+verifyWritable(rest, "b");
+verifyConfigurable(rest, "b");
+
+//- teardown
+promise
+  .then(() => assert.sameValue(iterCount, 1, 'iteration occurred as expected'), $DONE)
+  .then($DONE, $DONE);
diff --git a/src/dstr-assignment-async-iteration/obj-rest-str-val.case b/src/dstr-assignment-async-iteration/obj-rest-str-val.case
new file mode 100644
index 0000000000..ef575bf556
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/obj-rest-str-val.case
@@ -0,0 +1,28 @@
+// Copyright (C) 2017 Caio Lima & the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: >
+    RestBindingInitialization creats an object with indexes as property name
+template: default
+esid: pending
+features: [object-rest]
+---*/
+
+//- setup
+let rest;
+
+//- elems
+{...rest}
+//- vals
+"foo"
+//- body
+assert.sameValue(rest["0"], "f");
+assert.sameValue(rest["1"], "o");
+assert.sameValue(rest["2"], "o");
+assert(rest instanceof Object);
+
+//- teardown
+promise
+  .then(() => assert.sameValue(iterCount, 1, 'iteration occurred as expected'), $DONE)
+  .then($DONE, $DONE);
diff --git a/src/dstr-assignment-async-iteration/obj-rest-symbol-val.case b/src/dstr-assignment-async-iteration/obj-rest-symbol-val.case
new file mode 100644
index 0000000000..4feed1a464
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/obj-rest-symbol-val.case
@@ -0,0 +1,27 @@
+// Copyright (C) 2017 Caio Lima & the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: >
+    RestBindingInitialization creates a new object if lhs is a Symbol
+template: default
+esid: pending
+features: [object-rest]
+---*/
+
+//- setup
+let rest;
+
+//- elems
+{...rest}
+//- vals
+Symbol("foo")
+//- body
+assert.notSameValue(rest, undefined);
+assert.notSameValue(rest, null);
+assert(rest instanceof Object);
+
+//- teardown
+promise
+  .then(() => assert.sameValue(iterCount, 1, 'iteration occurred as expected'), $DONE)
+  .then($DONE, $DONE);
diff --git a/src/dstr-assignment-async-iteration/obj-rest-to-property-with-setter.case b/src/dstr-assignment-async-iteration/obj-rest-to-property-with-setter.case
new file mode 100644
index 0000000000..d5db125a09
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/obj-rest-to-property-with-setter.case
@@ -0,0 +1,37 @@
+// Copyright (C) 2017 Caio Lima & the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: >
+    When DestructuringAssignmentTarget is an object property setter, its value should be
+    binded as rest object.
+template: default
+esid: pending
+features: [object-rest]
+---*/
+
+//- setup
+let settedValue;
+let executedGetter = false;
+let src = {
+  get y() {
+    executedGetter = true;
+  },
+  set y(v) {
+    settedValue = v;
+  },
+};
+src.y = undefined;
+//- elems
+{...src.y}
+//- vals
+{ x: 1, y: 2}
+//- body
+assert.sameValue(settedValue.x, 1);
+assert.sameValue(settedValue.y, 2);
+assert(!executedGetter, "The property should not be accessed");
+
+//- teardown
+promise
+  .then(() => assert.sameValue(iterCount, 1, 'iteration occurred as expected'), $DONE)
+  .then($DONE, $DONE);
diff --git a/src/dstr-assignment-async-iteration/obj-rest-to-property.case b/src/dstr-assignment-async-iteration/obj-rest-to-property.case
new file mode 100644
index 0000000000..fff09d20e8
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/obj-rest-to-property.case
@@ -0,0 +1,31 @@
+// Copyright (C) 2017 Caio Lima & the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: >
+    When DestructuringAssignmentTarget is an object property, its value should be binded
+    as rest object.
+template: default
+esid: pending
+includes: [propertyHelper.js]
+features: [object-rest]
+---*/
+
+//- setup
+let src = {};
+//- elems
+{...src.y}
+//- vals
+{ x: 1, y: 2}
+//- body
+assert.sameValue(src.y.x, 1);
+assert.sameValue(src.y.y, 2);
+
+verifyEnumerable(src, "y");
+verifyWritable(src, "y");
+verifyConfigurable(src, "y");
+
+//- teardown
+promise
+  .then(() => assert.sameValue(iterCount, 1, 'iteration occurred as expected'), $DONE)
+  .then($DONE, $DONE);
diff --git a/src/dstr-assignment-async-iteration/obj-rest-valid-object.case b/src/dstr-assignment-async-iteration/obj-rest-valid-object.case
new file mode 100644
index 0000000000..f959b8bbdc
--- /dev/null
+++ b/src/dstr-assignment-async-iteration/obj-rest-valid-object.case
@@ -0,0 +1,37 @@
+// Copyright (C) 2017 Caio Lima & the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: >
+    Rest object contains just unextracted data
+template: default
+esid: pending
+includes: [propertyHelper.js]
+features: [object-rest]
+---*/
+
+//- setup
+let rest, a, b;
+
+//- elems
+{a, b, ...rest}
+//- vals
+{x: 1, y: 2, a: 5, b: 3}
+//- body
+assert.sameValue(rest.x, 1);
+assert.sameValue(rest.y, 2);
+assert.sameValue(rest.a, undefined);
+assert.sameValue(rest.b, undefined);
+
+verifyEnumerable(rest, "x");
+verifyWritable(rest, "x");
+verifyConfigurable(rest, "x");
+
+verifyEnumerable(rest, "y");
+verifyWritable(rest, "y");
+verifyConfigurable(rest, "y");
+
+//- teardown
+promise
+  .then(() => assert.sameValue(iterCount, 1, 'iteration occurred as expected'), $DONE)
+  .then($DONE, $DONE);
-- 
GitLab