Add regression test

This commit is contained in:
Anders Hejlsberg 2018-03-28 13:16:29 -07:00 committed by Mohamed Hegazy
parent 53cb993a28
commit 228aff0cfb

View File

@ -215,6 +215,10 @@ type T50 = IsNever<never>; // true
type T51 = IsNever<number>; // false
type T52 = IsNever<any>; // false
function f22<T>(x: T extends (infer U)[] ? U[] : never) {
let e = x[0]; // {}
}
// Repros from #21664
type Eq<T, U> = T extends U ? U extends T ? true : false : false;