microsoft/TypeScript
1
0
Fork 0
mirror of https://github.com/microsoft/TypeScript.git synced 2026-02-14 19:16:17 -06:00
Code Issues Packages Projects Releases 212 Wiki Activity

Add regression test

Browse Source
This commit is contained in:
Anders Hejlsberg 2018-03-21 13:35:15 -07:00 committed by Daniel Rosenwasser
parent 150f437372
commit cf6f39f79d
1 changed files with 8 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
tests/cases/conformance/types/conditional/inferTypes2.ts
View File

@ -1,9 +1,16 @@
// @strict: true
// @declaration: true
// Repro from #22755
// Repros from #22755
export declare function foo<T>(obj: T): T extends () => infer P ? P : never;
export function bar<T>(obj: T) {
return foo(obj);
}
export type BadNested<T> = { x: T extends number ? T : string };
export declare function foo2<T>(obj: T): T extends { [K in keyof BadNested<infer P>]: BadNested<infer P>[K] } ? P : never;
export function bar2<T>(obj: T) {
return foo2(obj);
}