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
|
=== tests/cases/compiler/genericArgumentCallSigAssignmentCompat.ts ===
module Underscore {
>Underscore : any
export interface Iterator<T, U> {
>Iterator : Iterator<T, U>
>T : T
>U : U
(value: T, index: any, list: any): U;
>value : T
>T : T
>index : any
>list : any
>U : U
}
export interface Static {
>Static : Static
all<T>(list: T[], iterator?: Iterator<T, boolean>, context?: any): boolean;
>all : <T>(list: T[], iterator?: Iterator<T, boolean>, context?: any) => boolean
>T : T
>list : T[]
>T : T
>iterator : Iterator<T, boolean>
>Iterator : Iterator<T, U>
>T : T
>context : any
identity<T>(value: T): T;
>identity : <T>(value: T) => T
>T : T
>value : T
>T : T
>T : T
}
}
declare var _: Underscore.Static;
>_ : Underscore.Static
>Underscore : any
>Static : Underscore.Static
// No error, Call signatures of types '<T>(value: T) => T' and 'Underscore.Iterator<{}, boolean>' are compatible when instantiated with any.
// Ideally, we would not have a generic signature here, because it should be instantiated with {} during inferential typing
_.all([true, 1, null, 'yes'], _.identity);
>_.all([true, 1, null, 'yes'], _.identity) : boolean
>_.all : <T>(list: T[], iterator?: Underscore.Iterator<T, boolean>, context?: any) => boolean
>_ : Underscore.Static
>all : <T>(list: T[], iterator?: Underscore.Iterator<T, boolean>, context?: any) => boolean
>[true, 1, null, 'yes'] : (true | 1 | "yes")[]
>true : true
>1 : 1
>null : null
>'yes' : "yes"
>_.identity : <T>(value: T) => T
>_ : Underscore.Static
>identity : <T>(value: T) => T
// Ok, because fixing makes us infer boolean for T
_.all([true], _.identity);
>_.all([true], _.identity) : boolean
>_.all : <T>(list: T[], iterator?: Underscore.Iterator<T, boolean>, context?: any) => boolean
>_ : Underscore.Static
>all : <T>(list: T[], iterator?: Underscore.Iterator<T, boolean>, context?: any) => boolean
>[true] : true[]
>true : true
>_.identity : <T>(value: T) => T
>_ : Underscore.Static
>identity : <T>(value: T) => T
|
