File tree Expand file tree Collapse file tree
tests/format/typescript/conditional-types Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -428,6 +428,13 @@ printWidth: 80
428428type Foo<T > = T extends ((...a: any[]) => infer R extends string) ? R : never;
429429type Foo<T > = T extends (new (...a: any[]) => infer R extends string) ? R : never;
430430
431+ // Nest
432+ type Foo<T > = T extends (
433+ (...a: any[]) => infer R extends (
434+ T extends ((...a: any[]) => infer R extends string) ? R : never
435+ )
436+ ) ? R : never;
437+
431438// #14275
432439type Test<T > = T extends ((
433440 token: TSESTree.Token
@@ -452,6 +459,15 @@ type Foo<T> = T extends (new (...a: any[]) => infer R extends string)
452459 ? R
453460 : never;
454461
462+ // Nest
463+ type Foo<T > = T extends ((
464+ ...a: any[]
465+ ) => infer R extends T extends ((...a: any[]) => infer R extends string)
466+ ? R
467+ : never)
468+ ? R
469+ : never;
470+
455471// #14275
456472type Test<T > = T extends ((
457473 token: TSESTree.Token
Original file line number Diff line number Diff line change 22type Foo < T > = T extends ( ( ...a : any [ ] ) => infer R extends string ) ? R : never ;
33type Foo < T > = T extends ( new ( ...a : any [ ] ) => infer R extends string ) ? R : never ;
44
5+ // Nest
6+ type Foo < T > = T extends (
7+ ( ...a : any [ ] ) => infer R extends (
8+ T extends ( ( ...a : any [ ] ) => infer R extends string ) ? R : never
9+ )
10+ ) ? R : never ;
11+
512// #14275
613type Test < T > = T extends ( (
714 token : TSESTree . Token
You can’t perform that action at this time.
0 commit comments