From 8cd5d61644ff31139a041aa3289608b7f0540d77 Mon Sep 17 00:00:00 2001
From: Anders Hejlsberg <andersh@microsoft.com>
Date: Wed, 10 Apr 2019 17:13:04 -1000
Subject: [PATCH] Add regression test

---
 tests/cases/compiler/genericFunctionInference2.ts | 15 +++++++++++++++
 1 file changed, 15 insertions(+)
 create mode 100644 tests/cases/compiler/genericFunctionInference2.ts

diff --git a/tests/cases/compiler/genericFunctionInference2.ts b/tests/cases/compiler/genericFunctionInference2.ts
new file mode 100644
index 00000000000..56caca847c2
--- /dev/null
+++ b/tests/cases/compiler/genericFunctionInference2.ts
@@ -0,0 +1,15 @@
+// Repro from #30685
+
+type Reducer<S> = (state: S) => S;
+declare function combineReducers<S>(reducers: { [K in keyof S]: Reducer<S[K]> }): Reducer<S>;
+
+type MyState = { combined: { foo: number } };
+declare const foo: Reducer<MyState['combined']['foo']>;
+
+const myReducer1: Reducer<MyState> = combineReducers({
+    combined: combineReducers({ foo }),
+});
+
+const myReducer2 = combineReducers({
+    combined: combineReducers({ foo }),
+});