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]

Comienza con el TypeScript Playground enlazado y reduce el ejemplo manteniendo los overloads con spreads de tuplas. Traza cómo el compilador infiere el parámetro rest para las firmas de llamada intersecadas y, después, añade una prueba de regresión que cubra los tipos reales y esperados mostrados; el trabajo está terminado cuando args se infiere como la unión de tuplas y no como un array de uniones de elementos.