Wrong spread parameters type inference in function with all spread parameters overloads

Bug Report

🔎 Search Terms

overload tuple spread

⏯ Playground Link

Playground link with relevant code

💻 Code

type A<K extends [any], V extends [any]> =
  & { (...args: [...K]): void }
  & { (...args: [...K, ...V]): void }

// Now: (parameter) args: ([...K][0] | [...K, ...V][0])[]
// Expected: (parameter) args: [...K] | [...K, ...V]
const f = <K extends [any], V extends [any]>(): A<K, V> => (...args) => {}

🙁 Actual behavior

args have type ([...K][0] | [...K, ...V][0])[]

🙂 Expected behavior

args have type [...K] | [...K, ...V]

Beginne mit dem verlinkten TypeScript Playground und reduziere das Beispiel, wobei die Overloads mit Tuple-Spreads erhalten bleiben. Verfolge, wie der Compiler den Restparameter für die geschnittenen Aufrufsignaturen inferiert, und füge anschließend einen Regressionstest hinzu, der die gezeigten tatsächlichen und erwarteten Typen abdeckt; fertig bedeutet, dass args als Tupel-Union und nicht als Array von Element-Unionen inferiert wird.