1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
|
=== tests/cases/conformance/expressions/functionCalls/callWithSpread2.ts ===
declare function all(a?: number, b?: number): void;
>all : Symbol(all, Decl(callWithSpread2.ts, 0, 0))
>a : Symbol(a, Decl(callWithSpread2.ts, 0, 21))
>b : Symbol(b, Decl(callWithSpread2.ts, 0, 32))
declare function weird(a?: number | string, b?: number | string): void;
>weird : Symbol(weird, Decl(callWithSpread2.ts, 0, 51))
>a : Symbol(a, Decl(callWithSpread2.ts, 1, 23))
>b : Symbol(b, Decl(callWithSpread2.ts, 1, 43))
declare function prefix(s: string, a?: number, b?: number): void;
>prefix : Symbol(prefix, Decl(callWithSpread2.ts, 1, 71))
>s : Symbol(s, Decl(callWithSpread2.ts, 2, 24))
>a : Symbol(a, Decl(callWithSpread2.ts, 2, 34))
>b : Symbol(b, Decl(callWithSpread2.ts, 2, 46))
declare function rest(s: string, a?: number, b?: number, ...rest: number[]): void;
>rest : Symbol(rest, Decl(callWithSpread2.ts, 2, 65))
>s : Symbol(s, Decl(callWithSpread2.ts, 3, 22))
>a : Symbol(a, Decl(callWithSpread2.ts, 3, 32))
>b : Symbol(b, Decl(callWithSpread2.ts, 3, 44))
>rest : Symbol(rest, Decl(callWithSpread2.ts, 3, 56))
declare function normal(s: string): void;
>normal : Symbol(normal, Decl(callWithSpread2.ts, 3, 83))
>s : Symbol(s, Decl(callWithSpread2.ts, 4, 24))
declare function thunk(): string;
>thunk : Symbol(thunk, Decl(callWithSpread2.ts, 4, 41))
declare function prefix2(s: string, n: number, a?: number, b?: number): void;
>prefix2 : Symbol(prefix2, Decl(callWithSpread2.ts, 5, 33))
>s : Symbol(s, Decl(callWithSpread2.ts, 6, 25))
>n : Symbol(n, Decl(callWithSpread2.ts, 6, 35))
>a : Symbol(a, Decl(callWithSpread2.ts, 6, 46))
>b : Symbol(b, Decl(callWithSpread2.ts, 6, 58))
declare var ns: number[];
>ns : Symbol(ns, Decl(callWithSpread2.ts, 8, 11))
declare var mixed: (number | string)[];
>mixed : Symbol(mixed, Decl(callWithSpread2.ts, 9, 11))
declare var tuple: [number, string];
>tuple : Symbol(tuple, Decl(callWithSpread2.ts, 10, 11))
// good
all(...ns)
>all : Symbol(all, Decl(callWithSpread2.ts, 0, 0))
>ns : Symbol(ns, Decl(callWithSpread2.ts, 8, 11))
weird(...ns)
>weird : Symbol(weird, Decl(callWithSpread2.ts, 0, 51))
>ns : Symbol(ns, Decl(callWithSpread2.ts, 8, 11))
weird(...mixed)
>weird : Symbol(weird, Decl(callWithSpread2.ts, 0, 51))
>mixed : Symbol(mixed, Decl(callWithSpread2.ts, 9, 11))
weird(...tuple)
>weird : Symbol(weird, Decl(callWithSpread2.ts, 0, 51))
>tuple : Symbol(tuple, Decl(callWithSpread2.ts, 10, 11))
prefix("a", ...ns)
>prefix : Symbol(prefix, Decl(callWithSpread2.ts, 1, 71))
>ns : Symbol(ns, Decl(callWithSpread2.ts, 8, 11))
rest("d", ...ns)
>rest : Symbol(rest, Decl(callWithSpread2.ts, 2, 65))
>ns : Symbol(ns, Decl(callWithSpread2.ts, 8, 11))
// extra arguments
normal("g", ...ns)
>normal : Symbol(normal, Decl(callWithSpread2.ts, 3, 83))
>ns : Symbol(ns, Decl(callWithSpread2.ts, 8, 11))
thunk(...ns)
>thunk : Symbol(thunk, Decl(callWithSpread2.ts, 4, 41))
>ns : Symbol(ns, Decl(callWithSpread2.ts, 8, 11))
// bad
all(...mixed)
>all : Symbol(all, Decl(callWithSpread2.ts, 0, 0))
>mixed : Symbol(mixed, Decl(callWithSpread2.ts, 9, 11))
all(...tuple)
>all : Symbol(all, Decl(callWithSpread2.ts, 0, 0))
>tuple : Symbol(tuple, Decl(callWithSpread2.ts, 10, 11))
prefix("b", ...mixed)
>prefix : Symbol(prefix, Decl(callWithSpread2.ts, 1, 71))
>mixed : Symbol(mixed, Decl(callWithSpread2.ts, 9, 11))
prefix("c", ...tuple)
>prefix : Symbol(prefix, Decl(callWithSpread2.ts, 1, 71))
>tuple : Symbol(tuple, Decl(callWithSpread2.ts, 10, 11))
rest("e", ...mixed)
>rest : Symbol(rest, Decl(callWithSpread2.ts, 2, 65))
>mixed : Symbol(mixed, Decl(callWithSpread2.ts, 9, 11))
rest("f", ...tuple)
>rest : Symbol(rest, Decl(callWithSpread2.ts, 2, 65))
>tuple : Symbol(tuple, Decl(callWithSpread2.ts, 10, 11))
prefix(...ns) // required parameters are required
>prefix : Symbol(prefix, Decl(callWithSpread2.ts, 1, 71))
>ns : Symbol(ns, Decl(callWithSpread2.ts, 8, 11))
prefix(...mixed)
>prefix : Symbol(prefix, Decl(callWithSpread2.ts, 1, 71))
>mixed : Symbol(mixed, Decl(callWithSpread2.ts, 9, 11))
prefix(...tuple)
>prefix : Symbol(prefix, Decl(callWithSpread2.ts, 1, 71))
>tuple : Symbol(tuple, Decl(callWithSpread2.ts, 10, 11))
prefix2("g", ...ns);
>prefix2 : Symbol(prefix2, Decl(callWithSpread2.ts, 5, 33))
>ns : Symbol(ns, Decl(callWithSpread2.ts, 8, 11))
|
