A rest element type must be an array type for generic type in typescript

Question

In the code below

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

tsc does not like [number, number, ...Args] even though I thought I was constraining the type to be an array with Args extends any[]

i get this error

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]
}

Answer 2

enter image description here

enter image description here

It's ok after ts4.0