update test case

microsoft · Jul 22, 2021 · b4f2f8c · b4f2f8c
1 parent c14d573
commit b4f2f8c
Show file tree

Hide file tree

Showing 4 changed files with 28 additions and 1 deletion.
diff --git a/tests/baselines/reference/controlFlowForInStatement2.js b/tests/baselines/reference/controlFlowForInStatement2.js
@@ -20,7 +20,10 @@ let stringB: string = 'b';
 if ((stringB as 'b') in c) {
     c; // narrowed to `B`
 }
-
+
+if ((stringB as ('a' | 'b')) in c) {
+    c; // not narrowed
+}
 
 //// [controlFlowForInStatement2.js]
 var keywordA = 'a';
@@ -35,3 +38,6 @@ var stringB = 'b';
 if (stringB in c) {
     c; // narrowed to `B`
 }
+if (stringB in c) {
+    c; // not narrowed
+}
diff --git a/tests/baselines/reference/controlFlowForInStatement2.symbols b/tests/baselines/reference/controlFlowForInStatement2.symbols
@@ -46,3 +46,10 @@ if ((stringB as 'b') in c) {
 >c : Symbol(c, Decl(controlFlowForInStatement2.ts, 6, 13))
 }
 
+if ((stringB as ('a' | 'b')) in c) {
+>stringB : Symbol(stringB, Decl(controlFlowForInStatement2.ts, 16, 3))
+>c : Symbol(c, Decl(controlFlowForInStatement2.ts, 6, 13))
+
+    c; // not narrowed
+>c : Symbol(c, Decl(controlFlowForInStatement2.ts, 6, 13))
+}
diff --git a/tests/baselines/reference/controlFlowForInStatement2.types b/tests/baselines/reference/controlFlowForInStatement2.types
@@ -53,3 +53,13 @@ if ((stringB as 'b') in c) {
 >c : B
 }
 
+if ((stringB as ('a' | 'b')) in c) {
+>(stringB as ('a' | 'b')) in c : boolean
+>(stringB as ('a' | 'b')) : "a" | "b"
+>stringB as ('a' | 'b') : "a" | "b"
+>stringB : string
+>c : A | B
+
+    c; // not narrowed
+>c : A | B
+}
diff --git a/tests/cases/conformance/controlFlow/controlFlowForInStatement2.ts b/tests/cases/conformance/controlFlow/controlFlowForInStatement2.ts
@@ -19,3 +19,7 @@ let stringB: string = 'b';
 if ((stringB as 'b') in c) {
     c; // narrowed to `B`
 }
+
+if ((stringB as ('a' | 'b')) in c) {
+    c; // not narrowed
+}