剩余元素类型必须是 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[] 的数组

我收到这个错误

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

Answer 1

type Args = any[];

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

Answer 2

如果您使用 Typescript 4.0 或更高版本，则此代码运行良好。您可以升级以使其编译。