1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
=== /a.js ===
/** @param {...number} a */
function f(a) {
>f : Symbol(f, Decl(a.js, 0, 0))
>a : Symbol(a, Decl(a.js, 1, 11))
a; // number | undefined
>a : Symbol(a, Decl(a.js, 1, 11))
// Ideally this would be a number. But currently checker.ts has only one `argumentsSymbol`, so it's `any`.
arguments[0];
>arguments : Symbol(arguments)
}
f([1, 2]); // Error
>f : Symbol(f, Decl(a.js, 0, 0))
f(1, "2"); // Error
>f : Symbol(f, Decl(a.js, 0, 0))
f(1, 2);
>f : Symbol(f, Decl(a.js, 0, 0))
|
