Same comment here. This should really be

```js
function rest(...a : number[]) {}
```