TypeScript/tests/baselines/reference/arraySpreadInCall.symbols at e35d71f28fefb66c86c029cc87375f3f74ddf655 · microsoft/TypeScript · GitHub

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
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
=== tests/cases/conformance/es6/spread/arraySpreadInCall.ts ===
declare function f1(a: number, b: number, c: number, d: number, e: number, f: number): void;
>f1 : Symbol(f1, Decl(arraySpreadInCall.ts, 0, 0))
>a : Symbol(a, Decl(arraySpreadInCall.ts, 0, 20))
>b : Symbol(b, Decl(arraySpreadInCall.ts, 0, 30))
>c : Symbol(c, Decl(arraySpreadInCall.ts, 0, 41))
>d : Symbol(d, Decl(arraySpreadInCall.ts, 0, 52))
>e : Symbol(e, Decl(arraySpreadInCall.ts, 0, 63))
>f : Symbol(f, Decl(arraySpreadInCall.ts, 0, 74))

f1(1, 2, 3, 4, ...[5, 6]);
>f1 : Symbol(f1, Decl(arraySpreadInCall.ts, 0, 0))

f1(...[1], 2, 3, 4, 5, 6);
>f1 : Symbol(f1, Decl(arraySpreadInCall.ts, 0, 0))

f1(1, 2, ...[3, 4], 5, 6);
>f1 : Symbol(f1, Decl(arraySpreadInCall.ts, 0, 0))

f1(1, 2, ...[3], 4, ...[5, 6]);
>f1 : Symbol(f1, Decl(arraySpreadInCall.ts, 0, 0))

f1(...[1, 2], ...[3, 4], ...[5, 6]);
>f1 : Symbol(f1, Decl(arraySpreadInCall.ts, 0, 0))

declare function f2<T extends unknown[]>(...args: T): T;
>f2 : Symbol(f2, Decl(arraySpreadInCall.ts, 5, 36))
>T : Symbol(T, Decl(arraySpreadInCall.ts, 7, 20))
>args : Symbol(args, Decl(arraySpreadInCall.ts, 7, 41))
>T : Symbol(T, Decl(arraySpreadInCall.ts, 7, 20))
>T : Symbol(T, Decl(arraySpreadInCall.ts, 7, 20))

const x21 = f2(...[1, 'foo'])
>x21 : Symbol(x21, Decl(arraySpreadInCall.ts, 8, 5))
>f2 : Symbol(f2, Decl(arraySpreadInCall.ts, 5, 36))

const x22 = f2(true, ...[1, 'foo'])
>x22 : Symbol(x22, Decl(arraySpreadInCall.ts, 9, 5))
>f2 : Symbol(f2, Decl(arraySpreadInCall.ts, 5, 36))

declare function f3<T extends readonly unknown[]>(...args: T): T;
>f3 : Symbol(f3, Decl(arraySpreadInCall.ts, 9, 35))
>T : Symbol(T, Decl(arraySpreadInCall.ts, 11, 20))
>args : Symbol(args, Decl(arraySpreadInCall.ts, 11, 50))
>T : Symbol(T, Decl(arraySpreadInCall.ts, 11, 20))
>T : Symbol(T, Decl(arraySpreadInCall.ts, 11, 20))

const x31 = f3(...[1, 'foo'])
>x31 : Symbol(x31, Decl(arraySpreadInCall.ts, 12, 5))
>f3 : Symbol(f3, Decl(arraySpreadInCall.ts, 9, 35))

const x32 = f3(true, ...[1, 'foo'])
>x32 : Symbol(x32, Decl(arraySpreadInCall.ts, 13, 5))
>f3 : Symbol(f3, Decl(arraySpreadInCall.ts, 9, 35))

// dicovered in #52845#issuecomment-1459132562
interface IAction {
>IAction : Symbol(IAction, Decl(arraySpreadInCall.ts, 13, 35))

    run(event?: unknown): unknown;
>run : Symbol(IAction.run, Decl(arraySpreadInCall.ts, 16, 19))
>event : Symbol(event, Decl(arraySpreadInCall.ts, 17, 8))
}
declare const action: IAction
>action : Symbol(action, Decl(arraySpreadInCall.ts, 19, 13))
>IAction : Symbol(IAction, Decl(arraySpreadInCall.ts, 13, 35))

action.run(...[100, 'foo']) // error
>action.run : Symbol(IAction.run, Decl(arraySpreadInCall.ts, 16, 19))
>action : Symbol(action, Decl(arraySpreadInCall.ts, 19, 13))
>run : Symbol(IAction.run, Decl(arraySpreadInCall.ts, 16, 19))

// repro from #53541
class T {
>T : Symbol(T, Decl(arraySpreadInCall.ts, 20, 27))

  fn(name?: string, sex?: number): void {}
>fn : Symbol(T.fn, Decl(arraySpreadInCall.ts, 23, 9))
>name : Symbol(name, Decl(arraySpreadInCall.ts, 24, 5))
>sex : Symbol(sex, Decl(arraySpreadInCall.ts, 24, 19))
}

