Tail-Recursion Elimination on Conditional Types

Bug Report

🔎 Search Terms

recursion，instantiation，Tail-Recursion

🕗 Version & Regression Information

• This is the behavior in every version I tried

⏯ Playground Link

Playground link with relevant code

💻 Code

type A = { a: string, b: number }
type B = { a: number, b: string }

type UnionTheTypeOfTheSameKey<R, H> = Omit<R, keyof H> & { [k in keyof H]: k extends keyof R ? R[k] | H[k] : H[k] }

type compute<T> = { [k in keyof T]: T[k] }

type foo<T extends object[], result = {}> = T extends [infer head extends object, ...infer rest extends object[]]
    ? foo<rest, UnionTheTypeOfTheSameKey<result, head>> : result

//  expect ok type test = {a:string|number,b:string|number}
type test = compute<foo<[A, B,]>>

// When the foo length is greater than 33  The result is wrong. type test1 = {a:any,b:any}
type test1 = compute<foo<[A, B, A, B, A, B, A, B, A, B, A, B, A, B, A, B, A, B, A, B, A, B, A, B, A, B, A, B, A, B, A, B, A, B]>>

🙁 Actual behavior

// When the foo length is greater than 33 The expected is wrong. type test1 = {a:any,b:any}
type test1 = compute<foo<[A, B, A, B, A, B, A, B, A, B, A, B, A, B, A, B, A, B, A, B, A, B, A, B, A, B, A, B, A, B, A, B, A, B]>>

🙂 Expected behavior

// When the foo length is Less than 999 expected test1 = {a:string|number,b:string|number}
type test1 = compute<foo<[A, B, A, B, A, B, A, B, A, B, A, B, A, B, A, B, A, B, A, B, A, B, A, B, A, B, A, B, A, B, A, B, A, B]>>

Inizia riproducendo l’esempio di tipo condizionale ricorsivo nel TypeScript Playground collegato usando la versione indicata, quindi confronta il risultato con il tipo previsto e con le versioni più recenti. Il lavoro è completato quando l’esempio produce {a: string|number, b: string|number} per input più brevi di 999 elementi invece di espandersi a any.