Add another test

This commit is contained in:
Anders Hejlsberg 2018-03-28 15:21:29 -07:00 committed by Mohamed Hegazy
parent c0b96df417
commit 8f25748334

View File

@ -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;