Add regression test

2026-02-05 08:11:30 -06:00 · 2016-09-19 17:06:44 -07:00 · 2016-09-19 17:06:44 -07:00 · 7b1ca047d5
commit 7b1ca047d5
parent ed338013e0
1 changed files with 27 additions and 0 deletions
--- a/tests/cases/compiler/controlFlowWithIncompleteTypes.ts
+++ b/tests/cases/compiler/controlFlowWithIncompleteTypes.ts
@ -0,0 +1,27 @@
+// Repro from #11000
+
+declare var cond: boolean;
+
+function foo1() {
+    let x: string | number | boolean = 0;
+    while (cond) {
+        if (typeof x === "string") {
+            x = x.slice();
+        }
+        else {
+            x = "abc";
+        }
+    }
+}
+
+function foo2() {
+    let x: string | number | boolean = 0;
+    while (cond) {
+        if (typeof x === "number") {
+            x = "abc";
+        }
+        else {
+            x = x.slice();
+        }
+    }
+}