class M<X extends T> {
>M : Symbol(M, Decl(arraySpreadInCall.ts, 25, 1))
>X : Symbol(X, Decl(arraySpreadInCall.ts, 27, 8))
>T : Symbol(T, Decl(arraySpreadInCall.ts, 20, 27))

  constructor(public m: X) {}
>m : Symbol(M.m, Decl(arraySpreadInCall.ts, 28, 14))
>X : Symbol(X, Decl(arraySpreadInCall.ts, 27, 8))

  fn(...args: Parameters<X["fn"]>) {
>fn : Symbol(M.fn, Decl(arraySpreadInCall.ts, 28, 29))
>args : Symbol(args, Decl(arraySpreadInCall.ts, 30, 5))
>Parameters : Symbol(Parameters, Decl(lib.es5.d.ts, --, --))
>X : Symbol(X, Decl(arraySpreadInCall.ts, 27, 8))

    this.m.fn(...args);
>this.m.fn : Symbol(T.fn, Decl(arraySpreadInCall.ts, 23, 9))
>this.m : Symbol(M.m, Decl(arraySpreadInCall.ts, 28, 14))
>this : Symbol(M, Decl(arraySpreadInCall.ts, 25, 1))
>m : Symbol(M.m, Decl(arraySpreadInCall.ts, 28, 14))
>fn : Symbol(T.fn, Decl(arraySpreadInCall.ts, 23, 9))
>args : Symbol(args, Decl(arraySpreadInCall.ts, 30, 5))
  }
}

// repro from #53541#issuecomment-1487859044
interface HasMethod {
>HasMethod : Symbol(HasMethod, Decl(arraySpreadInCall.ts, 33, 1))

  method(first?: string, second?: number): void;
>method : Symbol(HasMethod.method, Decl(arraySpreadInCall.ts, 36, 21))
>first : Symbol(first, Decl(arraySpreadInCall.ts, 37, 9))
>second : Symbol(second, Decl(arraySpreadInCall.ts, 37, 24))

  method2(...args: [name: string, sex?: number] | [other: number]): void;
>method2 : Symbol(HasMethod.method2, Decl(arraySpreadInCall.ts, 37, 48))
>args : Symbol(args, Decl(arraySpreadInCall.ts, 38, 10))
}

function fn21<HasMethodLike extends HasMethod>(
>fn21 : Symbol(fn21, Decl(arraySpreadInCall.ts, 39, 1))
>HasMethodLike : Symbol(HasMethodLike, Decl(arraySpreadInCall.ts, 41, 14))
>HasMethod : Symbol(HasMethod, Decl(arraySpreadInCall.ts, 33, 1))

  instance: HasMethodLike,
>instance : Symbol(instance, Decl(arraySpreadInCall.ts, 41, 47))
>HasMethodLike : Symbol(HasMethodLike, Decl(arraySpreadInCall.ts, 41, 14))

  ...args: Parameters<HasMethodLike["method"]>
>args : Symbol(args, Decl(arraySpreadInCall.ts, 42, 26))
>Parameters : Symbol(Parameters, Decl(lib.es5.d.ts, --, --))
>HasMethodLike : Symbol(HasMethodLike, Decl(arraySpreadInCall.ts, 41, 14))

) {
  instance.method(...args);
>instance.method : Symbol(HasMethod.method, Decl(arraySpreadInCall.ts, 36, 21))
>instance : Symbol(instance, Decl(arraySpreadInCall.ts, 41, 47))
>method : Symbol(HasMethod.method, Decl(arraySpreadInCall.ts, 36, 21))
>args : Symbol(args, Decl(arraySpreadInCall.ts, 42, 26))
}

function fn22<HasMethodLike extends HasMethod>(
>fn22 : Symbol(fn22, Decl(arraySpreadInCall.ts, 46, 1))
>HasMethodLike : Symbol(HasMethodLike, Decl(arraySpreadInCall.ts, 48, 14))
>HasMethod : Symbol(HasMethod, Decl(arraySpreadInCall.ts, 33, 1))

  instance: HasMethodLike,
>instance : Symbol(instance, Decl(arraySpreadInCall.ts, 48, 47))
>HasMethodLike : Symbol(HasMethodLike, Decl(arraySpreadInCall.ts, 48, 14))

  ...args: Parameters<HasMethodLike["method2"]>
>args : Symbol(args, Decl(arraySpreadInCall.ts, 49, 26))
>Parameters : Symbol(Parameters, Decl(lib.es5.d.ts, --, --))
>HasMethodLike : Symbol(HasMethodLike, Decl(arraySpreadInCall.ts, 48, 14))

) {
  instance.method2(...args);
>instance.method2 : Symbol(HasMethod.method2, Decl(arraySpreadInCall.ts, 37, 48))
>instance : Symbol(instance, Decl(arraySpreadInCall.ts, 48, 47))
>method2 : Symbol(HasMethod.method2, Decl(arraySpreadInCall.ts, 37, 48))
>args : Symbol(args, Decl(arraySpreadInCall.ts, 49, 26))
}