diff --git a/tests/baselines/reference/controlFlowArrays.js b/tests/baselines/reference/controlFlowArrays.js
index 26885aecd8b..c5ec1a7642c 100644
--- a/tests/baselines/reference/controlFlowArrays.js
+++ b/tests/baselines/reference/controlFlowArrays.js
@@ -137,6 +137,15 @@ function f14() {
     x.push("hello");
     x.push(true);
     return x;  // (string | number | boolean)[]
+}
+
+function f15() {
+    let x = [];
+    while (cond()) {
+        while (cond()) {}
+        x.push("hello");
+    }
+    return x;  // string[]
 }
 
 //// [controlFlowArrays.js]
@@ -265,3 +274,11 @@ function f14() {
     x.push(true);
     return x; // (string | number | boolean)[]
 }
+function f15() {
+    var x = [];
+    while (cond()) {
+        while (cond()) { }
+        x.push("hello");
+    }
+    return x; // string[]
+}
diff --git a/tests/baselines/reference/controlFlowArrays.symbols b/tests/baselines/reference/controlFlowArrays.symbols
index 5b5ef7f8506..fd7c6ba89b7 100644
--- a/tests/baselines/reference/controlFlowArrays.symbols
+++ b/tests/baselines/reference/controlFlowArrays.symbols
@@ -348,3 +348,24 @@ function f14() {
     return x;  // (string | number | boolean)[]
 >x : Symbol(x, Decl(controlFlowArrays.ts, 133, 9))
 }
+
+function f15() {
+>f15 : Symbol(f15, Decl(controlFlowArrays.ts, 138, 1))
+
+    let x = [];
+>x : Symbol(x, Decl(controlFlowArrays.ts, 141, 7))
+
+    while (cond()) {
+>cond : Symbol(cond, Decl(controlFlowArrays.ts, 0, 0))
+
+        while (cond()) {}
+>cond : Symbol(cond, Decl(controlFlowArrays.ts, 0, 0))
+
+        x.push("hello");
+>x.push : Symbol(Array.push, Decl(lib.d.ts, --, --))
+>x : Symbol(x, Decl(controlFlowArrays.ts, 141, 7))
+>push : Symbol(Array.push, Decl(lib.d.ts, --, --))
+    }
+    return x;  // string[]
+>x : Symbol(x, Decl(controlFlowArrays.ts, 141, 7))
+}
diff --git a/tests/baselines/reference/controlFlowArrays.types b/tests/baselines/reference/controlFlowArrays.types
index 7b36e4067fa..3fb84215ed7 100644
--- a/tests/baselines/reference/controlFlowArrays.types
+++ b/tests/baselines/reference/controlFlowArrays.types
@@ -445,3 +445,29 @@ function f14() {
     return x;  // (string | number | boolean)[]
 >x : (string | number | boolean)[]
 }
+
+function f15() {
+>f15 : () => string[]
+
+    let x = [];
+>x : any[]
+>[] : never[]
+
+    while (cond()) {
+>cond() : boolean
+>cond : () => boolean
+
+        while (cond()) {}
+>cond() : boolean
+>cond : () => boolean
+
+        x.push("hello");
+>x.push("hello") : number
+>x.push : (...items: any[]) => number
+>x : any[]
+>push : (...items: any[]) => number
+>"hello" : "hello"
+    }
+    return x;  // string[]
+>x : string[]
+}