diff --git a/tests/baselines/reference/iterableArrayPattern1.js b/tests/baselines/reference/iterableArrayPattern1.js
new file mode 100644
index 00000000000..b45ac92d1fd
--- /dev/null
+++ b/tests/baselines/reference/iterableArrayPattern1.js
@@ -0,0 +1,28 @@
+//// [iterableArrayPattern1.ts]
+var [a, b] = new SymbolIterator;
+class SymbolIterator {
+    next() {
+        return {
+            value: Symbol(),
+            done: false
+        };
+    }
+
+    [Symbol.iterator]() {
+        return this;
+    }
+}
+
+//// [iterableArrayPattern1.js]
+var [a, b] = new SymbolIterator;
+class SymbolIterator {
+    next() {
+        return {
+            value: Symbol(),
+            done: false
+        };
+    }
+    [Symbol.iterator]() {
+        return this;
+    }
+}
diff --git a/tests/baselines/reference/iterableArrayPattern1.types b/tests/baselines/reference/iterableArrayPattern1.types
new file mode 100644
index 00000000000..8be8521c684
--- /dev/null
+++ b/tests/baselines/reference/iterableArrayPattern1.types
@@ -0,0 +1,36 @@
+=== tests/cases/conformance/es6/destructuring/iterableArrayPattern1.ts ===
+var [a, b] = new SymbolIterator;
+>a : symbol
+>b : symbol
+>new SymbolIterator : SymbolIterator
+>SymbolIterator : typeof SymbolIterator
+
+class SymbolIterator {
+>SymbolIterator : SymbolIterator
+
+    next() {
+>next : () => { value: symbol; done: boolean; }
+
+        return {
+>{            value: Symbol(),            done: false        } : { value: symbol; done: boolean; }
+
+            value: Symbol(),
+>value : symbol
+>Symbol() : symbol
+>Symbol : SymbolConstructor
+
+            done: false
+>done : boolean
+
+        };
+    }
+
+    [Symbol.iterator]() {
+>Symbol.iterator : symbol
+>Symbol : SymbolConstructor
+>iterator : symbol
+
+        return this;
+>this : SymbolIterator
+    }
+}
diff --git a/tests/baselines/reference/iterableArrayPattern10.errors.txt b/tests/baselines/reference/iterableArrayPattern10.errors.txt
new file mode 100644
index 00000000000..f06c4d7de17
--- /dev/null
+++ b/tests/baselines/reference/iterableArrayPattern10.errors.txt
@@ -0,0 +1,24 @@
+tests/cases/conformance/es6/destructuring/iterableArrayPattern10.ts(2,5): error TS2345: Argument of type 'FooIterator' is not assignable to parameter of type '[any, any]'.
+  Property '0' is missing in type 'FooIterator'.
+
+
+==== tests/cases/conformance/es6/destructuring/iterableArrayPattern10.ts (1 errors) ====
+    function fun([a, b]) { }
+    fun(new FooIterator);
+        ~~~~~~~~~~~~~~~
+!!! error TS2345: Argument of type 'FooIterator' is not assignable to parameter of type '[any, any]'.
+!!! error TS2345:   Property '0' is missing in type 'FooIterator'.
+    class Bar { x }
+    class Foo extends Bar { y }
+    class FooIterator {
+        next() {
+            return {
+                value: new Foo,
+                done: false
+            };
+        }
+    
+        [Symbol.iterator]() {
+            return this;
+        }
+    }
\ No newline at end of file
diff --git a/tests/baselines/reference/iterableArrayPattern10.js b/tests/baselines/reference/iterableArrayPattern10.js
new file mode 100644
index 00000000000..2e532e2b773
--- /dev/null
+++ b/tests/baselines/reference/iterableArrayPattern10.js
@@ -0,0 +1,37 @@
+//// [iterableArrayPattern10.ts]
+function fun([a, b]) { }
+fun(new FooIterator);
+class Bar { x }
+class Foo extends Bar { y }
+class FooIterator {
+    next() {
+        return {
+            value: new Foo,
+            done: false
+        };
+    }
+
+    [Symbol.iterator]() {
+        return this;
+    }
+}
+
+//// [iterableArrayPattern10.js]
+function fun([a, b]) {
+}
+fun(new FooIterator);
+class Bar {
+}
+class Foo extends Bar {
+}
+class FooIterator {
+    next() {
+        return {
+            value: new Foo,
+            done: false
+        };
+    }
+    [Symbol.iterator]() {
+        return this;
+    }
+}
diff --git a/tests/baselines/reference/iterableArrayPattern11.js b/tests/baselines/reference/iterableArrayPattern11.js
new file mode 100644
index 00000000000..a3940edc362
--- /dev/null
+++ b/tests/baselines/reference/iterableArrayPattern11.js
@@ -0,0 +1,37 @@
+//// [iterableArrayPattern11.ts]
+function fun([a, b] = new FooIterator) { }
+fun(new FooIterator);
+class Bar { x }
+class Foo extends Bar { y }
+class FooIterator {
+    next() {
+        return {
+            value: new Foo,
+            done: false
+        };
+    }
+
+    [Symbol.iterator]() {
+        return this;
+    }
+}
+
+//// [iterableArrayPattern11.js]
+function fun([a, b] = new FooIterator) {
+}
+fun(new FooIterator);
+class Bar {
+}
+class Foo extends Bar {
+}
+class FooIterator {
+    next() {
+        return {
+            value: new Foo,
+            done: false
+        };
+    }
+    [Symbol.iterator]() {
+        return this;
+    }
+}
diff --git a/tests/baselines/reference/iterableArrayPattern11.types b/tests/baselines/reference/iterableArrayPattern11.types
new file mode 100644
index 00000000000..2b6f1d67336
--- /dev/null
+++ b/tests/baselines/reference/iterableArrayPattern11.types
@@ -0,0 +1,52 @@
+=== tests/cases/conformance/es6/destructuring/iterableArrayPattern11.ts ===
+function fun([a, b] = new FooIterator) { }
+>fun : ([a, b]?: FooIterator) => void
+>a : Foo
+>b : Foo
+>new FooIterator : FooIterator
+>FooIterator : typeof FooIterator
+
+fun(new FooIterator);
+>fun(new FooIterator) : void
+>fun : ([a, b]?: FooIterator) => void
+>new FooIterator : FooIterator
+>FooIterator : typeof FooIterator
+
+class Bar { x }
+>Bar : Bar
+>x : any
+
+class Foo extends Bar { y }
+>Foo : Foo
+>Bar : Bar
+>y : any
+
+class FooIterator {
+>FooIterator : FooIterator
+
+    next() {
+>next : () => { value: Foo; done: boolean; }
+
+        return {
+>{            value: new Foo,            done: false        } : { value: Foo; done: boolean; }
+
+            value: new Foo,
+>value : Foo
+>new Foo : Foo
+>Foo : typeof Foo
+
+            done: false
+>done : boolean
+
+        };
+    }
+
+    [Symbol.iterator]() {
+>Symbol.iterator : symbol
+>Symbol : SymbolConstructor
+>iterator : symbol
+
+        return this;
+>this : FooIterator
+    }
+}
diff --git a/tests/baselines/reference/iterableArrayPattern12.js b/tests/baselines/reference/iterableArrayPattern12.js
new file mode 100644
index 00000000000..64581c54251
--- /dev/null
+++ b/tests/baselines/reference/iterableArrayPattern12.js
@@ -0,0 +1,37 @@
+//// [iterableArrayPattern12.ts]
+function fun([a, ...b] = new FooIterator) { }
+fun(new FooIterator);
+class Bar { x }
+class Foo extends Bar { y }
+class FooIterator {
+    next() {
+        return {
+            value: new Foo,
+            done: false
+        };
+    }
+
+    [Symbol.iterator]() {
+        return this;
+    }
+}
+
+//// [iterableArrayPattern12.js]
+function fun([a, ...b] = new FooIterator) {
+}
+fun(new FooIterator);
+class Bar {
+}
+class Foo extends Bar {
+}
+class FooIterator {
+    next() {
+        return {
+            value: new Foo,
+            done: false
+        };
+    }
+    [Symbol.iterator]() {
+        return this;
+    }
+}
diff --git a/tests/baselines/reference/iterableArrayPattern12.types b/tests/baselines/reference/iterableArrayPattern12.types
new file mode 100644
index 00000000000..a415539b91c
--- /dev/null
+++ b/tests/baselines/reference/iterableArrayPattern12.types
@@ -0,0 +1,52 @@
+=== tests/cases/conformance/es6/destructuring/iterableArrayPattern12.ts ===
+function fun([a, ...b] = new FooIterator) { }
+>fun : ([a, ...b]?: FooIterator) => void
+>a : Foo
+>b : Foo[]
+>new FooIterator : FooIterator
+>FooIterator : typeof FooIterator
+
+fun(new FooIterator);
+>fun(new FooIterator) : void
+>fun : ([a, ...b]?: FooIterator) => void
+>new FooIterator : FooIterator
+>FooIterator : typeof FooIterator
+
+class Bar { x }
+>Bar : Bar
+>x : any
+
+class Foo extends Bar { y }
+>Foo : Foo
+>Bar : Bar
+>y : any
+
+class FooIterator {
+>FooIterator : FooIterator
+
+    next() {
+>next : () => { value: Foo; done: boolean; }
+
+        return {
+>{            value: new Foo,            done: false        } : { value: Foo; done: boolean; }
+
+            value: new Foo,
+>value : Foo
+>new Foo : Foo
+>Foo : typeof Foo
+
+            done: false
+>done : boolean
+
+        };
+    }
+
+    [Symbol.iterator]() {
+>Symbol.iterator : symbol
+>Symbol : SymbolConstructor
+>iterator : symbol
+
+        return this;
+>this : FooIterator
+    }
+}
diff --git a/tests/baselines/reference/iterableArrayPattern13.js b/tests/baselines/reference/iterableArrayPattern13.js
new file mode 100644
index 00000000000..f4ea18d4fec
--- /dev/null
+++ b/tests/baselines/reference/iterableArrayPattern13.js
@@ -0,0 +1,37 @@
+//// [iterableArrayPattern13.ts]
+function fun([a, ...b]) { }
+fun(new FooIterator);
+class Bar { x }
+class Foo extends Bar { y }
+class FooIterator {
+    next() {
+        return {
+            value: new Foo,
+            done: false
+        };
+    }
+
+    [Symbol.iterator]() {
+        return this;
+    }
+}
+
+//// [iterableArrayPattern13.js]
+function fun([a, ...b]) {
+}
+fun(new FooIterator);
+class Bar {
+}
+class Foo extends Bar {
+}
+class FooIterator {
+    next() {
+        return {
+            value: new Foo,
+            done: false
+        };
+    }
+    [Symbol.iterator]() {
+        return this;
+    }
+}
diff --git a/tests/baselines/reference/iterableArrayPattern13.types b/tests/baselines/reference/iterableArrayPattern13.types
new file mode 100644
index 00000000000..dbfbf9a1ebc
--- /dev/null
+++ b/tests/baselines/reference/iterableArrayPattern13.types
@@ -0,0 +1,50 @@
+=== tests/cases/conformance/es6/destructuring/iterableArrayPattern13.ts ===
+function fun([a, ...b]) { }
+>fun : ([a, ...b]: Iterable<any>) => void
+>a : any
+>b : any[]
+
+fun(new FooIterator);
+>fun(new FooIterator) : void
+>fun : ([a, ...b]: Iterable<any>) => void
+>new FooIterator : FooIterator
+>FooIterator : typeof FooIterator
+
+class Bar { x }
+>Bar : Bar
+>x : any
+
+class Foo extends Bar { y }
+>Foo : Foo
+>Bar : Bar
+>y : any
+
+class FooIterator {
+>FooIterator : FooIterator
+
+    next() {
+>next : () => { value: Foo; done: boolean; }
+
+        return {
+>{            value: new Foo,            done: false        } : { value: Foo; done: boolean; }
+
+            value: new Foo,
+>value : Foo
+>new Foo : Foo
+>Foo : typeof Foo
+
+            done: false
+>done : boolean
+
+        };
+    }
+
+    [Symbol.iterator]() {
+>Symbol.iterator : symbol
+>Symbol : SymbolConstructor
+>iterator : symbol
+
+        return this;
+>this : FooIterator
+    }
+}
diff --git a/tests/baselines/reference/iterableArrayPattern14.js b/tests/baselines/reference/iterableArrayPattern14.js
new file mode 100644
index 00000000000..81b2c66f14d
--- /dev/null
+++ b/tests/baselines/reference/iterableArrayPattern14.js
@@ -0,0 +1,37 @@
+//// [iterableArrayPattern14.ts]
+function fun(...[a, ...b]) { }
+fun(new FooIterator);
+class Bar { x }
+class Foo extends Bar { y }
+class FooIterator {
+    next() {
+        return {
+            value: new Foo,
+            done: false
+        };
+    }
+
+    [Symbol.iterator]() {
+        return this;
+    }
+}
+
+//// [iterableArrayPattern14.js]
+function fun(...[a, ...b]) {
+}
+fun(new FooIterator);
+class Bar {
+}
+class Foo extends Bar {
+}
+class FooIterator {
+    next() {
+        return {
+            value: new Foo,
+            done: false
+        };
+    }
+    [Symbol.iterator]() {
+        return this;
+    }
+}
diff --git a/tests/baselines/reference/iterableArrayPattern14.types b/tests/baselines/reference/iterableArrayPattern14.types
new file mode 100644
index 00000000000..3f73f2973d1
--- /dev/null
+++ b/tests/baselines/reference/iterableArrayPattern14.types
@@ -0,0 +1,50 @@
+=== tests/cases/conformance/es6/destructuring/iterableArrayPattern14.ts ===
+function fun(...[a, ...b]) { }
+>fun : (...[a, ...b]: any[]) => void
+>a : any
+>b : any[]
+
+fun(new FooIterator);
+>fun(new FooIterator) : void
+>fun : (...[a, ...b]: any[]) => void
+>new FooIterator : FooIterator
+>FooIterator : typeof FooIterator
+
+class Bar { x }
+>Bar : Bar
+>x : any
+
+class Foo extends Bar { y }
+>Foo : Foo
+>Bar : Bar
+>y : any
+
+class FooIterator {
+>FooIterator : FooIterator
+
+    next() {
+>next : () => { value: Foo; done: boolean; }
+
+        return {
+>{            value: new Foo,            done: false        } : { value: Foo; done: boolean; }
+
+            value: new Foo,
+>value : Foo
+>new Foo : Foo
+>Foo : typeof Foo
+
+            done: false
+>done : boolean
+
+        };
+    }
+
+    [Symbol.iterator]() {
+>Symbol.iterator : symbol
+>Symbol : SymbolConstructor
+>iterator : symbol
+
+        return this;
+>this : FooIterator
+    }
+}
diff --git a/tests/baselines/reference/iterableArrayPattern15.js b/tests/baselines/reference/iterableArrayPattern15.js
new file mode 100644
index 00000000000..fcb5ec82508
--- /dev/null
+++ b/tests/baselines/reference/iterableArrayPattern15.js
@@ -0,0 +1,37 @@
+//// [iterableArrayPattern15.ts]
+function fun(...[a, b]: Bar[]) { }
+fun(...new FooIterator);
+class Bar { x }
+class Foo extends Bar { y }
+class FooIterator {
+    next() {
+        return {
+            value: new Foo,
+            done: false
+        };
+    }
+
+    [Symbol.iterator]() {
+        return this;
+    }
+}
+
+//// [iterableArrayPattern15.js]
+function fun(...[a, b]) {
+}
+fun(...new FooIterator);
+class Bar {
+}
+class Foo extends Bar {
+}
+class FooIterator {
+    next() {
+        return {
+            value: new Foo,
+            done: false
+        };
+    }
+    [Symbol.iterator]() {
+        return this;
+    }
+}
diff --git a/tests/baselines/reference/iterableArrayPattern15.types b/tests/baselines/reference/iterableArrayPattern15.types
new file mode 100644
index 00000000000..de548a91c26
--- /dev/null
+++ b/tests/baselines/reference/iterableArrayPattern15.types
@@ -0,0 +1,52 @@
+=== tests/cases/conformance/es6/destructuring/iterableArrayPattern15.ts ===
+function fun(...[a, b]: Bar[]) { }
+>fun : (...[a, b]: Bar[]) => void
+>a : Bar
+>b : Bar
+>Bar : Bar
+
+fun(...new FooIterator);
+>fun(...new FooIterator) : void
+>fun : (...[a, b]: Bar[]) => void
+>...new FooIterator : Foo
+>new FooIterator : FooIterator
+>FooIterator : typeof FooIterator
+
+class Bar { x }
+>Bar : Bar
+>x : any
+
+class Foo extends Bar { y }
+>Foo : Foo
+>Bar : Bar
+>y : any
+
+class FooIterator {
+>FooIterator : FooIterator
+
+    next() {
+>next : () => { value: Foo; done: boolean; }
+
+        return {
+>{            value: new Foo,            done: false        } : { value: Foo; done: boolean; }
+
+            value: new Foo,
+>value : Foo
+>new Foo : Foo
+>Foo : typeof Foo
+
+            done: false
+>done : boolean
+
+        };
+    }
+
+    [Symbol.iterator]() {
+>Symbol.iterator : symbol
+>Symbol : SymbolConstructor
+>iterator : symbol
+
+        return this;
+>this : FooIterator
+    }
+}
diff --git a/tests/baselines/reference/iterableArrayPattern16.errors.txt b/tests/baselines/reference/iterableArrayPattern16.errors.txt
new file mode 100644
index 00000000000..42236140be7
--- /dev/null
+++ b/tests/baselines/reference/iterableArrayPattern16.errors.txt
@@ -0,0 +1,37 @@
+tests/cases/conformance/es6/destructuring/iterableArrayPattern16.ts(2,5): error TS2345: Argument of type 'FooIterator' is not assignable to parameter of type '[Bar, Bar]'.
+  Property '0' is missing in type 'FooIterator'.
+
+
+==== tests/cases/conformance/es6/destructuring/iterableArrayPattern16.ts (1 errors) ====
+    function fun(...[a, b]: [Bar, Bar][]) { }
+    fun(...new FooIteratorIterator);
+        ~~~~~~~~~~~~~~~~~~~~~~~~~~
+!!! error TS2345: Argument of type 'FooIterator' is not assignable to parameter of type '[Bar, Bar]'.
+!!! error TS2345:   Property '0' is missing in type 'FooIterator'.
+    class Bar { x }
+    class Foo extends Bar { y }
+    class FooIterator {
+        next() {
+            return {
+                value: new Foo,
+                done: false
+            };
+        }
+    
+        [Symbol.iterator]() {
+            return this;
+        }
+    }
+    
+    class FooIteratorIterator {
+        next() {
+            return {
+                value: new FooIterator,
+                done: false
+            };
+        }
+    
+        [Symbol.iterator]() {
+            return this;
+        }
+    }
\ No newline at end of file
diff --git a/tests/baselines/reference/iterableArrayPattern16.js b/tests/baselines/reference/iterableArrayPattern16.js
new file mode 100644
index 00000000000..d3127991799
--- /dev/null
+++ b/tests/baselines/reference/iterableArrayPattern16.js
@@ -0,0 +1,61 @@
+//// [iterableArrayPattern16.ts]
+function fun(...[a, b]: [Bar, Bar][]) { }
+fun(...new FooIteratorIterator);
+class Bar { x }
+class Foo extends Bar { y }
+class FooIterator {
+    next() {
+        return {
+            value: new Foo,
+            done: false
+        };
+    }
+
+    [Symbol.iterator]() {
+        return this;
+    }
+}
+
+class FooIteratorIterator {
+    next() {
+        return {
+            value: new FooIterator,
+            done: false
+        };
+    }
+
+    [Symbol.iterator]() {
+        return this;
+    }
+}
+
+//// [iterableArrayPattern16.js]
+function fun(...[a, b]) {
+}
+fun(...new FooIteratorIterator);
+class Bar {
+}
+class Foo extends Bar {
+}
+class FooIterator {
+    next() {
+        return {
+            value: new Foo,
+            done: false
+        };
+    }
+    [Symbol.iterator]() {
+        return this;
+    }
+}
+class FooIteratorIterator {
+    next() {
+        return {
+            value: new FooIterator,
+            done: false
+        };
+    }
+    [Symbol.iterator]() {
+        return this;
+    }
+}
diff --git a/tests/baselines/reference/iterableArrayPattern17.errors.txt b/tests/baselines/reference/iterableArrayPattern17.errors.txt
new file mode 100644
index 00000000000..306b00ea990
--- /dev/null
+++ b/tests/baselines/reference/iterableArrayPattern17.errors.txt
@@ -0,0 +1,24 @@
+tests/cases/conformance/es6/destructuring/iterableArrayPattern17.ts(2,5): error TS2345: Argument of type 'FooIterator' is not assignable to parameter of type 'Bar'.
+  Property 'x' is missing in type 'FooIterator'.
+
+
+==== tests/cases/conformance/es6/destructuring/iterableArrayPattern17.ts (1 errors) ====
+    function fun(...[a, b]: Bar[]) { }
+    fun(new FooIterator);
+        ~~~~~~~~~~~~~~~
+!!! error TS2345: Argument of type 'FooIterator' is not assignable to parameter of type 'Bar'.
+!!! error TS2345:   Property 'x' is missing in type 'FooIterator'.
+    class Bar { x }
+    class Foo extends Bar { y }
+    class FooIterator {
+        next() {
+            return {
+                value: new Foo,
+                done: false
+            };
+        }
+    
+        [Symbol.iterator]() {
+            return this;
+        }
+    }
\ No newline at end of file
diff --git a/tests/baselines/reference/iterableArrayPattern17.js b/tests/baselines/reference/iterableArrayPattern17.js
new file mode 100644
index 00000000000..db5c4001c88
--- /dev/null
+++ b/tests/baselines/reference/iterableArrayPattern17.js
@@ -0,0 +1,37 @@
+//// [iterableArrayPattern17.ts]
+function fun(...[a, b]: Bar[]) { }
+fun(new FooIterator);
+class Bar { x }
+class Foo extends Bar { y }
+class FooIterator {
+    next() {
+        return {
+            value: new Foo,
+            done: false
+        };
+    }
+
+    [Symbol.iterator]() {
+        return this;
+    }
+}
+
+//// [iterableArrayPattern17.js]
+function fun(...[a, b]) {
+}
+fun(new FooIterator);
+class Bar {
+}
+class Foo extends Bar {
+}
+class FooIterator {
+    next() {
+        return {
+            value: new Foo,
+            done: false
+        };
+    }
+    [Symbol.iterator]() {
+        return this;
+    }
+}
diff --git a/tests/baselines/reference/iterableArrayPattern18.errors.txt b/tests/baselines/reference/iterableArrayPattern18.errors.txt
new file mode 100644
index 00000000000..c6f8c5e28bd
--- /dev/null
+++ b/tests/baselines/reference/iterableArrayPattern18.errors.txt
@@ -0,0 +1,24 @@
+tests/cases/conformance/es6/destructuring/iterableArrayPattern18.ts(2,5): error TS2345: Argument of type 'FooIterator' is not assignable to parameter of type 'Bar[]'.
+  Property 'length' is missing in type 'FooIterator'.
+
+
+==== tests/cases/conformance/es6/destructuring/iterableArrayPattern18.ts (1 errors) ====
+    function fun([a, b]: Bar[]) { }
+    fun(new FooIterator);
+        ~~~~~~~~~~~~~~~
+!!! error TS2345: Argument of type 'FooIterator' is not assignable to parameter of type 'Bar[]'.
+!!! error TS2345:   Property 'length' is missing in type 'FooIterator'.
+    class Bar { x }
+    class Foo extends Bar { y }
+    class FooIterator {
+        next() {
+            return {
+                value: new Foo,
+                done: false
+            };
+        }
+    
+        [Symbol.iterator]() {
+            return this;
+        }
+    }
\ No newline at end of file
diff --git a/tests/baselines/reference/iterableArrayPattern18.js b/tests/baselines/reference/iterableArrayPattern18.js
new file mode 100644
index 00000000000..3e13f2ef619
--- /dev/null
+++ b/tests/baselines/reference/iterableArrayPattern18.js
@@ -0,0 +1,37 @@
+//// [iterableArrayPattern18.ts]
+function fun([a, b]: Bar[]) { }
+fun(new FooIterator);
+class Bar { x }
+class Foo extends Bar { y }
+class FooIterator {
+    next() {
+        return {
+            value: new Foo,
+            done: false
+        };
+    }
+
+    [Symbol.iterator]() {
+        return this;
+    }
+}
+
+//// [iterableArrayPattern18.js]
+function fun([a, b]) {
+}
+fun(new FooIterator);
+class Bar {
+}
+class Foo extends Bar {
+}
+class FooIterator {
+    next() {
+        return {
+            value: new Foo,
+            done: false
+        };
+    }
+    [Symbol.iterator]() {
+        return this;
+    }
+}
diff --git a/tests/baselines/reference/iterableArrayPattern19.errors.txt b/tests/baselines/reference/iterableArrayPattern19.errors.txt
new file mode 100644
index 00000000000..3f8b550d287
--- /dev/null
+++ b/tests/baselines/reference/iterableArrayPattern19.errors.txt
@@ -0,0 +1,24 @@
+tests/cases/conformance/es6/destructuring/iterableArrayPattern19.ts(2,5): error TS2345: Argument of type 'FooArrayIterator' is not assignable to parameter of type 'Bar[][]'.
+  Property 'length' is missing in type 'FooArrayIterator'.
+
+
+==== tests/cases/conformance/es6/destructuring/iterableArrayPattern19.ts (1 errors) ====
+    function fun([[a], b]: Bar[][]) { }
+    fun(new FooArrayIterator);
+        ~~~~~~~~~~~~~~~~~~~~
+!!! error TS2345: Argument of type 'FooArrayIterator' is not assignable to parameter of type 'Bar[][]'.
+!!! error TS2345:   Property 'length' is missing in type 'FooArrayIterator'.
+    class Bar { x }
+    class Foo extends Bar { y }
+    class FooArrayIterator {
+        next() {
+            return {
+                value: [new Foo],
+                done: false
+            };
+        }
+    
+        [Symbol.iterator]() {
+            return this;
+        }
+    }
\ No newline at end of file
diff --git a/tests/baselines/reference/iterableArrayPattern19.js b/tests/baselines/reference/iterableArrayPattern19.js
new file mode 100644
index 00000000000..60ace366eb7
--- /dev/null
+++ b/tests/baselines/reference/iterableArrayPattern19.js
@@ -0,0 +1,39 @@
+//// [iterableArrayPattern19.ts]
+function fun([[a], b]: Bar[][]) { }
+fun(new FooArrayIterator);
+class Bar { x }
+class Foo extends Bar { y }
+class FooArrayIterator {
+    next() {
+        return {
+            value: [new Foo],
+            done: false
+        };
+    }
+
+    [Symbol.iterator]() {
+        return this;
+    }
+}
+
+//// [iterableArrayPattern19.js]
+function fun([[a], b]) {
+}
+fun(new FooArrayIterator);
+class Bar {
+}
+class Foo extends Bar {
+}
+class FooArrayIterator {
+    next() {
+        return {
+            value: [
+                new Foo
+            ],
+            done: false
+        };
+    }
+    [Symbol.iterator]() {
+        return this;
+    }
+}
diff --git a/tests/baselines/reference/iterableArrayPattern2.js b/tests/baselines/reference/iterableArrayPattern2.js
new file mode 100644
index 00000000000..7392db7d6b2
--- /dev/null
+++ b/tests/baselines/reference/iterableArrayPattern2.js
@@ -0,0 +1,28 @@
+//// [iterableArrayPattern2.ts]
+var [a, ...b] = new SymbolIterator;
+class SymbolIterator {
+    next() {
+        return {
+            value: Symbol(),
+            done: false
+        };
+    }
+
+    [Symbol.iterator]() {
+        return this;
+    }
+}
+
+//// [iterableArrayPattern2.js]
+var [a, ...b] = new SymbolIterator;
+class SymbolIterator {
+    next() {
+        return {
+            value: Symbol(),
+            done: false
+        };
+    }
+    [Symbol.iterator]() {
+        return this;
+    }
+}
diff --git a/tests/baselines/reference/iterableArrayPattern2.types b/tests/baselines/reference/iterableArrayPattern2.types
new file mode 100644
index 00000000000..819516dfe05
--- /dev/null
+++ b/tests/baselines/reference/iterableArrayPattern2.types
@@ -0,0 +1,36 @@
+=== tests/cases/conformance/es6/destructuring/iterableArrayPattern2.ts ===
+var [a, ...b] = new SymbolIterator;
+>a : symbol
+>b : symbol[]
+>new SymbolIterator : SymbolIterator
+>SymbolIterator : typeof SymbolIterator
+
+class SymbolIterator {
+>SymbolIterator : SymbolIterator
+
+    next() {
+>next : () => { value: symbol; done: boolean; }
+
+        return {
+>{            value: Symbol(),            done: false        } : { value: symbol; done: boolean; }
+
+            value: Symbol(),
+>value : symbol
+>Symbol() : symbol
+>Symbol : SymbolConstructor
+
+            done: false
+>done : boolean
+
+        };
+    }
+
+    [Symbol.iterator]() {
+>Symbol.iterator : symbol
+>Symbol : SymbolConstructor
+>iterator : symbol
+
+        return this;
+>this : SymbolIterator
+    }
+}
diff --git a/tests/baselines/reference/iterableArrayPattern20.js b/tests/baselines/reference/iterableArrayPattern20.js
new file mode 100644
index 00000000000..271a35b791d
--- /dev/null
+++ b/tests/baselines/reference/iterableArrayPattern20.js
@@ -0,0 +1,41 @@
+//// [iterableArrayPattern20.ts]
+function fun(...[[a = new Foo], b = [new Foo]]: Bar[][]) { }
+fun(...new FooArrayIterator);
+class Bar { x }
+class Foo extends Bar { y }
+class FooArrayIterator {
+    next() {
+        return {
+            value: [new Foo],
+            done: false
+        };
+    }
+
+    [Symbol.iterator]() {
+        return this;
+    }
+}
+
+//// [iterableArrayPattern20.js]
+function fun(...[[a = new Foo], b = [
+        new Foo
+    ]]) {
+}
+fun(...new FooArrayIterator);
+class Bar {
+}
+class Foo extends Bar {
+}
+class FooArrayIterator {
+    next() {
+        return {
+            value: [
+                new Foo
+            ],
+            done: false
+        };
+    }
+    [Symbol.iterator]() {
+        return this;
+    }
+}
diff --git a/tests/baselines/reference/iterableArrayPattern20.types b/tests/baselines/reference/iterableArrayPattern20.types
new file mode 100644
index 00000000000..055dfa95859
--- /dev/null
+++ b/tests/baselines/reference/iterableArrayPattern20.types
@@ -0,0 +1,58 @@
+=== tests/cases/conformance/es6/destructuring/iterableArrayPattern20.ts ===
+function fun(...[[a = new Foo], b = [new Foo]]: Bar[][]) { }
+>fun : (...[[a = new Foo], b = [new Foo]]: Bar[][]) => void
+>a : Bar
+>new Foo : Foo
+>Foo : typeof Foo
+>b : Bar[]
+>[new Foo] : Foo[]
+>new Foo : Foo
+>Foo : typeof Foo
+>Bar : Bar
+
+fun(...new FooArrayIterator);
+>fun(...new FooArrayIterator) : void
+>fun : (...[[a = new Foo], b = [new Foo]]: Bar[][]) => void
+>...new FooArrayIterator : Foo[]
+>new FooArrayIterator : FooArrayIterator
+>FooArrayIterator : typeof FooArrayIterator
+
+class Bar { x }
+>Bar : Bar
+>x : any
+
+class Foo extends Bar { y }
+>Foo : Foo
+>Bar : Bar
+>y : any
+
+class FooArrayIterator {
+>FooArrayIterator : FooArrayIterator
+
+    next() {
+>next : () => { value: Foo[]; done: boolean; }
+
+        return {
+>{            value: [new Foo],            done: false        } : { value: Foo[]; done: boolean; }
+
+            value: [new Foo],
+>value : Foo[]
+>[new Foo] : Foo[]
+>new Foo : Foo
+>Foo : typeof Foo
+
+            done: false
+>done : boolean
+
+        };
+    }
+
+    [Symbol.iterator]() {
+>Symbol.iterator : symbol
+>Symbol : SymbolConstructor
+>iterator : symbol
+
+        return this;
+>this : FooArrayIterator
+    }
+}
diff --git a/tests/baselines/reference/iterableArrayPattern21.errors.txt b/tests/baselines/reference/iterableArrayPattern21.errors.txt
new file mode 100644
index 00000000000..7e853c90b24
--- /dev/null
+++ b/tests/baselines/reference/iterableArrayPattern21.errors.txt
@@ -0,0 +1,7 @@
+tests/cases/conformance/es6/destructuring/iterableArrayPattern21.ts(1,5): error TS2488: Type must have a '[Symbol.iterator]()' method that returns an iterator.
+
+
+==== tests/cases/conformance/es6/destructuring/iterableArrayPattern21.ts (1 errors) ====
+    var [a, b] = { 0: "", 1: true };
+        ~~~~~~
+!!! error TS2488: Type must have a '[Symbol.iterator]()' method that returns an iterator.
\ No newline at end of file
diff --git a/tests/baselines/reference/iterableArrayPattern21.js b/tests/baselines/reference/iterableArrayPattern21.js
new file mode 100644
index 00000000000..f226406ec63
--- /dev/null
+++ b/tests/baselines/reference/iterableArrayPattern21.js
@@ -0,0 +1,8 @@
+//// [iterableArrayPattern21.ts]
+var [a, b] = { 0: "", 1: true };
+
+//// [iterableArrayPattern21.js]
+var [a, b] = {
+    0: "",
+    1: true
+};
diff --git a/tests/baselines/reference/iterableArrayPattern22.errors.txt b/tests/baselines/reference/iterableArrayPattern22.errors.txt
new file mode 100644
index 00000000000..3e40e4fd602
--- /dev/null
+++ b/tests/baselines/reference/iterableArrayPattern22.errors.txt
@@ -0,0 +1,7 @@
+tests/cases/conformance/es6/destructuring/iterableArrayPattern22.ts(1,5): error TS2488: Type must have a '[Symbol.iterator]()' method that returns an iterator.
+
+
+==== tests/cases/conformance/es6/destructuring/iterableArrayPattern22.ts (1 errors) ====
+    var [...a] = { 0: "", 1: true };
+        ~~~~~~
+!!! error TS2488: Type must have a '[Symbol.iterator]()' method that returns an iterator.
\ No newline at end of file
diff --git a/tests/baselines/reference/iterableArrayPattern22.js b/tests/baselines/reference/iterableArrayPattern22.js
new file mode 100644
index 00000000000..9c3afc0ffe5
--- /dev/null
+++ b/tests/baselines/reference/iterableArrayPattern22.js
@@ -0,0 +1,8 @@
+//// [iterableArrayPattern22.ts]
+var [...a] = { 0: "", 1: true };
+
+//// [iterableArrayPattern22.js]
+var [...a] = {
+    0: "",
+    1: true
+};
diff --git a/tests/baselines/reference/iterableArrayPattern23.errors.txt b/tests/baselines/reference/iterableArrayPattern23.errors.txt
new file mode 100644
index 00000000000..1df5d909aed
--- /dev/null
+++ b/tests/baselines/reference/iterableArrayPattern23.errors.txt
@@ -0,0 +1,8 @@
+tests/cases/conformance/es6/destructuring/iterableArrayPattern23.ts(2,1): error TS2488: Type must have a '[Symbol.iterator]()' method that returns an iterator.
+
+
+==== tests/cases/conformance/es6/destructuring/iterableArrayPattern23.ts (1 errors) ====
+    var a: string, b: boolean;
+    [a, b] = { 0: "", 1: true };
+    ~~~~~~
+!!! error TS2488: Type must have a '[Symbol.iterator]()' method that returns an iterator.
\ No newline at end of file
diff --git a/tests/baselines/reference/iterableArrayPattern23.js b/tests/baselines/reference/iterableArrayPattern23.js
new file mode 100644
index 00000000000..ffeb1abe32e
--- /dev/null
+++ b/tests/baselines/reference/iterableArrayPattern23.js
@@ -0,0 +1,13 @@
+//// [iterableArrayPattern23.ts]
+var a: string, b: boolean;
+[a, b] = { 0: "", 1: true };
+
+//// [iterableArrayPattern23.js]
+var a, b;
+[
+    a,
+    b
+] = {
+    0: "",
+    1: true
+};
diff --git a/tests/baselines/reference/iterableArrayPattern24.errors.txt b/tests/baselines/reference/iterableArrayPattern24.errors.txt
new file mode 100644
index 00000000000..e954c59f2ea
--- /dev/null
+++ b/tests/baselines/reference/iterableArrayPattern24.errors.txt
@@ -0,0 +1,8 @@
+tests/cases/conformance/es6/destructuring/iterableArrayPattern24.ts(2,1): error TS2488: Type must have a '[Symbol.iterator]()' method that returns an iterator.
+
+
+==== tests/cases/conformance/es6/destructuring/iterableArrayPattern24.ts (1 errors) ====
+    var a: string, b: boolean[];
+    [a, ...b] = { 0: "", 1: true };
+    ~~~~~~~~~
+!!! error TS2488: Type must have a '[Symbol.iterator]()' method that returns an iterator.
\ No newline at end of file
diff --git a/tests/baselines/reference/iterableArrayPattern24.js b/tests/baselines/reference/iterableArrayPattern24.js
new file mode 100644
index 00000000000..89cc3e2dc99
--- /dev/null
+++ b/tests/baselines/reference/iterableArrayPattern24.js
@@ -0,0 +1,13 @@
+//// [iterableArrayPattern24.ts]
+var a: string, b: boolean[];
+[a, ...b] = { 0: "", 1: true };
+
+//// [iterableArrayPattern24.js]
+var a, b;
+[
+    a,
+    ...b
+] = {
+    0: "",
+    1: true
+};
diff --git a/tests/baselines/reference/iterableArrayPattern25.errors.txt b/tests/baselines/reference/iterableArrayPattern25.errors.txt
new file mode 100644
index 00000000000..cc901523b55
--- /dev/null
+++ b/tests/baselines/reference/iterableArrayPattern25.errors.txt
@@ -0,0 +1,8 @@
+tests/cases/conformance/es6/destructuring/iterableArrayPattern25.ts(1,30): error TS2370: A rest parameter must be of an array type.
+
+
+==== tests/cases/conformance/es6/destructuring/iterableArrayPattern25.ts (1 errors) ====
+    function takeFirstTwoEntries(...[[k1, v1], [k2, v2]]) { }
+                                 ~~~~~~~~~~~~~~~~~~~~~~~
+!!! error TS2370: A rest parameter must be of an array type.
+    takeFirstTwoEntries(new Map([["", 0], ["hello", 1]]));
\ No newline at end of file
diff --git a/tests/baselines/reference/iterableArrayPattern25.js b/tests/baselines/reference/iterableArrayPattern25.js
new file mode 100644
index 00000000000..63686f5a39e
--- /dev/null
+++ b/tests/baselines/reference/iterableArrayPattern25.js
@@ -0,0 +1,17 @@
+//// [iterableArrayPattern25.ts]
+function takeFirstTwoEntries(...[[k1, v1], [k2, v2]]) { }
+takeFirstTwoEntries(new Map([["", 0], ["hello", 1]]));
+
+//// [iterableArrayPattern25.js]
+function takeFirstTwoEntries(...[[k1, v1], [k2, v2]]) {
+}
+takeFirstTwoEntries(new Map([
+    [
+        "",
+        0
+    ],
+    [
+        "hello",
+        1
+    ]
+]));
diff --git a/tests/baselines/reference/iterableArrayPattern26.errors.txt b/tests/baselines/reference/iterableArrayPattern26.errors.txt
new file mode 100644
index 00000000000..9fb3e688039
--- /dev/null
+++ b/tests/baselines/reference/iterableArrayPattern26.errors.txt
@@ -0,0 +1,10 @@
+tests/cases/conformance/es6/destructuring/iterableArrayPattern26.ts(2,21): error TS2345: Argument of type 'Map<string, number>' is not assignable to parameter of type '[string, number]'.
+  Property '0' is missing in type 'Map<string, number>'.
+
+
+==== tests/cases/conformance/es6/destructuring/iterableArrayPattern26.ts (1 errors) ====
+    function takeFirstTwoEntries(...[[k1, v1], [k2, v2]]: [string, number][]) { }
+    takeFirstTwoEntries(new Map([["", 0], ["hello", 1]]));
+                        ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+!!! error TS2345: Argument of type 'Map<string, number>' is not assignable to parameter of type '[string, number]'.
+!!! error TS2345:   Property '0' is missing in type 'Map<string, number>'.
\ No newline at end of file
diff --git a/tests/baselines/reference/iterableArrayPattern26.js b/tests/baselines/reference/iterableArrayPattern26.js
new file mode 100644
index 00000000000..7edcf52b6ba
--- /dev/null
+++ b/tests/baselines/reference/iterableArrayPattern26.js
@@ -0,0 +1,17 @@
+//// [iterableArrayPattern26.ts]
+function takeFirstTwoEntries(...[[k1, v1], [k2, v2]]: [string, number][]) { }
+takeFirstTwoEntries(new Map([["", 0], ["hello", 1]]));
+
+//// [iterableArrayPattern26.js]
+function takeFirstTwoEntries(...[[k1, v1], [k2, v2]]) {
+}
+takeFirstTwoEntries(new Map([
+    [
+        "",
+        0
+    ],
+    [
+        "hello",
+        1
+    ]
+]));
diff --git a/tests/baselines/reference/iterableArrayPattern27.js b/tests/baselines/reference/iterableArrayPattern27.js
new file mode 100644
index 00000000000..2d8a7e9d76e
--- /dev/null
+++ b/tests/baselines/reference/iterableArrayPattern27.js
@@ -0,0 +1,17 @@
+//// [iterableArrayPattern27.ts]
+function takeFirstTwoEntries(...[[k1, v1], [k2, v2]]: [string, number][]) { }
+takeFirstTwoEntries(...new Map([["", 0], ["hello", 1]]));
+
+//// [iterableArrayPattern27.js]
+function takeFirstTwoEntries(...[[k1, v1], [k2, v2]]) {
+}
+takeFirstTwoEntries(...new Map([
+    [
+        "",
+        0
+    ],
+    [
+        "hello",
+        1
+    ]
+]));
diff --git a/tests/baselines/reference/iterableArrayPattern27.types b/tests/baselines/reference/iterableArrayPattern27.types
new file mode 100644
index 00000000000..72d13ee0e00
--- /dev/null
+++ b/tests/baselines/reference/iterableArrayPattern27.types
@@ -0,0 +1,18 @@
+=== tests/cases/conformance/es6/destructuring/iterableArrayPattern27.ts ===
+function takeFirstTwoEntries(...[[k1, v1], [k2, v2]]: [string, number][]) { }
+>takeFirstTwoEntries : (...[[k1, v1], [k2, v2]]: [string, number][]) => void
+>k1 : string
+>v1 : number
+>k2 : string
+>v2 : number
+
+takeFirstTwoEntries(...new Map([["", 0], ["hello", 1]]));
+>takeFirstTwoEntries(...new Map([["", 0], ["hello", 1]])) : void
+>takeFirstTwoEntries : (...[[k1, v1], [k2, v2]]: [string, number][]) => void
+>...new Map([["", 0], ["hello", 1]]) : [string, number]
+>new Map([["", 0], ["hello", 1]]) : Map<string, number>
+>Map : MapConstructor
+>[["", 0], ["hello", 1]] : [string, number][]
+>["", 0] : [string, number]
+>["hello", 1] : [string, number]
+
diff --git a/tests/baselines/reference/iterableArrayPattern28.errors.txt b/tests/baselines/reference/iterableArrayPattern28.errors.txt
new file mode 100644
index 00000000000..0190dd939e8
--- /dev/null
+++ b/tests/baselines/reference/iterableArrayPattern28.errors.txt
@@ -0,0 +1,10 @@
+tests/cases/conformance/es6/destructuring/iterableArrayPattern28.ts(2,28): error TS2453: The type argument for type parameter 'V' cannot be inferred from the usage. Consider specifying the type arguments explicitly.
+  Type argument candidate 'number' is not a valid type argument because it is not a supertype of candidate 'boolean'.
+
+
+==== tests/cases/conformance/es6/destructuring/iterableArrayPattern28.ts (1 errors) ====
+    function takeFirstTwoEntries(...[[k1, v1], [k2, v2]]: [string, number][]) { }
+    takeFirstTwoEntries(...new Map([["", 0], ["hello", true]]));
+                               ~~~
+!!! error TS2453: The type argument for type parameter 'V' cannot be inferred from the usage. Consider specifying the type arguments explicitly.
+!!! error TS2453:   Type argument candidate 'number' is not a valid type argument because it is not a supertype of candidate 'boolean'.
\ No newline at end of file
diff --git a/tests/baselines/reference/iterableArrayPattern28.js b/tests/baselines/reference/iterableArrayPattern28.js
new file mode 100644
index 00000000000..03e9264f72d
--- /dev/null
+++ b/tests/baselines/reference/iterableArrayPattern28.js
@@ -0,0 +1,17 @@
+//// [iterableArrayPattern28.ts]
+function takeFirstTwoEntries(...[[k1, v1], [k2, v2]]: [string, number][]) { }
+takeFirstTwoEntries(...new Map([["", 0], ["hello", true]]));
+
+//// [iterableArrayPattern28.js]
+function takeFirstTwoEntries(...[[k1, v1], [k2, v2]]) {
+}
+takeFirstTwoEntries(...new Map([
+    [
+        "",
+        0
+    ],
+    [
+        "hello",
+        true
+    ]
+]));
diff --git a/tests/baselines/reference/iterableArrayPattern29.errors.txt b/tests/baselines/reference/iterableArrayPattern29.errors.txt
new file mode 100644
index 00000000000..632854ae952
--- /dev/null
+++ b/tests/baselines/reference/iterableArrayPattern29.errors.txt
@@ -0,0 +1,12 @@
+tests/cases/conformance/es6/destructuring/iterableArrayPattern29.ts(2,21): error TS2345: Argument of type '[string, boolean]' is not assignable to parameter of type '[string, number]'.
+  Types of property '1' are incompatible.
+    Type 'boolean' is not assignable to type 'number'.
+
+
+==== tests/cases/conformance/es6/destructuring/iterableArrayPattern29.ts (1 errors) ====
+    function takeFirstTwoEntries(...[[k1, v1], [k2, v2]]: [string, number][]) { }
+    takeFirstTwoEntries(...new Map([["", true], ["hello", true]]));
+                        ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+!!! error TS2345: Argument of type '[string, boolean]' is not assignable to parameter of type '[string, number]'.
+!!! error TS2345:   Types of property '1' are incompatible.
+!!! error TS2345:     Type 'boolean' is not assignable to type 'number'.
\ No newline at end of file
diff --git a/tests/baselines/reference/iterableArrayPattern29.js b/tests/baselines/reference/iterableArrayPattern29.js
new file mode 100644
index 00000000000..926f5608bd0
--- /dev/null
+++ b/tests/baselines/reference/iterableArrayPattern29.js
@@ -0,0 +1,17 @@
+//// [iterableArrayPattern29.ts]
+function takeFirstTwoEntries(...[[k1, v1], [k2, v2]]: [string, number][]) { }
+takeFirstTwoEntries(...new Map([["", true], ["hello", true]]));
+
+//// [iterableArrayPattern29.js]
+function takeFirstTwoEntries(...[[k1, v1], [k2, v2]]) {
+}
+takeFirstTwoEntries(...new Map([
+    [
+        "",
+        true
+    ],
+    [
+        "hello",
+        true
+    ]
+]));
diff --git a/tests/baselines/reference/iterableArrayPattern3.js b/tests/baselines/reference/iterableArrayPattern3.js
new file mode 100644
index 00000000000..4180bac8960
--- /dev/null
+++ b/tests/baselines/reference/iterableArrayPattern3.js
@@ -0,0 +1,39 @@
+//// [iterableArrayPattern3.ts]
+var a: Bar, b: Bar;
+[a, b] = new FooIterator;
+class Bar { x }
+class Foo extends Bar { y }
+class FooIterator {
+    next() {
+        return {
+            value: new Foo,
+            done: false
+        };
+    }
+
+    [Symbol.iterator]() {
+        return this;
+    }
+}
+
+//// [iterableArrayPattern3.js]
+var a, b;
+[
+    a,
+    b
+] = new FooIterator;
+class Bar {
+}
+class Foo extends Bar {
+}
+class FooIterator {
+    next() {
+        return {
+            value: new Foo,
+            done: false
+        };
+    }
+    [Symbol.iterator]() {
+        return this;
+    }
+}
diff --git a/tests/baselines/reference/iterableArrayPattern3.types b/tests/baselines/reference/iterableArrayPattern3.types
new file mode 100644
index 00000000000..291eed9723a
--- /dev/null
+++ b/tests/baselines/reference/iterableArrayPattern3.types
@@ -0,0 +1,53 @@
+=== tests/cases/conformance/es6/destructuring/iterableArrayPattern3.ts ===
+var a: Bar, b: Bar;
+>a : Bar
+>Bar : Bar
+>b : Bar
+>Bar : Bar
+
+[a, b] = new FooIterator;
+>[a, b] = new FooIterator : FooIterator
+>[a, b] : [Bar, Bar]
+>a : Bar
+>b : Bar
+>new FooIterator : FooIterator
+>FooIterator : typeof FooIterator
+
+class Bar { x }
+>Bar : Bar
+>x : any
+
+class Foo extends Bar { y }
+>Foo : Foo
+>Bar : Bar
+>y : any
+
+class FooIterator {
+>FooIterator : FooIterator
+
+    next() {
+>next : () => { value: Foo; done: boolean; }
+
+        return {
+>{            value: new Foo,            done: false        } : { value: Foo; done: boolean; }
+
+            value: new Foo,
+>value : Foo
+>new Foo : Foo
+>Foo : typeof Foo
+
+            done: false
+>done : boolean
+
+        };
+    }
+
+    [Symbol.iterator]() {
+>Symbol.iterator : symbol
+>Symbol : SymbolConstructor
+>iterator : symbol
+
+        return this;
+>this : FooIterator
+    }
+}
diff --git a/tests/baselines/reference/iterableArrayPattern30.js b/tests/baselines/reference/iterableArrayPattern30.js
new file mode 100644
index 00000000000..aafa09c3911
--- /dev/null
+++ b/tests/baselines/reference/iterableArrayPattern30.js
@@ -0,0 +1,14 @@
+//// [iterableArrayPattern30.ts]
+const [[k1, v1], [k2, v2]] = new Map([["", true], ["hello", true]])
+
+//// [iterableArrayPattern30.js]
+const [[k1, v1], [k2, v2]] = new Map([
+    [
+        "",
+        true
+    ],
+    [
+        "hello",
+        true
+    ]
+]);
diff --git a/tests/baselines/reference/iterableArrayPattern30.types b/tests/baselines/reference/iterableArrayPattern30.types
new file mode 100644
index 00000000000..998da11d651
--- /dev/null
+++ b/tests/baselines/reference/iterableArrayPattern30.types
@@ -0,0 +1,12 @@
+=== tests/cases/conformance/es6/destructuring/iterableArrayPattern30.ts ===
+const [[k1, v1], [k2, v2]] = new Map([["", true], ["hello", true]])
+>k1 : string
+>v1 : boolean
+>k2 : string
+>v2 : boolean
+>new Map([["", true], ["hello", true]]) : Map<string, boolean>
+>Map : MapConstructor
+>[["", true], ["hello", true]] : [string, boolean][]
+>["", true] : [string, boolean]
+>["hello", true] : [string, boolean]
+
diff --git a/tests/baselines/reference/iterableArrayPattern4.js b/tests/baselines/reference/iterableArrayPattern4.js
new file mode 100644
index 00000000000..a03263e3c5e
--- /dev/null
+++ b/tests/baselines/reference/iterableArrayPattern4.js
@@ -0,0 +1,39 @@
+//// [iterableArrayPattern4.ts]
+var a: Bar, b: Bar[];
+[a, ...b] = new FooIterator;
+class Bar { x }
+class Foo extends Bar { y }
+class FooIterator {
+    next() {
+        return {
+            value: new Foo,
+            done: false
+        };
+    }
+
+    [Symbol.iterator]() {
+        return this;
+    }
+}
+
+//// [iterableArrayPattern4.js]
+var a, b;
+[
+    a,
+    ...b
+] = new FooIterator;
+class Bar {
+}
+class Foo extends Bar {
+}
+class FooIterator {
+    next() {
+        return {
+            value: new Foo,
+            done: false
+        };
+    }
+    [Symbol.iterator]() {
+        return this;
+    }
+}
diff --git a/tests/baselines/reference/iterableArrayPattern4.types b/tests/baselines/reference/iterableArrayPattern4.types
new file mode 100644
index 00000000000..531b2aa8275
--- /dev/null
+++ b/tests/baselines/reference/iterableArrayPattern4.types
@@ -0,0 +1,54 @@
+=== tests/cases/conformance/es6/destructuring/iterableArrayPattern4.ts ===
+var a: Bar, b: Bar[];
+>a : Bar
+>Bar : Bar
+>b : Bar[]
+>Bar : Bar
+
+[a, ...b] = new FooIterator;
+>[a, ...b] = new FooIterator : FooIterator
+>[a, ...b] : Bar[]
+>a : Bar
+>...b : Bar
+>b : Bar[]
+>new FooIterator : FooIterator
+>FooIterator : typeof FooIterator
+
+class Bar { x }
+>Bar : Bar
+>x : any
+
+class Foo extends Bar { y }
+>Foo : Foo
+>Bar : Bar
+>y : any
+
+class FooIterator {
+>FooIterator : FooIterator
+
+    next() {
+>next : () => { value: Foo; done: boolean; }
+
+        return {
+>{            value: new Foo,            done: false        } : { value: Foo; done: boolean; }
+
+            value: new Foo,
+>value : Foo
+>new Foo : Foo
+>Foo : typeof Foo
+
+            done: false
+>done : boolean
+
+        };
+    }
+
+    [Symbol.iterator]() {
+>Symbol.iterator : symbol
+>Symbol : SymbolConstructor
+>iterator : symbol
+
+        return this;
+>this : FooIterator
+    }
+}
diff --git a/tests/baselines/reference/iterableArrayPattern5.errors.txt b/tests/baselines/reference/iterableArrayPattern5.errors.txt
new file mode 100644
index 00000000000..ca540d805be
--- /dev/null
+++ b/tests/baselines/reference/iterableArrayPattern5.errors.txt
@@ -0,0 +1,22 @@
+tests/cases/conformance/es6/destructuring/iterableArrayPattern5.ts(2,5): error TS2322: Type 'Foo' is not assignable to type 'string'.
+
+
+==== tests/cases/conformance/es6/destructuring/iterableArrayPattern5.ts (1 errors) ====
+    var a: Bar, b: string;
+    [a, b] = new FooIterator;
+        ~
+!!! error TS2322: Type 'Foo' is not assignable to type 'string'.
+    class Bar { x }
+    class Foo extends Bar { y }
+    class FooIterator {
+        next() {
+            return {
+                value: new Foo,
+                done: false
+            };
+        }
+    
+        [Symbol.iterator]() {
+            return this;
+        }
+    }
\ No newline at end of file
diff --git a/tests/baselines/reference/iterableArrayPattern5.js b/tests/baselines/reference/iterableArrayPattern5.js
new file mode 100644
index 00000000000..84e14644aa9
--- /dev/null
+++ b/tests/baselines/reference/iterableArrayPattern5.js
@@ -0,0 +1,39 @@
+//// [iterableArrayPattern5.ts]
+var a: Bar, b: string;
+[a, b] = new FooIterator;
+class Bar { x }
+class Foo extends Bar { y }
+class FooIterator {
+    next() {
+        return {
+            value: new Foo,
+            done: false
+        };
+    }
+
+    [Symbol.iterator]() {
+        return this;
+    }
+}
+
+//// [iterableArrayPattern5.js]
+var a, b;
+[
+    a,
+    b
+] = new FooIterator;
+class Bar {
+}
+class Foo extends Bar {
+}
+class FooIterator {
+    next() {
+        return {
+            value: new Foo,
+            done: false
+        };
+    }
+    [Symbol.iterator]() {
+        return this;
+    }
+}
diff --git a/tests/baselines/reference/iterableArrayPattern6.errors.txt b/tests/baselines/reference/iterableArrayPattern6.errors.txt
new file mode 100644
index 00000000000..e0a546d154c
--- /dev/null
+++ b/tests/baselines/reference/iterableArrayPattern6.errors.txt
@@ -0,0 +1,24 @@
+tests/cases/conformance/es6/destructuring/iterableArrayPattern6.ts(2,8): error TS2322: Type 'Foo[]' is not assignable to type 'string[]'.
+  Type 'Foo' is not assignable to type 'string'.
+
+
+==== tests/cases/conformance/es6/destructuring/iterableArrayPattern6.ts (1 errors) ====
+    var a: Bar, b: string[];
+    [a, ...b] = new FooIterator;
+           ~
+!!! error TS2322: Type 'Foo[]' is not assignable to type 'string[]'.
+!!! error TS2322:   Type 'Foo' is not assignable to type 'string'.
+    class Bar { x }
+    class Foo extends Bar { y }
+    class FooIterator {
+        next() {
+            return {
+                value: new Foo,
+                done: false
+            };
+        }
+    
+        [Symbol.iterator]() {
+            return this;
+        }
+    }
\ No newline at end of file
diff --git a/tests/baselines/reference/iterableArrayPattern6.js b/tests/baselines/reference/iterableArrayPattern6.js
new file mode 100644
index 00000000000..b4faf6394e6
--- /dev/null
+++ b/tests/baselines/reference/iterableArrayPattern6.js
@@ -0,0 +1,39 @@
+//// [iterableArrayPattern6.ts]
+var a: Bar, b: string[];
+[a, ...b] = new FooIterator;
+class Bar { x }
+class Foo extends Bar { y }
+class FooIterator {
+    next() {
+        return {
+            value: new Foo,
+            done: false
+        };
+    }
+
+    [Symbol.iterator]() {
+        return this;
+    }
+}
+
+//// [iterableArrayPattern6.js]
+var a, b;
+[
+    a,
+    ...b
+] = new FooIterator;
+class Bar {
+}
+class Foo extends Bar {
+}
+class FooIterator {
+    next() {
+        return {
+            value: new Foo,
+            done: false
+        };
+    }
+    [Symbol.iterator]() {
+        return this;
+    }
+}
diff --git a/tests/baselines/reference/iterableArrayPattern7.errors.txt b/tests/baselines/reference/iterableArrayPattern7.errors.txt
new file mode 100644
index 00000000000..997cc21f38b
--- /dev/null
+++ b/tests/baselines/reference/iterableArrayPattern7.errors.txt
@@ -0,0 +1,24 @@
+tests/cases/conformance/es6/destructuring/iterableArrayPattern7.ts(2,5): error TS2322: Type 'Foo' is not assignable to type 'string[]'.
+  Property 'length' is missing in type 'Foo'.
+
+
+==== tests/cases/conformance/es6/destructuring/iterableArrayPattern7.ts (1 errors) ====
+    var a: Bar, b: string[];
+    [a, b] = new FooIterator;
+        ~
+!!! error TS2322: Type 'Foo' is not assignable to type 'string[]'.
+!!! error TS2322:   Property 'length' is missing in type 'Foo'.
+    class Bar { x }
+    class Foo extends Bar { y }
+    class FooIterator {
+        next() {
+            return {
+                value: new Foo,
+                done: false
+            };
+        }
+    
+        [Symbol.iterator]() {
+            return this;
+        }
+    }
\ No newline at end of file
diff --git a/tests/baselines/reference/iterableArrayPattern7.js b/tests/baselines/reference/iterableArrayPattern7.js
new file mode 100644
index 00000000000..30a8d24bbd2
--- /dev/null
+++ b/tests/baselines/reference/iterableArrayPattern7.js
@@ -0,0 +1,39 @@
+//// [iterableArrayPattern7.ts]
+var a: Bar, b: string[];
+[a, b] = new FooIterator;
+class Bar { x }
+class Foo extends Bar { y }
+class FooIterator {
+    next() {
+        return {
+            value: new Foo,
+            done: false
+        };
+    }
+
+    [Symbol.iterator]() {
+        return this;
+    }
+}
+
+//// [iterableArrayPattern7.js]
+var a, b;
+[
+    a,
+    b
+] = new FooIterator;
+class Bar {
+}
+class Foo extends Bar {
+}
+class FooIterator {
+    next() {
+        return {
+            value: new Foo,
+            done: false
+        };
+    }
+    [Symbol.iterator]() {
+        return this;
+    }
+}
diff --git a/tests/baselines/reference/iterableArrayPattern8.errors.txt b/tests/baselines/reference/iterableArrayPattern8.errors.txt
new file mode 100644
index 00000000000..c06e0c9543f
--- /dev/null
+++ b/tests/baselines/reference/iterableArrayPattern8.errors.txt
@@ -0,0 +1,22 @@
+tests/cases/conformance/es6/destructuring/iterableArrayPattern8.ts(2,8): error TS2322: Type 'Foo[]' is not assignable to type 'string'.
+
+
+==== tests/cases/conformance/es6/destructuring/iterableArrayPattern8.ts (1 errors) ====
+    var a: Bar, b: string;
+    [a, ...b] = new FooIterator;
+           ~
+!!! error TS2322: Type 'Foo[]' is not assignable to type 'string'.
+    class Bar { x }
+    class Foo extends Bar { y }
+    class FooIterator {
+        next() {
+            return {
+                value: new Foo,
+                done: false
+            };
+        }
+    
+        [Symbol.iterator]() {
+            return this;
+        }
+    }
\ No newline at end of file
diff --git a/tests/baselines/reference/iterableArrayPattern8.js b/tests/baselines/reference/iterableArrayPattern8.js
new file mode 100644
index 00000000000..35a4a62a3df
--- /dev/null
+++ b/tests/baselines/reference/iterableArrayPattern8.js
@@ -0,0 +1,39 @@
+//// [iterableArrayPattern8.ts]
+var a: Bar, b: string;
+[a, ...b] = new FooIterator;
+class Bar { x }
+class Foo extends Bar { y }
+class FooIterator {
+    next() {
+        return {
+            value: new Foo,
+            done: false
+        };
+    }
+
+    [Symbol.iterator]() {
+        return this;
+    }
+}
+
+//// [iterableArrayPattern8.js]
+var a, b;
+[
+    a,
+    ...b
+] = new FooIterator;
+class Bar {
+}
+class Foo extends Bar {
+}
+class FooIterator {
+    next() {
+        return {
+            value: new Foo,
+            done: false
+        };
+    }
+    [Symbol.iterator]() {
+        return this;
+    }
+}
diff --git a/tests/baselines/reference/iterableArrayPattern9.js b/tests/baselines/reference/iterableArrayPattern9.js
new file mode 100644
index 00000000000..558758561a4
--- /dev/null
+++ b/tests/baselines/reference/iterableArrayPattern9.js
@@ -0,0 +1,35 @@
+//// [iterableArrayPattern9.ts]
+function fun([a, b] = new FooIterator) { }
+class Bar { x }
+class Foo extends Bar { y }
+class FooIterator {
+    next() {
+        return {
+            value: new Foo,
+            done: false
+        };
+    }
+
+    [Symbol.iterator]() {
+        return this;
+    }
+}
+
+//// [iterableArrayPattern9.js]
+function fun([a, b] = new FooIterator) {
+}
+class Bar {
+}
+class Foo extends Bar {
+}
+class FooIterator {
+    next() {
+        return {
+            value: new Foo,
+            done: false
+        };
+    }
+    [Symbol.iterator]() {
+        return this;
+    }
+}
diff --git a/tests/baselines/reference/iterableArrayPattern9.types b/tests/baselines/reference/iterableArrayPattern9.types
new file mode 100644
index 00000000000..67d4bab1a83
--- /dev/null
+++ b/tests/baselines/reference/iterableArrayPattern9.types
@@ -0,0 +1,46 @@
+=== tests/cases/conformance/es6/destructuring/iterableArrayPattern9.ts ===
+function fun([a, b] = new FooIterator) { }
+>fun : ([a, b]?: FooIterator) => void
+>a : Foo
+>b : Foo
+>new FooIterator : FooIterator
+>FooIterator : typeof FooIterator
+
+class Bar { x }
+>Bar : Bar
+>x : any
+
+class Foo extends Bar { y }
+>Foo : Foo
+>Bar : Bar
+>y : any
+
+class FooIterator {
+>FooIterator : FooIterator
+
+    next() {
+>next : () => { value: Foo; done: boolean; }
+
+        return {
+>{            value: new Foo,            done: false        } : { value: Foo; done: boolean; }
+
+            value: new Foo,
+>value : Foo
+>new Foo : Foo
+>Foo : typeof Foo
+
+            done: false
+>done : boolean
+
+        };
+    }
+
+    [Symbol.iterator]() {
+>Symbol.iterator : symbol
+>Symbol : SymbolConstructor
+>iterator : symbol
+
+        return this;
+>this : FooIterator
+    }
+}
diff --git a/tests/cases/conformance/es6/destructuring/iterableArrayPattern1.ts b/tests/cases/conformance/es6/destructuring/iterableArrayPattern1.ts
new file mode 100644
index 00000000000..7b3be0365e9
--- /dev/null
+++ b/tests/cases/conformance/es6/destructuring/iterableArrayPattern1.ts
@@ -0,0 +1,14 @@
+//@target: ES6
+var [a, b] = new SymbolIterator;
+class SymbolIterator {
+    next() {
+        return {
+            value: Symbol(),
+            done: false
+        };
+    }
+
+    [Symbol.iterator]() {
+        return this;
+    }
+}
\ No newline at end of file
diff --git a/tests/cases/conformance/es6/destructuring/iterableArrayPattern10.ts b/tests/cases/conformance/es6/destructuring/iterableArrayPattern10.ts
new file mode 100644
index 00000000000..35d05ef1f9c
--- /dev/null
+++ b/tests/cases/conformance/es6/destructuring/iterableArrayPattern10.ts
@@ -0,0 +1,17 @@
+//@target: ES6
+function fun([a, b]) { }
+fun(new FooIterator);
+class Bar { x }
+class Foo extends Bar { y }
+class FooIterator {
+    next() {
+        return {
+            value: new Foo,
+            done: false
+        };
+    }
+
+    [Symbol.iterator]() {
+        return this;
+    }
+}
\ No newline at end of file
diff --git a/tests/cases/conformance/es6/destructuring/iterableArrayPattern11.ts b/tests/cases/conformance/es6/destructuring/iterableArrayPattern11.ts
new file mode 100644
index 00000000000..ed93b5175d0
--- /dev/null
+++ b/tests/cases/conformance/es6/destructuring/iterableArrayPattern11.ts
@@ -0,0 +1,17 @@
+//@target: ES6
+function fun([a, b] = new FooIterator) { }
+fun(new FooIterator);
+class Bar { x }
+class Foo extends Bar { y }
+class FooIterator {
+    next() {
+        return {
+            value: new Foo,
+            done: false
+        };
+    }
+
+    [Symbol.iterator]() {
+        return this;
+    }
+}
\ No newline at end of file
diff --git a/tests/cases/conformance/es6/destructuring/iterableArrayPattern12.ts b/tests/cases/conformance/es6/destructuring/iterableArrayPattern12.ts
new file mode 100644
index 00000000000..b7e763694ea
--- /dev/null
+++ b/tests/cases/conformance/es6/destructuring/iterableArrayPattern12.ts
@@ -0,0 +1,17 @@
+//@target: ES6
+function fun([a, ...b] = new FooIterator) { }
+fun(new FooIterator);
+class Bar { x }
+class Foo extends Bar { y }
+class FooIterator {
+    next() {
+        return {
+            value: new Foo,
+            done: false
+        };
+    }
+
+    [Symbol.iterator]() {
+        return this;
+    }
+}
\ No newline at end of file
diff --git a/tests/cases/conformance/es6/destructuring/iterableArrayPattern13.ts b/tests/cases/conformance/es6/destructuring/iterableArrayPattern13.ts
new file mode 100644
index 00000000000..f0b9b142f40
--- /dev/null
+++ b/tests/cases/conformance/es6/destructuring/iterableArrayPattern13.ts
@@ -0,0 +1,17 @@
+//@target: ES6
+function fun([a, ...b]) { }
+fun(new FooIterator);
+class Bar { x }
+class Foo extends Bar { y }
+class FooIterator {
+    next() {
+        return {
+            value: new Foo,
+            done: false
+        };
+    }
+
+    [Symbol.iterator]() {
+        return this;
+    }
+}
\ No newline at end of file
diff --git a/tests/cases/conformance/es6/destructuring/iterableArrayPattern14.ts b/tests/cases/conformance/es6/destructuring/iterableArrayPattern14.ts
new file mode 100644
index 00000000000..c327efa3ec2
--- /dev/null
+++ b/tests/cases/conformance/es6/destructuring/iterableArrayPattern14.ts
@@ -0,0 +1,17 @@
+//@target: ES6
+function fun(...[a, ...b]) { }
+fun(new FooIterator);
+class Bar { x }
+class Foo extends Bar { y }
+class FooIterator {
+    next() {
+        return {
+            value: new Foo,
+            done: false
+        };
+    }
+
+    [Symbol.iterator]() {
+        return this;
+    }
+}
\ No newline at end of file
diff --git a/tests/cases/conformance/es6/destructuring/iterableArrayPattern15.ts b/tests/cases/conformance/es6/destructuring/iterableArrayPattern15.ts
new file mode 100644
index 00000000000..21d632fd541
--- /dev/null
+++ b/tests/cases/conformance/es6/destructuring/iterableArrayPattern15.ts
@@ -0,0 +1,17 @@
+//@target: ES6
+function fun(...[a, b]: Bar[]) { }
+fun(...new FooIterator);
+class Bar { x }
+class Foo extends Bar { y }
+class FooIterator {
+    next() {
+        return {
+            value: new Foo,
+            done: false
+        };
+    }
+
+    [Symbol.iterator]() {
+        return this;
+    }
+}
\ No newline at end of file
diff --git a/tests/cases/conformance/es6/destructuring/iterableArrayPattern16.ts b/tests/cases/conformance/es6/destructuring/iterableArrayPattern16.ts
new file mode 100644
index 00000000000..ba2c74681fe
--- /dev/null
+++ b/tests/cases/conformance/es6/destructuring/iterableArrayPattern16.ts
@@ -0,0 +1,30 @@
+//@target: ES6
+function fun(...[a, b]: [Bar, Bar][]) { }
+fun(...new FooIteratorIterator);
+class Bar { x }
+class Foo extends Bar { y }
+class FooIterator {
+    next() {
+        return {
+            value: new Foo,
+            done: false
+        };
+    }
+
+    [Symbol.iterator]() {
+        return this;
+    }
+}
+
+class FooIteratorIterator {
+    next() {
+        return {
+            value: new FooIterator,
+            done: false
+        };
+    }
+
+    [Symbol.iterator]() {
+        return this;
+    }
+}
\ No newline at end of file
diff --git a/tests/cases/conformance/es6/destructuring/iterableArrayPattern17.ts b/tests/cases/conformance/es6/destructuring/iterableArrayPattern17.ts
new file mode 100644
index 00000000000..90db0e5edb5
--- /dev/null
+++ b/tests/cases/conformance/es6/destructuring/iterableArrayPattern17.ts
@@ -0,0 +1,17 @@
+//@target: ES6
+function fun(...[a, b]: Bar[]) { }
+fun(new FooIterator);
+class Bar { x }
+class Foo extends Bar { y }
+class FooIterator {
+    next() {
+        return {
+            value: new Foo,
+            done: false
+        };
+    }
+
+    [Symbol.iterator]() {
+        return this;
+    }
+}
\ No newline at end of file
diff --git a/tests/cases/conformance/es6/destructuring/iterableArrayPattern18.ts b/tests/cases/conformance/es6/destructuring/iterableArrayPattern18.ts
new file mode 100644
index 00000000000..e6e5ad617b2
--- /dev/null
+++ b/tests/cases/conformance/es6/destructuring/iterableArrayPattern18.ts
@@ -0,0 +1,17 @@
+//@target: ES6
+function fun([a, b]: Bar[]) { }
+fun(new FooIterator);
+class Bar { x }
+class Foo extends Bar { y }
+class FooIterator {
+    next() {
+        return {
+            value: new Foo,
+            done: false
+        };
+    }
+
+    [Symbol.iterator]() {
+        return this;
+    }
+}
\ No newline at end of file
diff --git a/tests/cases/conformance/es6/destructuring/iterableArrayPattern19.ts b/tests/cases/conformance/es6/destructuring/iterableArrayPattern19.ts
new file mode 100644
index 00000000000..8513dd07649
--- /dev/null
+++ b/tests/cases/conformance/es6/destructuring/iterableArrayPattern19.ts
@@ -0,0 +1,17 @@
+//@target: ES6
+function fun([[a], b]: Bar[][]) { }
+fun(new FooArrayIterator);
+class Bar { x }
+class Foo extends Bar { y }
+class FooArrayIterator {
+    next() {
+        return {
+            value: [new Foo],
+            done: false
+        };
+    }
+
+    [Symbol.iterator]() {
+        return this;
+    }
+}
\ No newline at end of file
diff --git a/tests/cases/conformance/es6/destructuring/iterableArrayPattern2.ts b/tests/cases/conformance/es6/destructuring/iterableArrayPattern2.ts
new file mode 100644
index 00000000000..587f1f0b056
--- /dev/null
+++ b/tests/cases/conformance/es6/destructuring/iterableArrayPattern2.ts
@@ -0,0 +1,14 @@
+//@target: ES6
+var [a, ...b] = new SymbolIterator;
+class SymbolIterator {
+    next() {
+        return {
+            value: Symbol(),
+            done: false
+        };
+    }
+
+    [Symbol.iterator]() {
+        return this;
+    }
+}
\ No newline at end of file
diff --git a/tests/cases/conformance/es6/destructuring/iterableArrayPattern20.ts b/tests/cases/conformance/es6/destructuring/iterableArrayPattern20.ts
new file mode 100644
index 00000000000..b5be67b393f
--- /dev/null
+++ b/tests/cases/conformance/es6/destructuring/iterableArrayPattern20.ts
@@ -0,0 +1,17 @@
+//@target: ES6
+function fun(...[[a = new Foo], b = [new Foo]]: Bar[][]) { }
+fun(...new FooArrayIterator);
+class Bar { x }
+class Foo extends Bar { y }
+class FooArrayIterator {
+    next() {
+        return {
+            value: [new Foo],
+            done: false
+        };
+    }
+
+    [Symbol.iterator]() {
+        return this;
+    }
+}
\ No newline at end of file
diff --git a/tests/cases/conformance/es6/destructuring/iterableArrayPattern21.ts b/tests/cases/conformance/es6/destructuring/iterableArrayPattern21.ts
new file mode 100644
index 00000000000..c8f17395d14
--- /dev/null
+++ b/tests/cases/conformance/es6/destructuring/iterableArrayPattern21.ts
@@ -0,0 +1,2 @@
+//@target: ES6
+var [a, b] = { 0: "", 1: true };
\ No newline at end of file
diff --git a/tests/cases/conformance/es6/destructuring/iterableArrayPattern22.ts b/tests/cases/conformance/es6/destructuring/iterableArrayPattern22.ts
new file mode 100644
index 00000000000..8cf60df5597
--- /dev/null
+++ b/tests/cases/conformance/es6/destructuring/iterableArrayPattern22.ts
@@ -0,0 +1,2 @@
+//@target: ES6
+var [...a] = { 0: "", 1: true };
\ No newline at end of file
diff --git a/tests/cases/conformance/es6/destructuring/iterableArrayPattern23.ts b/tests/cases/conformance/es6/destructuring/iterableArrayPattern23.ts
new file mode 100644
index 00000000000..91ce911b04c
--- /dev/null
+++ b/tests/cases/conformance/es6/destructuring/iterableArrayPattern23.ts
@@ -0,0 +1,3 @@
+//@target: ES6
+var a: string, b: boolean;
+[a, b] = { 0: "", 1: true };
\ No newline at end of file
diff --git a/tests/cases/conformance/es6/destructuring/iterableArrayPattern24.ts b/tests/cases/conformance/es6/destructuring/iterableArrayPattern24.ts
new file mode 100644
index 00000000000..462b3663b8b
--- /dev/null
+++ b/tests/cases/conformance/es6/destructuring/iterableArrayPattern24.ts
@@ -0,0 +1,3 @@
+//@target: ES6
+var a: string, b: boolean[];
+[a, ...b] = { 0: "", 1: true };
\ No newline at end of file
diff --git a/tests/cases/conformance/es6/destructuring/iterableArrayPattern25.ts b/tests/cases/conformance/es6/destructuring/iterableArrayPattern25.ts
new file mode 100644
index 00000000000..a47edb4e987
--- /dev/null
+++ b/tests/cases/conformance/es6/destructuring/iterableArrayPattern25.ts
@@ -0,0 +1,3 @@
+//@target: ES6
+function takeFirstTwoEntries(...[[k1, v1], [k2, v2]]) { }
+takeFirstTwoEntries(new Map([["", 0], ["hello", 1]]));
\ No newline at end of file
diff --git a/tests/cases/conformance/es6/destructuring/iterableArrayPattern26.ts b/tests/cases/conformance/es6/destructuring/iterableArrayPattern26.ts
new file mode 100644
index 00000000000..be295333b2e
--- /dev/null
+++ b/tests/cases/conformance/es6/destructuring/iterableArrayPattern26.ts
@@ -0,0 +1,3 @@
+//@target: ES6
+function takeFirstTwoEntries(...[[k1, v1], [k2, v2]]: [string, number][]) { }
+takeFirstTwoEntries(new Map([["", 0], ["hello", 1]]));
\ No newline at end of file
diff --git a/tests/cases/conformance/es6/destructuring/iterableArrayPattern27.ts b/tests/cases/conformance/es6/destructuring/iterableArrayPattern27.ts
new file mode 100644
index 00000000000..fcf6967cd4e
--- /dev/null
+++ b/tests/cases/conformance/es6/destructuring/iterableArrayPattern27.ts
@@ -0,0 +1,3 @@
+//@target: ES6
+function takeFirstTwoEntries(...[[k1, v1], [k2, v2]]: [string, number][]) { }
+takeFirstTwoEntries(...new Map([["", 0], ["hello", 1]]));
\ No newline at end of file
diff --git a/tests/cases/conformance/es6/destructuring/iterableArrayPattern28.ts b/tests/cases/conformance/es6/destructuring/iterableArrayPattern28.ts
new file mode 100644
index 00000000000..111abd70ac3
--- /dev/null
+++ b/tests/cases/conformance/es6/destructuring/iterableArrayPattern28.ts
@@ -0,0 +1,3 @@
+//@target: ES6
+function takeFirstTwoEntries(...[[k1, v1], [k2, v2]]: [string, number][]) { }
+takeFirstTwoEntries(...new Map([["", 0], ["hello", true]]));
\ No newline at end of file
diff --git a/tests/cases/conformance/es6/destructuring/iterableArrayPattern29.ts b/tests/cases/conformance/es6/destructuring/iterableArrayPattern29.ts
new file mode 100644
index 00000000000..403347d61e5
--- /dev/null
+++ b/tests/cases/conformance/es6/destructuring/iterableArrayPattern29.ts
@@ -0,0 +1,3 @@
+//@target: ES6
+function takeFirstTwoEntries(...[[k1, v1], [k2, v2]]: [string, number][]) { }
+takeFirstTwoEntries(...new Map([["", true], ["hello", true]]));
\ No newline at end of file
diff --git a/tests/cases/conformance/es6/destructuring/iterableArrayPattern3.ts b/tests/cases/conformance/es6/destructuring/iterableArrayPattern3.ts
new file mode 100644
index 00000000000..31656b5661f
--- /dev/null
+++ b/tests/cases/conformance/es6/destructuring/iterableArrayPattern3.ts
@@ -0,0 +1,17 @@
+//@target: ES6
+var a: Bar, b: Bar;
+[a, b] = new FooIterator;
+class Bar { x }
+class Foo extends Bar { y }
+class FooIterator {
+    next() {
+        return {
+            value: new Foo,
+            done: false
+        };
+    }
+
+    [Symbol.iterator]() {
+        return this;
+    }
+}
\ No newline at end of file
diff --git a/tests/cases/conformance/es6/destructuring/iterableArrayPattern30.ts b/tests/cases/conformance/es6/destructuring/iterableArrayPattern30.ts
new file mode 100644
index 00000000000..075ff3fd467
--- /dev/null
+++ b/tests/cases/conformance/es6/destructuring/iterableArrayPattern30.ts
@@ -0,0 +1,2 @@
+//@target: ES6
+const [[k1, v1], [k2, v2]] = new Map([["", true], ["hello", true]])
\ No newline at end of file
diff --git a/tests/cases/conformance/es6/destructuring/iterableArrayPattern4.ts b/tests/cases/conformance/es6/destructuring/iterableArrayPattern4.ts
new file mode 100644
index 00000000000..edd95be1598
--- /dev/null
+++ b/tests/cases/conformance/es6/destructuring/iterableArrayPattern4.ts
@@ -0,0 +1,17 @@
+//@target: ES6
+var a: Bar, b: Bar[];
+[a, ...b] = new FooIterator;
+class Bar { x }
+class Foo extends Bar { y }
+class FooIterator {
+    next() {
+        return {
+            value: new Foo,
+            done: false
+        };
+    }
+
+    [Symbol.iterator]() {
+        return this;
+    }
+}
\ No newline at end of file
diff --git a/tests/cases/conformance/es6/destructuring/iterableArrayPattern5.ts b/tests/cases/conformance/es6/destructuring/iterableArrayPattern5.ts
new file mode 100644
index 00000000000..b51d0f09d08
--- /dev/null
+++ b/tests/cases/conformance/es6/destructuring/iterableArrayPattern5.ts
@@ -0,0 +1,17 @@
+//@target: ES6
+var a: Bar, b: string;
+[a, b] = new FooIterator;
+class Bar { x }
+class Foo extends Bar { y }
+class FooIterator {
+    next() {
+        return {
+            value: new Foo,
+            done: false
+        };
+    }
+
+    [Symbol.iterator]() {
+        return this;
+    }
+}
\ No newline at end of file
diff --git a/tests/cases/conformance/es6/destructuring/iterableArrayPattern6.ts b/tests/cases/conformance/es6/destructuring/iterableArrayPattern6.ts
new file mode 100644
index 00000000000..fc9395ed6a4
--- /dev/null
+++ b/tests/cases/conformance/es6/destructuring/iterableArrayPattern6.ts
@@ -0,0 +1,17 @@
+//@target: ES6
+var a: Bar, b: string[];
+[a, ...b] = new FooIterator;
+class Bar { x }
+class Foo extends Bar { y }
+class FooIterator {
+    next() {
+        return {
+            value: new Foo,
+            done: false
+        };
+    }
+
+    [Symbol.iterator]() {
+        return this;
+    }
+}
\ No newline at end of file
diff --git a/tests/cases/conformance/es6/destructuring/iterableArrayPattern7.ts b/tests/cases/conformance/es6/destructuring/iterableArrayPattern7.ts
new file mode 100644
index 00000000000..85b2f2e54e3
--- /dev/null
+++ b/tests/cases/conformance/es6/destructuring/iterableArrayPattern7.ts
@@ -0,0 +1,17 @@
+//@target: ES6
+var a: Bar, b: string[];
+[a, b] = new FooIterator;
+class Bar { x }
+class Foo extends Bar { y }
+class FooIterator {
+    next() {
+        return {
+            value: new Foo,
+            done: false
+        };
+    }
+
+    [Symbol.iterator]() {
+        return this;
+    }
+}
\ No newline at end of file
diff --git a/tests/cases/conformance/es6/destructuring/iterableArrayPattern8.ts b/tests/cases/conformance/es6/destructuring/iterableArrayPattern8.ts
new file mode 100644
index 00000000000..dd49205d6e0
--- /dev/null
+++ b/tests/cases/conformance/es6/destructuring/iterableArrayPattern8.ts
@@ -0,0 +1,17 @@
+//@target: ES6
+var a: Bar, b: string;
+[a, ...b] = new FooIterator;
+class Bar { x }
+class Foo extends Bar { y }
+class FooIterator {
+    next() {
+        return {
+            value: new Foo,
+            done: false
+        };
+    }
+
+    [Symbol.iterator]() {
+        return this;
+    }
+}
\ No newline at end of file
diff --git a/tests/cases/conformance/es6/destructuring/iterableArrayPattern9.ts b/tests/cases/conformance/es6/destructuring/iterableArrayPattern9.ts
new file mode 100644
index 00000000000..1573c55ca8e
--- /dev/null
+++ b/tests/cases/conformance/es6/destructuring/iterableArrayPattern9.ts
@@ -0,0 +1,16 @@
+//@target: ES6
+function fun([a, b] = new FooIterator) { }
+class Bar { x }
+class Foo extends Bar { y }
+class FooIterator {
+    next() {
+        return {
+            value: new Foo,
+            done: false
+        };
+    }
+
+    [Symbol.iterator]() {
+        return this;
+    }
+}
\ No newline at end of file