diff --git a/tests/cases/compiler/controlFlowArrays.ts b/tests/cases/compiler/controlFlowArrays.ts
index d5eaa9c4320..781b8c09d12 100644
--- a/tests/cases/compiler/controlFlowArrays.ts
+++ b/tests/cases/compiler/controlFlowArrays.ts
@@ -138,4 +138,13 @@ 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[]
 }
\ No newline at end of file