Actually change fallback to candidate type otherwise any narrowing breaks

jack-williams · jack-williams · commit a55d6fb2dfd2 · 2018-09-18T12:39:35.000+01:00
diff --git a/src/compiler/checker.ts b/src/compiler/checker.ts
@@ -15268,7 +15268,7 @@ namespace ts {
                         case "object":
                             return type.flags & TypeFlags.Unknown ? getUnionType([nonPrimitiveType, nullType]) : type;
                         default:
-                            return typeofTypesByName.get(text) || unknownType;
+                            return typeofTypesByName.get(text) || type;
                     }
                 };
                 if (!(hasDefaultClause || (type.flags & TypeFlags.Union))) {

Original file line number	Diff line number	Diff line change
`@@ -15268,7 +15268,7 @@ namespace ts {`
`15268`	`15268`	`case "object":`
`15269`	`15269`	`return type.flags & TypeFlags.Unknown ? getUnionType([nonPrimitiveType, nullType]) : type;`
`15270`	`15270`	`default:`
`15271`		`- return typeofTypesByName.get(text) \|\| unknownType;`
	`15271`	`+ return typeofTypesByName.get(text) \|\| type;`
`15272`	`15272`	`}`
`15273`	`15273`	`};`
`15274`	`15274`	`if (!(hasDefaultClause \|\| (type.flags & TypeFlags.Union))) {`