diff --git a/tests/baselines/reference/ES3For-ofTypeCheck1.errors.txt b/tests/baselines/reference/ES3For-ofTypeCheck1.errors.txt
new file mode 100644
index 00000000000..6437cfbc73d
--- /dev/null
+++ b/tests/baselines/reference/ES3For-ofTypeCheck1.errors.txt
@@ -0,0 +1,7 @@
+tests/cases/conformance/statements/for-ofStatements/ES3For-ofTypeCheck1.ts(1,15): error TS2494: Using a string in a 'for...of' statement is only supported in ECMAScript 5 and higher.
+
+
+==== tests/cases/conformance/statements/for-ofStatements/ES3For-ofTypeCheck1.ts (1 errors) ====
+    for (var v of "") { }
+                  ~~
+!!! error TS2494: Using a string in a 'for...of' statement is only supported in ECMAScript 5 and higher.
\ No newline at end of file
diff --git a/tests/baselines/reference/ES3For-ofTypeCheck1.js b/tests/baselines/reference/ES3For-ofTypeCheck1.js
new file mode 100644
index 00000000000..19efa96808b
--- /dev/null
+++ b/tests/baselines/reference/ES3For-ofTypeCheck1.js
@@ -0,0 +1,7 @@
+//// [ES3For-ofTypeCheck1.ts]
+for (var v of "") { }
+
+//// [ES3For-ofTypeCheck1.js]
+for (var _i = 0, _a = ""; _i < _a.length; _i++) {
+    var v = _a[_i];
+}
diff --git a/tests/baselines/reference/ES3For-ofTypeCheck2.js b/tests/baselines/reference/ES3For-ofTypeCheck2.js
new file mode 100644
index 00000000000..952eade6cfb
--- /dev/null
+++ b/tests/baselines/reference/ES3For-ofTypeCheck2.js
@@ -0,0 +1,9 @@
+//// [ES3For-ofTypeCheck2.ts]
+for (var v of [true]) { }
+
+//// [ES3For-ofTypeCheck2.js]
+for (var _i = 0, _a = [
+    true
+]; _i < _a.length; _i++) {
+    var v = _a[_i];
+}
diff --git a/tests/baselines/reference/ES3For-ofTypeCheck2.types b/tests/baselines/reference/ES3For-ofTypeCheck2.types
new file mode 100644
index 00000000000..f5ca0ab17e8
--- /dev/null
+++ b/tests/baselines/reference/ES3For-ofTypeCheck2.types
@@ -0,0 +1,5 @@
+=== tests/cases/conformance/statements/for-ofStatements/ES3For-ofTypeCheck2.ts ===
+for (var v of [true]) { }
+>v : boolean
+>[true] : boolean[]
+
diff --git a/tests/baselines/reference/ES3For-ofTypeCheck4.errors.txt b/tests/baselines/reference/ES3For-ofTypeCheck4.errors.txt
new file mode 100644
index 00000000000..80e60008da4
--- /dev/null
+++ b/tests/baselines/reference/ES3For-ofTypeCheck4.errors.txt
@@ -0,0 +1,8 @@
+tests/cases/conformance/statements/for-ofStatements/ES3For-ofTypeCheck4.ts(2,17): error TS2494: Using a string in a 'for...of' statement is only supported in ECMAScript 5 and higher.
+
+
+==== tests/cases/conformance/statements/for-ofStatements/ES3For-ofTypeCheck4.ts (1 errors) ====
+    var union: string | string[];
+    for (const v of union) { }
+                    ~~~~~
+!!! error TS2494: Using a string in a 'for...of' statement is only supported in ECMAScript 5 and higher.
\ No newline at end of file
diff --git a/tests/baselines/reference/ES3For-ofTypeCheck4.js b/tests/baselines/reference/ES3For-ofTypeCheck4.js
new file mode 100644
index 00000000000..7386a1967eb
--- /dev/null
+++ b/tests/baselines/reference/ES3For-ofTypeCheck4.js
@@ -0,0 +1,9 @@
+//// [ES3For-ofTypeCheck4.ts]
+var union: string | string[];
+for (const v of union) { }
+
+//// [ES3For-ofTypeCheck4.js]
+var union;
+for (var _i = 0; _i < union.length; _i++) {
+    var v = union[_i];
+}
diff --git a/tests/baselines/reference/ES3For-ofTypeCheck6.js b/tests/baselines/reference/ES3For-ofTypeCheck6.js
new file mode 100644
index 00000000000..ddc11808b18
--- /dev/null
+++ b/tests/baselines/reference/ES3For-ofTypeCheck6.js
@@ -0,0 +1,9 @@
+//// [ES3For-ofTypeCheck6.ts]
+var union: string[] | number[];
+for (var v of union) { }
+
+//// [ES3For-ofTypeCheck6.js]
+var union;
+for (var _i = 0; _i < union.length; _i++) {
+    var v = union[_i];
+}
diff --git a/tests/baselines/reference/ES3For-ofTypeCheck6.types b/tests/baselines/reference/ES3For-ofTypeCheck6.types
new file mode 100644
index 00000000000..d7e6045b029
--- /dev/null
+++ b/tests/baselines/reference/ES3For-ofTypeCheck6.types
@@ -0,0 +1,8 @@
+=== tests/cases/conformance/statements/for-ofStatements/ES3For-ofTypeCheck6.ts ===
+var union: string[] | number[];
+>union : string[] | number[]
+
+for (var v of union) { }
+>v : string | number
+>union : string[] | number[]
+
diff --git a/tests/baselines/reference/ES5For-ofTypeCheck1.js b/tests/baselines/reference/ES5For-ofTypeCheck1.js
new file mode 100644
index 00000000000..f1522e512b6
--- /dev/null
+++ b/tests/baselines/reference/ES5For-ofTypeCheck1.js
@@ -0,0 +1,7 @@
+//// [ES5For-ofTypeCheck1.ts]
+for (var v of "") { }
+
+//// [ES5For-ofTypeCheck1.js]
+for (var _i = 0, _a = ""; _i < _a.length; _i++) {
+    var v = _a[_i];
+}
diff --git a/tests/baselines/reference/ES5For-ofTypeCheck1.types b/tests/baselines/reference/ES5For-ofTypeCheck1.types
new file mode 100644
index 00000000000..4da0ecc0e36
--- /dev/null
+++ b/tests/baselines/reference/ES5For-ofTypeCheck1.types
@@ -0,0 +1,4 @@
+=== tests/cases/conformance/statements/for-ofStatements/ES5For-ofTypeCheck1.ts ===
+for (var v of "") { }
+>v : string
+
diff --git a/tests/baselines/reference/ES5For-ofTypeCheck10.errors.txt b/tests/baselines/reference/ES5For-ofTypeCheck10.errors.txt
new file mode 100644
index 00000000000..8725fa62471
--- /dev/null
+++ b/tests/baselines/reference/ES5For-ofTypeCheck10.errors.txt
@@ -0,0 +1,23 @@
+tests/cases/conformance/statements/for-ofStatements/ES5For-ofTypeCheck10.ts(1,15): error TS2461: Type 'StringIterator' is not an array type.
+tests/cases/conformance/statements/for-ofStatements/ES5For-ofTypeCheck10.ts(11,6): error TS2304: Cannot find name 'Symbol'.
+
+
+==== tests/cases/conformance/statements/for-ofStatements/ES5For-ofTypeCheck10.ts (2 errors) ====
+    for (var v of new StringIterator) { }
+                  ~~~~~~~~~~~~~~~~~~
+!!! error TS2461: Type 'StringIterator' is not an array type.
+    
+    // In ES3/5, you cannot for...of over an arbitrary iterable.
+    class StringIterator {
+        next() {
+            return {
+                done: true,
+                value: ""
+            };
+        }
+        [Symbol.iterator]() {
+         ~~~~~~
+!!! error TS2304: Cannot find name 'Symbol'.
+            return this;
+        }
+    }
\ No newline at end of file
diff --git a/tests/baselines/reference/ES5For-ofTypeCheck10.js b/tests/baselines/reference/ES5For-ofTypeCheck10.js
new file mode 100644
index 00000000000..ffef1fde8f8
--- /dev/null
+++ b/tests/baselines/reference/ES5For-ofTypeCheck10.js
@@ -0,0 +1,35 @@
+//// [ES5For-ofTypeCheck10.ts]
+for (var v of new StringIterator) { }
+
+// In ES3/5, you cannot for...of over an arbitrary iterable.
+class StringIterator {
+    next() {
+        return {
+            done: true,
+            value: ""
+        };
+    }
+    [Symbol.iterator]() {
+        return this;
+    }
+}
+
+//// [ES5For-ofTypeCheck10.js]
+for (var _i = 0, _a = new StringIterator; _i < _a.length; _i++) {
+    var v = _a[_i];
+}
+// In ES3/5, you cannot for...of over an arbitrary iterable.
+var StringIterator = (function () {
+    function StringIterator() {
+    }
+    StringIterator.prototype.next = function () {
+        return {
+            done: true,
+            value: ""
+        };
+    };
+    StringIterator.prototype[Symbol.iterator] = function () {
+        return this;
+    };
+    return StringIterator;
+})();
diff --git a/tests/baselines/reference/ES5For-ofTypeCheck11.errors.txt b/tests/baselines/reference/ES5For-ofTypeCheck11.errors.txt
new file mode 100644
index 00000000000..635bb09616a
--- /dev/null
+++ b/tests/baselines/reference/ES5For-ofTypeCheck11.errors.txt
@@ -0,0 +1,11 @@
+tests/cases/conformance/statements/for-ofStatements/ES5For-ofTypeCheck11.ts(3,6): error TS2322: Type 'string | number' is not assignable to type 'string'.
+  Type 'number' is not assignable to type 'string'.
+
+
+==== tests/cases/conformance/statements/for-ofStatements/ES5For-ofTypeCheck11.ts (1 errors) ====
+    var union: string | number[];
+    var v: string;
+    for (v of union) { }
+         ~
+!!! error TS2322: Type 'string | number' is not assignable to type 'string'.
+!!! error TS2322:   Type 'number' is not assignable to type 'string'.
\ No newline at end of file
diff --git a/tests/baselines/reference/ES5For-ofTypeCheck11.js b/tests/baselines/reference/ES5For-ofTypeCheck11.js
new file mode 100644
index 00000000000..c0e46a45452
--- /dev/null
+++ b/tests/baselines/reference/ES5For-ofTypeCheck11.js
@@ -0,0 +1,11 @@
+//// [ES5For-ofTypeCheck11.ts]
+var union: string | number[];
+var v: string;
+for (v of union) { }
+
+//// [ES5For-ofTypeCheck11.js]
+var union;
+var v;
+for (var _i = 0; _i < union.length; _i++) {
+    v = union[_i];
+}
diff --git a/tests/baselines/reference/ES5For-ofTypeCheck2.js b/tests/baselines/reference/ES5For-ofTypeCheck2.js
new file mode 100644
index 00000000000..2c79054affc
--- /dev/null
+++ b/tests/baselines/reference/ES5For-ofTypeCheck2.js
@@ -0,0 +1,9 @@
+//// [ES5For-ofTypeCheck2.ts]
+for (var v of [true]) { }
+
+//// [ES5For-ofTypeCheck2.js]
+for (var _i = 0, _a = [
+    true
+]; _i < _a.length; _i++) {
+    var v = _a[_i];
+}
diff --git a/tests/baselines/reference/ES5For-ofTypeCheck2.types b/tests/baselines/reference/ES5For-ofTypeCheck2.types
new file mode 100644
index 00000000000..e6b86ce1d81
--- /dev/null
+++ b/tests/baselines/reference/ES5For-ofTypeCheck2.types
@@ -0,0 +1,5 @@
+=== tests/cases/conformance/statements/for-ofStatements/ES5For-ofTypeCheck2.ts ===
+for (var v of [true]) { }
+>v : boolean
+>[true] : boolean[]
+
diff --git a/tests/baselines/reference/ES5For-ofTypeCheck3.js b/tests/baselines/reference/ES5For-ofTypeCheck3.js
new file mode 100644
index 00000000000..b398f04e0ce
--- /dev/null
+++ b/tests/baselines/reference/ES5For-ofTypeCheck3.js
@@ -0,0 +1,12 @@
+//// [ES5For-ofTypeCheck3.ts]
+var tuple: [string, number] = ["", 0];
+for (var v of tuple) { }
+
+//// [ES5For-ofTypeCheck3.js]
+var tuple = [
+    "",
+    0
+];
+for (var _i = 0; _i < tuple.length; _i++) {
+    var v = tuple[_i];
+}
diff --git a/tests/baselines/reference/ES5For-ofTypeCheck3.types b/tests/baselines/reference/ES5For-ofTypeCheck3.types
new file mode 100644
index 00000000000..5293634c6c5
--- /dev/null
+++ b/tests/baselines/reference/ES5For-ofTypeCheck3.types
@@ -0,0 +1,9 @@
+=== tests/cases/conformance/statements/for-ofStatements/ES5For-ofTypeCheck3.ts ===
+var tuple: [string, number] = ["", 0];
+>tuple : [string, number]
+>["", 0] : [string, number]
+
+for (var v of tuple) { }
+>v : string | number
+>tuple : [string, number]
+
diff --git a/tests/baselines/reference/ES5For-ofTypeCheck4.js b/tests/baselines/reference/ES5For-ofTypeCheck4.js
new file mode 100644
index 00000000000..630bc869c58
--- /dev/null
+++ b/tests/baselines/reference/ES5For-ofTypeCheck4.js
@@ -0,0 +1,9 @@
+//// [ES5For-ofTypeCheck4.ts]
+var union: string | string[];
+for (const v of union) { }
+
+//// [ES5For-ofTypeCheck4.js]
+var union;
+for (var _i = 0; _i < union.length; _i++) {
+    var v = union[_i];
+}
diff --git a/tests/baselines/reference/ES5For-ofTypeCheck4.types b/tests/baselines/reference/ES5For-ofTypeCheck4.types
new file mode 100644
index 00000000000..4f5721a0604
--- /dev/null
+++ b/tests/baselines/reference/ES5For-ofTypeCheck4.types
@@ -0,0 +1,8 @@
+=== tests/cases/conformance/statements/for-ofStatements/ES5For-ofTypeCheck4.ts ===
+var union: string | string[];
+>union : string | string[]
+
+for (const v of union) { }
+>v : string
+>union : string | string[]
+
diff --git a/tests/baselines/reference/ES5For-ofTypeCheck5.js b/tests/baselines/reference/ES5For-ofTypeCheck5.js
new file mode 100644
index 00000000000..2e6b47f779d
--- /dev/null
+++ b/tests/baselines/reference/ES5For-ofTypeCheck5.js
@@ -0,0 +1,9 @@
+//// [ES5For-ofTypeCheck5.ts]
+var union: string | number[];
+for (var v of union) { }
+
+//// [ES5For-ofTypeCheck5.js]
+var union;
+for (var _i = 0; _i < union.length; _i++) {
+    var v = union[_i];
+}
diff --git a/tests/baselines/reference/ES5For-ofTypeCheck5.types b/tests/baselines/reference/ES5For-ofTypeCheck5.types
new file mode 100644
index 00000000000..ed3d13f3918
--- /dev/null
+++ b/tests/baselines/reference/ES5For-ofTypeCheck5.types
@@ -0,0 +1,8 @@
+=== tests/cases/conformance/statements/for-ofStatements/ES5For-ofTypeCheck5.ts ===
+var union: string | number[];
+>union : string | number[]
+
+for (var v of union) { }
+>v : string | number
+>union : string | number[]
+
diff --git a/tests/baselines/reference/ES5For-ofTypeCheck6.js b/tests/baselines/reference/ES5For-ofTypeCheck6.js
new file mode 100644
index 00000000000..9249020b9d4
--- /dev/null
+++ b/tests/baselines/reference/ES5For-ofTypeCheck6.js
@@ -0,0 +1,9 @@
+//// [ES5For-ofTypeCheck6.ts]
+var union: string[] | number[];
+for (var v of union) { }
+
+//// [ES5For-ofTypeCheck6.js]
+var union;
+for (var _i = 0; _i < union.length; _i++) {
+    var v = union[_i];
+}
diff --git a/tests/baselines/reference/ES5For-ofTypeCheck6.types b/tests/baselines/reference/ES5For-ofTypeCheck6.types
new file mode 100644
index 00000000000..87999d9b0ca
--- /dev/null
+++ b/tests/baselines/reference/ES5For-ofTypeCheck6.types
@@ -0,0 +1,8 @@
+=== tests/cases/conformance/statements/for-ofStatements/ES5For-ofTypeCheck6.ts ===
+var union: string[] | number[];
+>union : string[] | number[]
+
+for (var v of union) { }
+>v : string | number
+>union : string[] | number[]
+
diff --git a/tests/baselines/reference/ES5For-ofTypeCheck7.errors.txt b/tests/baselines/reference/ES5For-ofTypeCheck7.errors.txt
new file mode 100644
index 00000000000..9006b5a2779
--- /dev/null
+++ b/tests/baselines/reference/ES5For-ofTypeCheck7.errors.txt
@@ -0,0 +1,8 @@
+tests/cases/conformance/statements/for-ofStatements/ES5For-ofTypeCheck7.ts(2,15): error TS2461: Type 'number' is not an array type.
+
+
+==== tests/cases/conformance/statements/for-ofStatements/ES5For-ofTypeCheck7.ts (1 errors) ====
+    var union: string | number;
+    for (var v of union) { }
+                  ~~~~~
+!!! error TS2461: Type 'number' is not an array type.
\ No newline at end of file
diff --git a/tests/baselines/reference/ES5For-ofTypeCheck7.js b/tests/baselines/reference/ES5For-ofTypeCheck7.js
new file mode 100644
index 00000000000..d5b74a24728
--- /dev/null
+++ b/tests/baselines/reference/ES5For-ofTypeCheck7.js
@@ -0,0 +1,9 @@
+//// [ES5For-ofTypeCheck7.ts]
+var union: string | number;
+for (var v of union) { }
+
+//// [ES5For-ofTypeCheck7.js]
+var union;
+for (var _i = 0; _i < union.length; _i++) {
+    var v = union[_i];
+}
diff --git a/tests/baselines/reference/ES5For-ofTypeCheck8.errors.txt b/tests/baselines/reference/ES5For-ofTypeCheck8.errors.txt
new file mode 100644
index 00000000000..0cb52dbb21b
--- /dev/null
+++ b/tests/baselines/reference/ES5For-ofTypeCheck8.errors.txt
@@ -0,0 +1,11 @@
+tests/cases/conformance/statements/for-ofStatements/ES5For-ofTypeCheck8.ts(3,6): error TS2322: Type 'string | number | symbol' is not assignable to type 'symbol'.
+  Type 'string' is not assignable to type 'symbol'.
+
+
+==== tests/cases/conformance/statements/for-ofStatements/ES5For-ofTypeCheck8.ts (1 errors) ====
+    var union: string | string[]| number[]| symbol[];
+    var v: symbol;
+    for (v of union) { }
+         ~
+!!! error TS2322: Type 'string | number | symbol' is not assignable to type 'symbol'.
+!!! error TS2322:   Type 'string' is not assignable to type 'symbol'.
\ No newline at end of file
diff --git a/tests/baselines/reference/ES5For-ofTypeCheck8.js b/tests/baselines/reference/ES5For-ofTypeCheck8.js
new file mode 100644
index 00000000000..d73aea1cb7b
--- /dev/null
+++ b/tests/baselines/reference/ES5For-ofTypeCheck8.js
@@ -0,0 +1,11 @@
+//// [ES5For-ofTypeCheck8.ts]
+var union: string | string[]| number[]| symbol[];
+var v: symbol;
+for (v of union) { }
+
+//// [ES5For-ofTypeCheck8.js]
+var union;
+var v;
+for (var _i = 0; _i < union.length; _i++) {
+    v = union[_i];
+}
diff --git a/tests/baselines/reference/ES5For-ofTypeCheck9.errors.txt b/tests/baselines/reference/ES5For-ofTypeCheck9.errors.txt
new file mode 100644
index 00000000000..156eb188803
--- /dev/null
+++ b/tests/baselines/reference/ES5For-ofTypeCheck9.errors.txt
@@ -0,0 +1,8 @@
+tests/cases/conformance/statements/for-ofStatements/ES5For-ofTypeCheck9.ts(2,15): error TS2461: Type 'number | symbol | string[]' is not an array type.
+
+
+==== tests/cases/conformance/statements/for-ofStatements/ES5For-ofTypeCheck9.ts (1 errors) ====
+    var union: string | string[] | number | symbol;
+    for (let v of union) { }
+                  ~~~~~
+!!! error TS2461: Type 'number | symbol | string[]' is not an array type.
\ No newline at end of file
diff --git a/tests/baselines/reference/ES5For-ofTypeCheck9.js b/tests/baselines/reference/ES5For-ofTypeCheck9.js
new file mode 100644
index 00000000000..6c7465d10ec
--- /dev/null
+++ b/tests/baselines/reference/ES5For-ofTypeCheck9.js
@@ -0,0 +1,9 @@
+//// [ES5For-ofTypeCheck9.ts]
+var union: string | string[] | number | symbol;
+for (let v of union) { }
+
+//// [ES5For-ofTypeCheck9.js]
+var union;
+for (var _i = 0; _i < union.length; _i++) {
+    var v = union[_i];
+}
diff --git a/tests/cases/conformance/statements/for-ofStatements/ES3For-ofTypeCheck1.ts b/tests/cases/conformance/statements/for-ofStatements/ES3For-ofTypeCheck1.ts
new file mode 100644
index 00000000000..ec930d826f9
--- /dev/null
+++ b/tests/cases/conformance/statements/for-ofStatements/ES3For-ofTypeCheck1.ts
@@ -0,0 +1,2 @@
+//@target: ES3
+for (var v of "") { }
\ No newline at end of file
diff --git a/tests/cases/conformance/statements/for-ofStatements/ES3For-ofTypeCheck2.ts b/tests/cases/conformance/statements/for-ofStatements/ES3For-ofTypeCheck2.ts
new file mode 100644
index 00000000000..d382ef20e4c
--- /dev/null
+++ b/tests/cases/conformance/statements/for-ofStatements/ES3For-ofTypeCheck2.ts
@@ -0,0 +1,2 @@
+//@target: ES3
+for (var v of [true]) { }
\ No newline at end of file
diff --git a/tests/cases/conformance/statements/for-ofStatements/ES3For-ofTypeCheck4.ts b/tests/cases/conformance/statements/for-ofStatements/ES3For-ofTypeCheck4.ts
new file mode 100644
index 00000000000..b5547b936ae
--- /dev/null
+++ b/tests/cases/conformance/statements/for-ofStatements/ES3For-ofTypeCheck4.ts
@@ -0,0 +1,3 @@
+//@target: ES3
+var union: string | string[];
+for (const v of union) { }
\ No newline at end of file
diff --git a/tests/cases/conformance/statements/for-ofStatements/ES3For-ofTypeCheck6.ts b/tests/cases/conformance/statements/for-ofStatements/ES3For-ofTypeCheck6.ts
new file mode 100644
index 00000000000..6167d78d179
--- /dev/null
+++ b/tests/cases/conformance/statements/for-ofStatements/ES3For-ofTypeCheck6.ts
@@ -0,0 +1,3 @@
+//@target: ES3
+var union: string[] | number[];
+for (var v of union) { }
\ No newline at end of file
diff --git a/tests/cases/conformance/statements/for-ofStatements/ES5For-ofTypeCheck1.ts b/tests/cases/conformance/statements/for-ofStatements/ES5For-ofTypeCheck1.ts
new file mode 100644
index 00000000000..3b27caf3fe9
--- /dev/null
+++ b/tests/cases/conformance/statements/for-ofStatements/ES5For-ofTypeCheck1.ts
@@ -0,0 +1,2 @@
+//@target: ES5
+for (var v of "") { }
\ No newline at end of file
diff --git a/tests/cases/conformance/statements/for-ofStatements/ES5For-ofTypeCheck10.ts b/tests/cases/conformance/statements/for-ofStatements/ES5For-ofTypeCheck10.ts
new file mode 100644
index 00000000000..185641d0804
--- /dev/null
+++ b/tests/cases/conformance/statements/for-ofStatements/ES5For-ofTypeCheck10.ts
@@ -0,0 +1,15 @@
+//@target: ES5
+for (var v of new StringIterator) { }
+
+// In ES3/5, you cannot for...of over an arbitrary iterable.
+class StringIterator {
+    next() {
+        return {
+            done: true,
+            value: ""
+        };
+    }
+    [Symbol.iterator]() {
+        return this;
+    }
+}
\ No newline at end of file
diff --git a/tests/cases/conformance/statements/for-ofStatements/ES5For-ofTypeCheck11.ts b/tests/cases/conformance/statements/for-ofStatements/ES5For-ofTypeCheck11.ts
new file mode 100644
index 00000000000..a39371a4843
--- /dev/null
+++ b/tests/cases/conformance/statements/for-ofStatements/ES5For-ofTypeCheck11.ts
@@ -0,0 +1,4 @@
+//@target: ES5
+var union: string | number[];
+var v: string;
+for (v of union) { }
\ No newline at end of file
diff --git a/tests/cases/conformance/statements/for-ofStatements/ES5For-ofTypeCheck2.ts b/tests/cases/conformance/statements/for-ofStatements/ES5For-ofTypeCheck2.ts
new file mode 100644
index 00000000000..2e22731a78a
--- /dev/null
+++ b/tests/cases/conformance/statements/for-ofStatements/ES5For-ofTypeCheck2.ts
@@ -0,0 +1,2 @@
+//@target: ES5
+for (var v of [true]) { }
\ No newline at end of file
diff --git a/tests/cases/conformance/statements/for-ofStatements/ES5For-ofTypeCheck3.ts b/tests/cases/conformance/statements/for-ofStatements/ES5For-ofTypeCheck3.ts
new file mode 100644
index 00000000000..cc7f09df670
--- /dev/null
+++ b/tests/cases/conformance/statements/for-ofStatements/ES5For-ofTypeCheck3.ts
@@ -0,0 +1,3 @@
+//@target: ES5
+var tuple: [string, number] = ["", 0];
+for (var v of tuple) { }
\ No newline at end of file
diff --git a/tests/cases/conformance/statements/for-ofStatements/ES5For-ofTypeCheck4.ts b/tests/cases/conformance/statements/for-ofStatements/ES5For-ofTypeCheck4.ts
new file mode 100644
index 00000000000..dc8388c0576
--- /dev/null
+++ b/tests/cases/conformance/statements/for-ofStatements/ES5For-ofTypeCheck4.ts
@@ -0,0 +1,3 @@
+//@target: ES5
+var union: string | string[];
+for (const v of union) { }
\ No newline at end of file
diff --git a/tests/cases/conformance/statements/for-ofStatements/ES5For-ofTypeCheck5.ts b/tests/cases/conformance/statements/for-ofStatements/ES5For-ofTypeCheck5.ts
new file mode 100644
index 00000000000..f0218bd57f9
--- /dev/null
+++ b/tests/cases/conformance/statements/for-ofStatements/ES5For-ofTypeCheck5.ts
@@ -0,0 +1,3 @@
+//@target: ES5
+var union: string | number[];
+for (var v of union) { }
\ No newline at end of file
diff --git a/tests/cases/conformance/statements/for-ofStatements/ES5For-ofTypeCheck6.ts b/tests/cases/conformance/statements/for-ofStatements/ES5For-ofTypeCheck6.ts
new file mode 100644
index 00000000000..46cc82af983
--- /dev/null
+++ b/tests/cases/conformance/statements/for-ofStatements/ES5For-ofTypeCheck6.ts
@@ -0,0 +1,3 @@
+//@target: ES5
+var union: string[] | number[];
+for (var v of union) { }
\ No newline at end of file
diff --git a/tests/cases/conformance/statements/for-ofStatements/ES5For-ofTypeCheck7.ts b/tests/cases/conformance/statements/for-ofStatements/ES5For-ofTypeCheck7.ts
new file mode 100644
index 00000000000..4f7dd1c6d3f
--- /dev/null
+++ b/tests/cases/conformance/statements/for-ofStatements/ES5For-ofTypeCheck7.ts
@@ -0,0 +1,3 @@
+//@target: ES5
+var union: string | number;
+for (var v of union) { }
\ No newline at end of file
diff --git a/tests/cases/conformance/statements/for-ofStatements/ES5For-ofTypeCheck8.ts b/tests/cases/conformance/statements/for-ofStatements/ES5For-ofTypeCheck8.ts
new file mode 100644
index 00000000000..2c9f3b63d1d
--- /dev/null
+++ b/tests/cases/conformance/statements/for-ofStatements/ES5For-ofTypeCheck8.ts
@@ -0,0 +1,4 @@
+//@target: ES5
+var union: string | string[]| number[]| symbol[];
+var v: symbol;
+for (v of union) { }
\ No newline at end of file
diff --git a/tests/cases/conformance/statements/for-ofStatements/ES5For-ofTypeCheck9.ts b/tests/cases/conformance/statements/for-ofStatements/ES5For-ofTypeCheck9.ts
new file mode 100644
index 00000000000..3c68f329f0e
--- /dev/null
+++ b/tests/cases/conformance/statements/for-ofStatements/ES5For-ofTypeCheck9.ts
@@ -0,0 +1,3 @@
+//@target: ES5
+var union: string | string[] | number | symbol;
+for (let v of union) { }
\ No newline at end of file