From f7d8e3befccd86c348d69083fdf823c49169ee06 Mon Sep 17 00:00:00 2001
From: Anders Hejlsberg <andersh@microsoft.com>
Date: Mon, 16 Jan 2017 12:18:15 -0800
Subject: [PATCH] Add regression test

---
 tests/cases/conformance/types/keyof/keyofAndIndexedAccess.ts | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/tests/cases/conformance/types/keyof/keyofAndIndexedAccess.ts b/tests/cases/conformance/types/keyof/keyofAndIndexedAccess.ts
index 27e47da177c..a4088e65df4 100644
--- a/tests/cases/conformance/types/keyof/keyofAndIndexedAccess.ts
+++ b/tests/cases/conformance/types/keyof/keyofAndIndexedAccess.ts
@@ -501,3 +501,7 @@ function updateIds2<T extends { [x: string]: string }, K extends keyof T>(
     var x = obj[key];
     stringMap[x]; // Should be OK.
 }
+
+// Repro from #13514
+
+declare function head<T extends Array<any>>(list: T): T[0];