From ce5a3f466d281695d700fbd08dcb92a685340809 Mon Sep 17 00:00:00 2001
From: Anders Hejlsberg <andersh@microsoft.com>
Date: Mon, 8 Aug 2016 09:44:43 -0700
Subject: [PATCH] Add more tests

---
 tests/cases/compiler/controlFlowInstanceof.ts | 19 ++++++++++++
 .../discriminantsAndTypePredicates.ts         | 31 +++++++++++++++++++
 2 files changed, 50 insertions(+)
 create mode 100644 tests/cases/compiler/discriminantsAndTypePredicates.ts

diff --git a/tests/cases/compiler/controlFlowInstanceof.ts b/tests/cases/compiler/controlFlowInstanceof.ts
index 229a00236ba..56f3ff97e4c 100644
--- a/tests/cases/compiler/controlFlowInstanceof.ts
+++ b/tests/cases/compiler/controlFlowInstanceof.ts
@@ -77,4 +77,23 @@ function foo(x: A | undefined) {
         x;  // A
     }
     x;  // A
+}
+
+// X is neither assignable to Y nor a subtype of Y
+// Y is assignable to X, but not a subtype of X
+
+interface X {
+    x?: string;
+}
+
+class Y {
+    y: string;
+}
+
+function goo(x: X) {
+    x;
+    if (x instanceof Y) {
+        x.y;
+    }
+    x;
 }
\ No newline at end of file
diff --git a/tests/cases/compiler/discriminantsAndTypePredicates.ts b/tests/cases/compiler/discriminantsAndTypePredicates.ts
new file mode 100644
index 00000000000..c21ab7ec8f4
--- /dev/null
+++ b/tests/cases/compiler/discriminantsAndTypePredicates.ts
@@ -0,0 +1,31 @@
+// Repro from #10145
+
+interface A { type: 'A' }
+interface B { type: 'B' }
+
+function isA(x: A | B): x is A { return x.type === 'A'; }
+function isB(x: A | B): x is B { return x.type === 'B'; }
+
+function foo1(x: A | B): any {
+    x;  // A | B
+    if (isA(x)) {
+        return x;  // A
+    }
+    x;  // B
+    if (isB(x)) {
+        return x;  // B
+    }
+    x;  // never
+}
+
+function foo2(x: A | B): any {
+    x;  // A | B
+    if (x.type === 'A') {
+        return x;  // A
+    }
+    x;  // B
+    if (x.type === 'B') {
+        return x;  // B
+    }
+    x;  // never
+}
\ No newline at end of file