From 2fc14d8ae81ceee5046f1be05c6d5536183d8ef9 Mon Sep 17 00:00:00 2001
From: Nathan Shively-Sanders <nathansa@microsoft.com>
Date: Tue, 5 Sep 2017 10:39:32 -0700
Subject: [PATCH] Remove added type predicates

I forgot that 'f(x): x is T' implies that x is *not* T if f returns
false.
---
 src/compiler/checker.ts | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/compiler/checker.ts b/src/compiler/checker.ts
index 85ac20b4114..8f1f4808741 100644
--- a/src/compiler/checker.ts
+++ b/src/compiler/checker.ts
@@ -9781,7 +9781,7 @@ namespace ts {
             return type.flags & TypeFlags.TypeParameter && !getConstraintFromTypeParameter(<TypeParameter>type);
         }
 
-        function isTypeReferenceWithGenericArguments(type: Type): type is TypeReference {
+        function isTypeReferenceWithGenericArguments(type: Type): boolean {
             return getObjectFlags(type) & ObjectFlags.Reference && some((<TypeReference>type).typeArguments, t => isUnconstrainedTypeParameter(t) || isTypeReferenceWithGenericArguments(t));
         }
 
@@ -9801,7 +9801,7 @@ namespace ts {
                     result += "=" + index;
                 }
                 else if (depth < 4 && isTypeReferenceWithGenericArguments(t)) {
-                    result += "<" + getTypeReferenceId(t, typeParameters, depth + 1) + ">";
+                    result += "<" + getTypeReferenceId(t as TypeReference, typeParameters, depth + 1) + ">";
                 }
                 else {
                     result += "-" + t.id;
@@ -10052,7 +10052,7 @@ namespace ts {
                 getUnionType(types, /*subtypeReduction*/ true);
         }
 
-        function isArrayType(type: Type): type is TypeReference {
+        function isArrayType(type: Type): boolean {
             return getObjectFlags(type) & ObjectFlags.Reference && (<TypeReference>type).target === globalArrayType;
         }