Properly analyze switch statement bypass control flow

ahejlsberg · ahejlsberg · commit a15436cff190 · 2019-11-13T06:45:48.000-08:00
diff --git a/src/compiler/checker.ts b/src/compiler/checker.ts
@@ -19333,7 +19333,7 @@ namespace ts {
                     }
                 }
                 if (bypassFlow) {
-                    const flowType = getTypeAtFlowNode(bypassFlow.antecedent);
+                    const flowType = getTypeAtFlowNode(bypassFlow);
                     const type = getTypeFromFlowType(flowType);
                     // If the bypass flow contributes a type we haven't seen yet and the switch statement
                     // isn't exhaustive, process the bypass flow type. Since exhaustiveness checks increase

Original file line number	Diff line number	Diff line change
`@@ -19333,7 +19333,7 @@ namespace ts {`
`19333`	`19333`	`}`
`19334`	`19334`	`}`
`19335`	`19335`	`if (bypassFlow) {`
`19336`		`- const flowType = getTypeAtFlowNode(bypassFlow.antecedent);`
	`19336`	`+ const flowType = getTypeAtFlowNode(bypassFlow);`
`19337`	`19337`	`const type = getTypeFromFlowType(flowType);`
`19338`	`19338`	`// If the bypass flow contributes a type we haven't seen yet and the switch statement`
`19339`	`19339`	`// isn't exhaustive, process the bypass flow type. Since exhaustiveness checks increase`