Add another test

ahejlsberg · ahejlsberg · commit 83276ce163c8 · 2018-03-28T15:21:29.000-07:00
diff --git a/tests/cases/conformance/types/conditional/conditionalTypes1.ts b/tests/cases/conformance/types/conditional/conditionalTypes1.ts
@@ -219,6 +219,10 @@ function f22<T>(x: T extends (infer U)[] ? U[] : never) {
     let e = x[0];  // {}
 }
 
+function f23<T extends string[]>(x: T extends (infer U)[] ? U[] : never) {
+    let e = x[0];  // string
+}
+
 // Repros from #21664
 
 type Eq<T, U> = T extends U ? U extends T ? true : false : false;

Original file line number	Diff line number	Diff line change
`@@ -219,6 +219,10 @@ function f22<T>(x: T extends (infer U)[] ? U[] : never) {`
`219`	`219`	`let e = x[0]; // {}`
`220`	`220`	`}`
`221`	`221`
	`222`	`+function f23<T extends string[]>(x: T extends (infer U)[] ? U[] : never) {`
	`223`	`+ let e = x[0]; // string`
	`224`	`+}`
	`225`	`+`
`222`	`226`	`// Repros from #21664`
`223`	`227`
`224`	`228`	`type Eq<T, U> = T extends U ? U extends T ? true : false : false;`