Variadic element at position does not match element in target

[awerlogus]

Bug Report

🔎 Search Terms

Tuple spread variadic element length

🕗 Version & Regression Information

Playground link with relevant code

💻 Code

function a <K extends [any]> () {
  // @ts-ignore Modifiers cannot appear here.(1184)
  declare const c1: [...K]

  // @ts-ignore Modifiers cannot appear here.(1184)
  declare const c2: [...K, ...K]

  // Ok
  const b1: [any] = c1

  // Type '[...K, ...K]' is not assignable to type '[any, any]'.
  //   Variadic element at position 0 in source does not match element at position 0 in target.(2322)
  const b2: [any, any] = c2
}

🙁 Actual behavior

c2 is not assignable to b2

🙂 Expected behavior

c2 is assignable to b2