Stack overflow when spread a tuple type alias inside itself (with conditional type and generic default)

[HerringtonDarkholme]

TypeScript Version: Version 3.0.0-dev.20180628

Search Terms: tuple types

Code

type PromisedTuple<L extends any[], U = (...args: L) => void> =
    U extends (h: infer H, ...args: infer R) ? [Promise<H>, ...PromisedTuple<R>] : []

type Promised = PromisedTuple<[1, 2, 3]> 
// expect [Promise<1>, Promise<2>, Promise<3>]

Expected behavior:
Either produce type in comment above, or produce a compile error.

Actual behavior:

RangeError: Maximum call stack size exceeded at getTypeFromTypeNode

Related Issues: #24897 (comment)

Extended explanation:

This code tries to model the Array#map on a heterogeneous tuple type . It uses conditional type and generic default to work around recursion.

[mhegazy]

c:\test\sandbox>type a.ts
type PromisedTuple<L extends any[], U = (...args: L) => void> =
    U extends (h: infer H, ...args: infer R) => void ?[Promise<H>, ...PromisedTuple<R>] : []

type Promised = PromisedTuple<[1, 2, 3]>
// expect [Promise<1>, Promise<2>, Promise<3>]

c:\test\sandbox>tsc --v
Version 3.0.0-dev.20180629

c:\test\sandbox>tsc a.ts
a.ts:1:6 - error TS2456: Type alias 'PromisedTuple' circularly references itself.

1 type PromisedTuple<L extends any[], U = (...args: L) => void> =
       ~~~~~~~~~~~~~

a.ts:2:68 - error TS2574: A rest element type must be an array type.

2     U extends (h: infer H, ...args: infer R) => void ?[Promise<H>, ...PromisedTuple<R>] : []
                                                                     ~~~~~~~~~~~~~~~~~~~

a.ts:2:71 - error TS2315: Type 'PromisedTuple' is not generic.

2     U extends (h: infer H, ...args: infer R) => void ?[Promise<H>, ...PromisedTuple<R>] : []
                                                                        ~~~~~~~~~~~~~~~~

a.ts:4:17 - error TS2315: Type 'PromisedTuple' is not generic.

4 type Promised = PromisedTuple<[1, 2, 3]>
                  ~~~~~~~~~~~~~~~~~~~~~~~~

[ahejlsberg]

It reproduces with the following (which as no grammatical errors):

type PromisedTuple<L extends any[], U = (...args: L) => void> =
    U extends (h: infer H, ...args: infer R) => [Promise<H>, ...PromisedTuple<R>] ? [] : []

type Promised = PromisedTuple<[1, 2, 3]> 
// expect [Promise<1>, Promise<2>, Promise<3>]

[HerringtonDarkholme]

Sorry I didn't notice lacking return type in function type.

But if the code is sent to compiler as is, compiler does give me a stack overflow.

[jasonHzq]

Sorry I didn't notice lacking return type in function type.

But if the code is sent to compiler as is, compiler does give me a stack overflow.

still error in Typescript v3.2.2

[ahejlsberg]

@jasonHzq The error is expected behavior. This issue is about the stack overflow, which no longer happens.