diff --git a/src/compiler/checker.ts b/src/compiler/checker.ts
index 96c6642fb26..b17de2a2b74 100644
--- a/src/compiler/checker.ts
+++ b/src/compiler/checker.ts
@@ -6360,6 +6360,10 @@ namespace ts {
                 numberIndexInfo && createIndexInfo(getWidenedType(numberIndexInfo.type), numberIndexInfo.isReadonly));
         }
 
+        function getWidenedConstituentType(type: Type): Type {
+            return type.flags & TypeFlags.Undefined ? type : getWidenedType(type);
+        }
+
         function getWidenedType(type: Type): Type {
             if (type.flags & TypeFlags.RequiresWidening) {
                 if (type.flags & TypeFlags.Undefined) {
@@ -6372,7 +6376,7 @@ namespace ts {
                     return getWidenedTypeOfObjectLiteral(type);
                 }
                 if (type.flags & TypeFlags.Union) {
-                    return getUnionType(map((<UnionType>type).types, getWidenedType), /*noSubtypeReduction*/ true);
+                    return getUnionType(map((<UnionType>type).types, getWidenedConstituentType), /*noSubtypeReduction*/ true);
                 }
                 if (isArrayType(type)) {
                     return createArrayType(getWidenedType((<TypeReference>type).typeArguments[0]));