diff --git a/tests/cases/conformance/types/typeRelationships/instanceOf/narrowingGenericTypeFromInstanceof01.ts b/tests/cases/conformance/types/typeRelationships/instanceOf/narrowingGenericTypeFromInstanceof01.ts
new file mode 100644
index 00000000000..0209d7d3ccf
--- /dev/null
+++ b/tests/cases/conformance/types/typeRelationships/instanceOf/narrowingGenericTypeFromInstanceof01.ts
@@ -0,0 +1,27 @@
+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);
+    }
+
+    if (x instanceof A) {
+        acceptA(x);
+    }
+
+    if (x instanceof B) {
+        acceptB(x);
+    }
+
+    if (x instanceof B) {
+        acceptB(x);
+    }
+}
\ No newline at end of file