Narrowing unknown by typeof object to object | null

sheetalkamat · sheetalkamat · commit f1a179a314fd · 2018-08-31T15:24:53.000-07:00
Fixes microsoft#26327
diff --git a/src/compiler/checker.ts b/src/compiler/checker.ts
@@ -14925,6 +14925,9 @@ namespace ts {
                     return type;
                 }
                 if (assumeTrue && !(type.flags & TypeFlags.Union)) {
+                    if (type.flags & TypeFlags.Unknown && literal.text === "object") {
+                        return getUnionType([nonPrimitiveType, nullType]);
+                    }
                     // We narrow a non-union type to an exact primitive type if the non-union type
                     // is a supertype of that primitive type. For example, type 'any' can be narrowed
                     // to one of the primitive types.
diff --git a/tests/baselines/reference/narrowUnknownByTypeofObject.js b/tests/baselines/reference/narrowUnknownByTypeofObject.js
@@ -0,0 +1,14 @@
+//// [narrowUnknownByTypeofObject.ts]
+function foo(x: unknown) {
+    if (typeof x === "object") {
+        x
+    }
+}
+
+
+//// [narrowUnknownByTypeofObject.js]
+function foo(x) {
+    if (typeof x === "object") {
+        x;
+    }
+}
diff --git a/tests/baselines/reference/narrowUnknownByTypeofObject.symbols b/tests/baselines/reference/narrowUnknownByTypeofObject.symbols
@@ -0,0 +1,13 @@
+=== tests/cases/compiler/narrowUnknownByTypeofObject.ts ===
+function foo(x: unknown) {
+>foo : Symbol(foo, Decl(narrowUnknownByTypeofObject.ts, 0, 0))
+>x : Symbol(x, Decl(narrowUnknownByTypeofObject.ts, 0, 13))
+
+    if (typeof x === "object") {
+>x : Symbol(x, Decl(narrowUnknownByTypeofObject.ts, 0, 13))
+
+        x
+>x : Symbol(x, Decl(narrowUnknownByTypeofObject.ts, 0, 13))
+    }
+}
+
diff --git a/tests/baselines/reference/narrowUnknownByTypeofObject.types b/tests/baselines/reference/narrowUnknownByTypeofObject.types
@@ -0,0 +1,16 @@
+=== tests/cases/compiler/narrowUnknownByTypeofObject.ts ===
+function foo(x: unknown) {
+>foo : (x: unknown) => void
+>x : unknown
+
+    if (typeof x === "object") {
+>typeof x === "object" : boolean
+>typeof x : "string" | "number" | "boolean" | "symbol" | "undefined" | "object" | "function"
+>x : unknown
+>"object" : "object"
+
+        x
+>x : object | null
+    }
+}
+
diff --git a/tests/cases/compiler/narrowUnknownByTypeofObject.ts b/tests/cases/compiler/narrowUnknownByTypeofObject.ts
@@ -0,0 +1,6 @@
+// @strictNullChecks: true
+function foo(x: unknown) {
+    if (typeof x === "object") {
+        x
+    }
+}
