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
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
|
=== tests/cases/compiler/lambdaParamTypes.ts ===
interface MyArrayWrapper<T> {
constructor(initialItems?: T[]);
>constructor : (initialItems?: T[]) => any
>initialItems : T[]
doSomething(predicate: (x: T, y: T) => string): void;
>doSomething : (predicate: (x: T, y: T) => string) => void
>predicate : (x: T, y: T) => string
>x : T
>y : T
}
declare function create<T>(initialValues?: T[]): MyArrayWrapper<T>;
>create : <T>(initialValues?: T[]) => MyArrayWrapper<T>
>initialValues : T[]
var thing = create([{ name: "bob", id: 24 }, { name: "doug", id: 32 }]);
>thing : MyArrayWrapper<{ name: string; id: number; }>
>create([{ name: "bob", id: 24 }, { name: "doug", id: 32 }]) : MyArrayWrapper<{ name: string; id: number; }>
>create : <T>(initialValues?: T[]) => MyArrayWrapper<T>
>[{ name: "bob", id: 24 }, { name: "doug", id: 32 }] : { name: string; id: number; }[]
>{ name: "bob", id: 24 } : { name: string; id: number; }
>name : string
>"bob" : "bob"
>id : number
>24 : 24
>{ name: "doug", id: 32 } : { name: string; id: number; }
>name : string
>"doug" : "doug"
>id : number
>32 : 32
// Below should all be OK
thing.doSomething((x, y) => x.name.charAt(0)); // x.name should be string, so should be OK
>thing.doSomething((x, y) => x.name.charAt(0)) : void
>thing.doSomething : (predicate: (x: { name: string; id: number; }, y: { name: string; id: number; }) => string) => void
>thing : MyArrayWrapper<{ name: string; id: number; }>
>doSomething : (predicate: (x: { name: string; id: number; }, y: { name: string; id: number; }) => string) => void
>(x, y) => x.name.charAt(0) : (x: { name: string; id: number; }, y: { name: string; id: number; }) => string
>x : { name: string; id: number; }
>y : { name: string; id: number; }
>x.name.charAt(0) : string
>x.name.charAt : (pos: number) => string
>x.name : string
>x : { name: string; id: number; }
>name : string
>charAt : (pos: number) => string
>0 : 0
thing.doSomething((x, y) => x.id.toExponential(0)); // x.id should be string, so should be OK
>thing.doSomething((x, y) => x.id.toExponential(0)) : void
>thing.doSomething : (predicate: (x: { name: string; id: number; }, y: { name: string; id: number; }) => string) => void
>thing : MyArrayWrapper<{ name: string; id: number; }>
>doSomething : (predicate: (x: { name: string; id: number; }, y: { name: string; id: number; }) => string) => void
>(x, y) => x.id.toExponential(0) : (x: { name: string; id: number; }, y: { name: string; id: number; }) => string
>x : { name: string; id: number; }
>y : { name: string; id: number; }
>x.id.toExponential(0) : string
>x.id.toExponential : (fractionDigits?: number) => string
>x.id : number
>x : { name: string; id: number; }
>id : number
>toExponential : (fractionDigits?: number) => string
>0 : 0
thing.doSomething((x, y) => y.name.charAt(0)); // x.name should be string, so should be OK
>thing.doSomething((x, y) => y.name.charAt(0)) : void
>thing.doSomething : (predicate: (x: { name: string; id: number; }, y: { name: string; id: number; }) => string) => void
>thing : MyArrayWrapper<{ name: string; id: number; }>
>doSomething : (predicate: (x: { name: string; id: number; }, y: { name: string; id: number; }) => string) => void
>(x, y) => y.name.charAt(0) : (x: { name: string; id: number; }, y: { name: string; id: number; }) => string
>x : { name: string; id: number; }
>y : { name: string; id: number; }
>y.name.charAt(0) : string
>y.name.charAt : (pos: number) => string
>y.name : string
>y : { name: string; id: number; }
>name : string
>charAt : (pos: number) => string
>0 : 0
thing.doSomething((x, y) => y.id.toExponential(0)); // x.id should be string, so should be OK
>thing.doSomething((x, y) => y.id.toExponential(0)) : void
>thing.doSomething : (predicate: (x: { name: string; id: number; }, y: { name: string; id: number; }) => string) => void
>thing : MyArrayWrapper<{ name: string; id: number; }>
>doSomething : (predicate: (x: { name: string; id: number; }, y: { name: string; id: number; }) => string) => void
>(x, y) => y.id.toExponential(0) : (x: { name: string; id: number; }, y: { name: string; id: number; }) => string
>x : { name: string; id: number; }
>y : { name: string; id: number; }
>y.id.toExponential(0) : string
>y.id.toExponential : (fractionDigits?: number) => string
>y.id : number
>y : { name: string; id: number; }
>id : number
>toExponential : (fractionDigits?: number) => string
>0 : 0
// Below should all be in error
thing.doSomething((x, y) => x.foo); // no such property on x
>thing.doSomething((x, y) => x.foo) : void
>thing.doSomething : (predicate: (x: { name: string; id: number; }, y: { name: string; id: number; }) => string) => void
>thing : MyArrayWrapper<{ name: string; id: number; }>
>doSomething : (predicate: (x: { name: string; id: number; }, y: { name: string; id: number; }) => string) => void
>(x, y) => x.foo : (x: { name: string; id: number; }, y: { name: string; id: number; }) => any
>x : { name: string; id: number; }
>y : { name: string; id: number; }
>x.foo : any
>x : { name: string; id: number; }
>foo : any
thing.doSomething((x, y) => y.foo); // no such property on y
>thing.doSomething((x, y) => y.foo) : void
>thing.doSomething : (predicate: (x: { name: string; id: number; }, y: { name: string; id: number; }) => string) => void
>thing : MyArrayWrapper<{ name: string; id: number; }>
>doSomething : (predicate: (x: { name: string; id: number; }, y: { name: string; id: number; }) => string) => void
>(x, y) => y.foo : (x: { name: string; id: number; }, y: { name: string; id: number; }) => any
>x : { name: string; id: number; }
>y : { name: string; id: number; }
>y.foo : any
>y : { name: string; id: number; }
>foo : any
thing.doSomething((x, y) => x.id.charAt(0)); // x.id should be number, no charAt member
>thing.doSomething((x, y) => x.id.charAt(0)) : void
>thing.doSomething : (predicate: (x: { name: string; id: number; }, y: { name: string; id: number; }) => string) => void
>thing : MyArrayWrapper<{ name: string; id: number; }>
>doSomething : (predicate: (x: { name: string; id: number; }, y: { name: string; id: number; }) => string) => void
>(x, y) => x.id.charAt(0) : (x: { name: string; id: number; }, y: { name: string; id: number; }) => any
>x : { name: string; id: number; }
>y : { name: string; id: number; }
>x.id.charAt(0) : any
>x.id.charAt : any
>x.id : number
>x : { name: string; id: number; }
>id : number
>charAt : any
>0 : 0
thing.doSomething((x, y) => x.name.toExponential(0)); // x.name should be string, no toExponential member
>thing.doSomething((x, y) => x.name.toExponential(0)) : void
>thing.doSomething : (predicate: (x: { name: string; id: number; }, y: { name: string; id: number; }) => string) => void
>thing : MyArrayWrapper<{ name: string; id: number; }>
>doSomething : (predicate: (x: { name: string; id: number; }, y: { name: string; id: number; }) => string) => void
>(x, y) => x.name.toExponential(0) : (x: { name: string; id: number; }, y: { name: string; id: number; }) => any
>x : { name: string; id: number; }
>y : { name: string; id: number; }
>x.name.toExponential(0) : any
>x.name.toExponential : any
>x.name : string
>x : { name: string; id: number; }
>name : string
>toExponential : any
>0 : 0
thing.doSomething((x, y) => y.id.charAt(0));
>thing.doSomething((x, y) => y.id.charAt(0)) : void
>thing.doSomething : (predicate: (x: { name: string; id: number; }, y: { name: string; id: number; }) => string) => void
>thing : MyArrayWrapper<{ name: string; id: number; }>
>doSomething : (predicate: (x: { name: string; id: number; }, y: { name: string; id: number; }) => string) => void
>(x, y) => y.id.charAt(0) : (x: { name: string; id: number; }, y: { name: string; id: number; }) => any
>x : { name: string; id: number; }
>y : { name: string; id: number; }
>y.id.charAt(0) : any
>y.id.charAt : any
>y.id : number
>y : { name: string; id: number; }
>id : number
>charAt : any
>0 : 0
thing.doSomething((x, y) => y.name.toExponential(0));
>thing.doSomething((x, y) => y.name.toExponential(0)) : void
>thing.doSomething : (predicate: (x: { name: string; id: number; }, y: { name: string; id: number; }) => string) => void
>thing : MyArrayWrapper<{ name: string; id: number; }>
>doSomething : (predicate: (x: { name: string; id: number; }, y: { name: string; id: number; }) => string) => void
>(x, y) => y.name.toExponential(0) : (x: { name: string; id: number; }, y: { name: string; id: number; }) => any
>x : { name: string; id: number; }
>y : { name: string; id: number; }
>y.name.toExponential(0) : any
>y.name.toExponential : any
>y.name : string
>y : { name: string; id: number; }
>name : string
>toExponential : any
>0 : 0
|
