Ignore freshness in subtype reduction / Treat Object as {}

microsoft · Jul 13, 2015 · d78fa18 · d78fa18 · JsonFreeman · Jul 15, 2015
1 parent aa26980
commit d78fa18
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/compiler/checker.ts b/src/compiler/checker.ts
@@ -3357,7 +3357,7 @@ namespace ts {
         // signatures, or if the property is actually declared in the type. In a union or intersection
         // type, a property is considered known if it is known in any constituent type.
         function isKnownProperty(type: Type, name: string): boolean {
-            if (type.flags & TypeFlags.ObjectType) {
+            if (type.flags & TypeFlags.ObjectType && type !== globalObjectType) {
                 var resolved = resolveStructuredTypeMembers(type);
                 return !!(resolved.properties.length === 0 ||
                     resolved.stringIndexType ||
@@ -3977,7 +3977,7 @@ namespace ts {
 
         function isSubtypeOfAny(candidate: Type, types: Type[]): boolean {
             for (let type of types) {
-                if (candidate !== type && isTypeSubtypeOf(candidate, type)) {
+                if (candidate !== type && isTypeSubtypeOf(getRegularTypeOfObjectLiteral(candidate), type)) {
                     return true;
                 }
             }