Add regression tests

Author: ahejlsberg

tests/baselines/reference/controlFlowNoIntermediateErrors.symbols

@@ -0,0 +1,43 @@
+=== tests/cases/conformance/controlFlow/controlFlowNoIntermediateErrors.ts ===
+// Repros from #46475
+
+function f1() {
+>f1 : Symbol(f1, Decl(controlFlowNoIntermediateErrors.ts, 0, 0))
+
+    let code: 0 | 1 | 2 = 0;
+>code : Symbol(code, Decl(controlFlowNoIntermediateErrors.ts, 3, 7))
+
+    const otherCodes: (0 | 1 | 2)[] = [2, 0, 1, 0, 2, 2, 2, 0, 1, 0, 2, 1, 1, 0, 2, 1];
+>otherCodes : Symbol(otherCodes, Decl(controlFlowNoIntermediateErrors.ts, 4, 9))
+
+    for (const code2 of otherCodes) {
+>code2 : Symbol(code2, Decl(controlFlowNoIntermediateErrors.ts, 5, 14))
+>otherCodes : Symbol(otherCodes, Decl(controlFlowNoIntermediateErrors.ts, 4, 9))
+
+        if (code2 === 0) {        
+>code2 : Symbol(code2, Decl(controlFlowNoIntermediateErrors.ts, 5, 14))
+
+            code = code === 2 ? 1 : 0;
+>code : Symbol(code, Decl(controlFlowNoIntermediateErrors.ts, 3, 7))
+>code : Symbol(code, Decl(controlFlowNoIntermediateErrors.ts, 3, 7))
+        }
+        else {
+            code = 2;
+>code : Symbol(code, Decl(controlFlowNoIntermediateErrors.ts, 3, 7))
+        }
+    }
+}
+
+function f2() {
+>f2 : Symbol(f2, Decl(controlFlowNoIntermediateErrors.ts, 13, 1))
+
+    let code: 0 | 1 = 0;
+>code : Symbol(code, Decl(controlFlowNoIntermediateErrors.ts, 16, 7))
+
+    while (true) {
+        code = code === 1 ? 0 : 1;
+>code : Symbol(code, Decl(controlFlowNoIntermediateErrors.ts, 16, 7))
+>code : Symbol(code, Decl(controlFlowNoIntermediateErrors.ts, 16, 7))
+    }
+}
+

tests/baselines/reference/controlFlowNoIntermediateErrors.types

@@ -0,0 +1,80 @@
+=== tests/cases/conformance/controlFlow/controlFlowNoIntermediateErrors.ts ===
+// Repros from #46475
+
+function f1() {
+>f1 : () => void
+
+    let code: 0 | 1 | 2 = 0;
+>code : 0 | 1 | 2
+>0 : 0
+
+    const otherCodes: (0 | 1 | 2)[] = [2, 0, 1, 0, 2, 2, 2, 0, 1, 0, 2, 1, 1, 0, 2, 1];
+>otherCodes : (0 | 1 | 2)[]
+>[2, 0, 1, 0, 2, 2, 2, 0, 1, 0, 2, 1, 1, 0, 2, 1] : (0 | 1 | 2)[]
+>2 : 2
+>0 : 0
+>1 : 1
+>0 : 0
+>2 : 2
+>2 : 2
+>2 : 2
+>0 : 0
+>1 : 1
+>0 : 0
+>2 : 2
+>1 : 1
+>1 : 1
+>0 : 0
+>2 : 2
+>1 : 1
+
+    for (const code2 of otherCodes) {
+>code2 : 0 | 1 | 2
+>otherCodes : (0 | 1 | 2)[]
+
+        if (code2 === 0) {        
+>code2 === 0 : boolean
+>code2 : 0 | 1 | 2
+>0 : 0
+
+            code = code === 2 ? 1 : 0;
+>code = code === 2 ? 1 : 0 : 0 | 1
+>code : 0 | 1 | 2
+>code === 2 ? 1 : 0 : 0 | 1
+>code === 2 : boolean
+>code : 0 | 1 | 2
+>2 : 2
+>1 : 1
+>0 : 0
+        }
+        else {
+            code = 2;
+>code = 2 : 2
+>code : 0 | 1 | 2
+>2 : 2
+        }
+    }
+}
+
+function f2() {
+>f2 : () => void
+
+    let code: 0 | 1 = 0;
+>code : 0 | 1
+>0 : 0
+
+    while (true) {
+>true : true
+
+        code = code === 1 ? 0 : 1;
+>code = code === 1 ? 0 : 1 : 0 | 1
+>code : 0 | 1
+>code === 1 ? 0 : 1 : 0 | 1
+>code === 1 : boolean
+>code : 0 | 1
+>1 : 1
+>0 : 0
+>1 : 1
+    }
+}
+

tests/cases/conformance/controlFlow/controlFlowNoIntermediateErrors.ts

@@ -0,0 +1,24 @@
+// @strict: true
+// @noEmit: true
+
+// Repros from #46475
+
+function f1() {
+    let code: 0 | 1 | 2 = 0;
+    const otherCodes: (0 | 1 | 2)[] = [2, 0, 1, 0, 2, 2, 2, 0, 1, 0, 2, 1, 1, 0, 2, 1];
+    for (const code2 of otherCodes) {
+        if (code2 === 0) {        
+            code = code === 2 ? 1 : 0;
+        }
+        else {
+            code = 2;
+        }
+    }
+}
+
+function f2() {
+    let code: 0 | 1 = 0;
+    while (true) {
+        code = code === 1 ? 0 : 1;
+    }
+}