JSDoc: Typescript is interpreting varargs in function signature as required argument if jsdoc function notation is used in typedef.

TypeScript Version: typescript@3.4.0-dev.20190308

Search Terms: jsdoc, varargs, typedef,

Code

// if I want to use typescript format
// this format is not supported by WebStorm
/** @typedef {(...a2:Array<string>) => void} A */
/** @type {A} */
let a;
a(); // but this works fine with typescript

// if I want to use JSDoc format
// this format is supported by WebStorm
/** @typedef {function(...string):void} B */
/** @type {B} */
let b;
b(); // but this not work, TS2555: Expected at least 1 arguments, but got 0

Expected behavior:
Both formats should be interpreted in same way.

Actual behavior:

test.js:13:1 - error TS2555: Expected at least 1 arguments, but got 0.
13 b(); // but this not work, TS2555: Expected at least 1 arguments, but got 0
   ~~~
  test.js:10:24
    10 /** @typedef {function(...string):void} B */
                              ~~~~~~~~~
    An argument for '0' was not provided.

Inizia con la riproduzione minima in JavaScript nell'issue e confronta il modo in cui TypeScript gestisce le due forme di typedef JSDoc, concentrandoti sul parametro varargs e sulla diagnostica TS2555. Il lavoro è completato quando entrambe le forme consentono di chiamare la funzione risultante senza argomenti, con test che coprono il comportamento equivalente.