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]

Inizia con il TypeScript Playground collegato e riduci l’esempio mantenendo gli overload con gli spread di tuple. Traccia il modo in cui il compilatore inferisce il parametro rest per le firme di chiamata intersecate, quindi aggiungi un test di regressione che copra i tipi effettivi e attesi mostrati; il lavoro è concluso quando args viene inferito come un’unione di tuple anziché come un array di unioni di elementi.