剩余元素类型必须是打字稿中泛型类型的数组类型

Question

在下面的代码中

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

tsc不喜欢[number, number, ...Args]，即使我以为我将类型限制为Args extends any[]的数组

我收到此错误

  

其余元素类型必须是数组类型

Answer 1

type Args = any[];

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