From e535c0c29b675f749091a05926cdff5a7ecb75f9 Mon Sep 17 00:00:00 2001
From: Daniel Rosenwasser <Daniel.Rosenwasser@microsoft.com>
Date: Fri, 30 Dec 2016 12:29:59 -0500
Subject: [PATCH] Accepted baselines.

---
 ...wingGenericTypeFromInstanceof01.errors.txt | 37 +++++++++++++++++++
 1 file changed, 37 insertions(+)
 create mode 100644 tests/baselines/reference/narrowingGenericTypeFromInstanceof01.errors.txt

diff --git a/tests/baselines/reference/narrowingGenericTypeFromInstanceof01.errors.txt b/tests/baselines/reference/narrowingGenericTypeFromInstanceof01.errors.txt
new file mode 100644
index 00000000000..c686cd7a7cf
--- /dev/null
+++ b/tests/baselines/reference/narrowingGenericTypeFromInstanceof01.errors.txt
@@ -0,0 +1,37 @@
+tests/cases/conformance/types/typeRelationships/instanceOf/narrowingGenericTypeFromInstanceof01.ts(13,17): error TS2345: Argument of type 'A<T> | B<T>' is not assignable to parameter of type 'A<T>'.
+  Type 'B<T>' is not assignable to type 'A<T>'.
+    Property 'a' is missing in type 'B<T>'.
+
+
+==== tests/cases/conformance/types/typeRelationships/instanceOf/narrowingGenericTypeFromInstanceof01.ts (1 errors) ====
+    class A<T> {
+        constructor(private a: string) { }
+    }
+    
+    class B<T> {
+    }
+    
+    function acceptA<T>(a: A<T>) { }
+    function acceptB<T>(b: B<T>) { }
+    
+    function test<T>(x: A<T> | B<T>) {
+        if (x instanceof B) {
+            acceptA(x);
+                    ~
+!!! error TS2345: Argument of type 'A<T> | B<T>' is not assignable to parameter of type 'A<T>'.
+!!! error TS2345:   Type 'B<T>' is not assignable to type 'A<T>'.
+!!! error TS2345:     Property 'a' is missing in type 'B<T>'.
+        }
+    
+        if (x instanceof A) {
+            acceptA(x);
+        }
+    
+        if (x instanceof B) {
+            acceptB(x);
+        }
+    
+        if (x instanceof B) {
+            acceptB(x);
+        }
+    }
\ No newline at end of file