getSwitchClauseTypes: exit early if getTypeOfSwitchClause is undefined (microsoft#16865)

Andy · web-flow · commit 815af7da1754 · 2017-07-12T07:45:02.000-07:00
diff --git a/src/compiler/checker.ts b/src/compiler/checker.ts
@@ -11066,8 +11066,14 @@ namespace ts {
             if (!links.switchTypes) {
                 // If all case clauses specify expressions that have unit types, we return an array
                 // of those unit types. Otherwise we return an empty array.
-                const types = map(switchStatement.caseBlock.clauses, getTypeOfSwitchClause);
-                links.switchTypes = !contains(types, undefined) ? types : emptyArray;
+                links.switchTypes = [];
+                for (const clause of switchStatement.caseBlock.clauses) {
+                    const type = getTypeOfSwitchClause(clause);
+                    if (type === undefined) {
+                        return links.switchTypes = emptyArray;
+                    }
+                    links.switchTypes.push(type);
+                }
             }
             return links.switchTypes;
         }
