From 5ea146334a14abf2f58232a261cea5a83a4652f7 Mon Sep 17 00:00:00 2001
From: Anders Hejlsberg <Anders Hejlsberg>
Date: Thu, 23 Mar 2017 11:23:26 -0700
Subject: [PATCH] Add regression test

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

diff --git a/tests/cases/compiler/deeplyNestedCheck.ts b/tests/cases/compiler/deeplyNestedCheck.ts
new file mode 100644
index 00000000000..e95233af985
--- /dev/null
+++ b/tests/cases/compiler/deeplyNestedCheck.ts
@@ -0,0 +1,9 @@
+// Repro from #14794
+
+interface DataSnapshot<X = {}> {
+  child(path: string): DataSnapshot;
+}
+
+interface Snapshot<T> extends DataSnapshot {
+  child<U extends keyof T>(path: U): Snapshot<T[U]>;
+}