johnangularjs
diff --git a/‎tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatForSignaturesWithTypePredicates01.ts
Lines changed: 23 additions & 0 deletions b/‎tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatForSignaturesWithTypePredicates01.ts
Lines changed: 23 additions & 0 deletions
diff --git a/‎tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatForSignaturesWithTypePredicates02.ts
Lines changed: 19 additions & 0 deletions b/‎tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatForSignaturesWithTypePredicates02.ts
Lines changed: 19 additions & 0 deletions
diff --git a/‎tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatForSignaturesWithTypePredicates03.ts
Lines changed: 22 additions & 0 deletions b/‎tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatForSignaturesWithTypePredicates03.ts
Lines changed: 22 additions & 0 deletions
diff --git a/‎tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatForSignaturesWithTypePredicates04.ts
Lines changed: 27 additions & 0 deletions b/‎tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatForSignaturesWithTypePredicates04.ts
Lines changed: 27 additions & 0 deletions
@@ -0,0 +1,23 @@
+// @declaration: true
+
+class A {
+    private a;
+}
+
+class B extends A {
+    private b;
+}
+
+function isA(x: any): x is A {
+    return x instanceof A;
+}
+
+function isB(x: any): x is B {
+    return x instanceof B;
+}
+
+let myIsA = isA;
+let myIsB = isB;
+
+myIsA = myIsB;
+myIsB = myIsA;
@@ -0,0 +1,19 @@
+// @declaration: true
+
+class A {
+    private a;
+}
+
+function isA(x: any): x is A {
+    return x instanceof A;
+}
+
+function isAny(x: any): x is any {
+    return x instanceof B;
+}
+
+let myIsA = isA;
+let myIsAny = isAny;
+
+myIsA = myIsAny;
+myIsAny = myIsA;
@@ -0,0 +1,22 @@
+// @declaration: true
+
+interface A {
+    a?;
+}
+
+interface B {
+}
+
+function isA(x: any): x is A {
+    return !!(<A>x).a;
+}
+
+function isB(x: any): x is B {
+    return !!isA(x);
+}
+
+let myIsA = isA;
+let myIsAny = isB;
+
+myIsA = myIsAny;
+myIsAny = myIsA;
@@ -0,0 +1,27 @@
+// @declaration: true
+
+enum E {
+    A = 1,
+    B = 2,
+    C = 3,
+}
+
+function isA(x: any): x is number {
+    return typeof x === "number";
+}
+
+function isB(x: any): x is E {
+    switch (x) {
+        case E.A:
+        case E.B:
+        case E.C:
+            return true;
+    }
+    return false;
+}
+
+let myIsA = isA;
+let myIsB = isB;
+
+myIsA = myIsB;
+myIsB = myIsA;