Add regression test

ahejlsberg · ahejlsberg · commit f7d8e3befccd · 2017-01-16T12:18:15.000-08:00
diff --git 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];

Original file line number	Diff line number	Diff line change
`@@ -501,3 +501,7 @@ function updateIds2<T extends { [x: string]: string }, K extends keyof T>(`
`501`	`501`	`var x = obj[key];`
`502`	`502`	`stringMap[x]; // Should be OK.`
`503`	`503`	`}`
	`504`	`+`
	`505`	`+// Repro from #13514`
	`506`	`+`
	`507`	`+declare function head<T extends Array<any>>(list: T): T[0];`