From 02a3a74e3b77d079b0dfbcc4c0b68bbda6984aa8 Mon Sep 17 00:00:00 2001
From: Anders Hejlsberg <andersh@microsoft.com>
Date: Wed, 21 Mar 2018 10:03:48 -0700
Subject: [PATCH] Add regression test

---
 tests/cases/conformance/types/conditional/inferTypes2.ts | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 tests/cases/conformance/types/conditional/inferTypes2.ts

diff --git a/tests/cases/conformance/types/conditional/inferTypes2.ts b/tests/cases/conformance/types/conditional/inferTypes2.ts
new file mode 100644
index 00000000000..82280b6b2e3
--- /dev/null
+++ b/tests/cases/conformance/types/conditional/inferTypes2.ts
@@ -0,0 +1,9 @@
+// @strict: true
+// @declaration: true
+
+// Repro from #22755
+
+export declare function foo<T>(obj: T): T extends () => infer P ? P : never;
+export function bar<T>(obj: T) {
+    return foo(obj);
+}