typescript - 其余元素类型必须是 typescript 中泛型类型的数组类型

Question

在下面的代码中

const f = <
  Args extends any[] = never
>(...args: Args) => {
  const foo: [number, number, ...Args] = [0, 0, ...args]
}

tsc 不喜欢 [number, number, ...Args] 即使我认为我将类型限制为一个数组 Args extends any[]

我收到这个错误

A rest element type must be an array type

Answer 1

type Args = any[];

const f = (...args: Args) => {
  const foo: [number, number, ...Args] = [0, 0, ...args]
}