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
|
tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatWithGenericCallSignaturesWithOptionalParameters.ts(14,13): error TS2322: Type '(x: T) => any' is not assignable to type '() => T'.
tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatWithGenericCallSignaturesWithOptionalParameters.ts(23,13): error TS2322: Type '(x: T, y: T) => any' is not assignable to type '(x: T) => T'.
tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatWithGenericCallSignaturesWithOptionalParameters.ts(65,9): error TS2322: Type '(x: T) => T' is not assignable to type '<T>() => T'.
tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatWithGenericCallSignaturesWithOptionalParameters.ts(66,9): error TS2322: Type '(x: T, y?: T) => T' is not assignable to type '<T>() => T'.
tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatWithGenericCallSignaturesWithOptionalParameters.ts(107,13): error TS2322: Type '<T>(x: T) => any' is not assignable to type '<T>() => T'.
tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatWithGenericCallSignaturesWithOptionalParameters.ts(116,13): error TS2322: Type '<T>(x: T, y: T) => any' is not assignable to type '<T>(x: T) => T'.
==== tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatWithGenericCallSignaturesWithOptionalParameters.ts (6 errors) ====
// call signatures in derived types must have the same or fewer optional parameters as the target for assignment
module ClassTypeParam {
class Base<T> {
a: () => T;
a2: (x?: T) => T;
a3: (x: T) => T;
a4: (x: T, y?: T) => T;
a5: (x?: T, y?: T) => T;
init = () => {
this.a = () => null; // ok, same T of required params
this.a = (x?: T) => null; // ok, same T of required params
this.a = (x: T) => null; // error, too many required params
~~~~~~
!!! error TS2322: Type '(x: T) => any' is not assignable to type '() => T'.
this.a2 = () => null; // ok, same T of required params
this.a2 = (x?: T) => null; // ok, same T of required params
this.a2 = (x: T) => null; // ok, same number of params
this.a3 = () => null; // ok, fewer required params
this.a3 = (x?: T) => null; // ok, fewer required params
this.a3 = (x: T) => null; // ok, same T of required params
this.a3 = (x: T, y: T) => null; // error, too many required params
~~~~~~~
!!! error TS2322: Type '(x: T, y: T) => any' is not assignable to type '(x: T) => T'.
this.a4 = () => null; // ok, fewer required params
this.a4 = (x?: T, y?: T) => null; // ok, fewer required params
this.a4 = (x: T) => null; // ok, same T of required params
this.a4 = (x: T, y: T) => null; // ok, same number of params
this.a5 = () => null; // ok, fewer required params
this.a5 = (x?: T, y?: T) => null; // ok, fewer required params
this.a5 = (x: T) => null; // ok, all present params match
this.a5 = (x: T, y: T) => null; // ok, same number of params
}
}
}
module GenericSignaturesInvalid {
class Base2 {
a: <T>() => T;
a2: <T>(x?: T) => T;
a3: <T>(x: T) => T;
a4: <T>(x: T, y?: T) => T;
a5: <T>(x?: T, y?: T) => T;
}
class Target<T> {
a: () => T;
a2: (x?: T) => T;
a3: (x: T) => T;
a4: (x: T, y?: T) => T;
a5: (x?: T, y?: T) => T;
}
function foo<T>() {
var b: Base2;
var t: Target<T>;
// all errors
b.a = t.a;
b.a = t.a2;
b.a = t.a3;
~~~
!!! error TS2322: Type '(x: T) => T' is not assignable to type '<T>() => T'.
b.a = t.a4;
~~~
!!! error TS2322: Type '(x: T, y?: T) => T' is not assignable to type '<T>() => T'.
b.a = t.a5;
b.a2 = t.a;
b.a2 = t.a2;
b.a2 = t.a3;
b.a2 = t.a4;
b.a2 = t.a5;
b.a3 = t.a;
b.a3 = t.a2;
b.a3 = t.a3;
b.a3 = t.a4;
b.a3 = t.a5;
b.a4 = t.a;
b.a4 = t.a2;
b.a4 = t.a3;
b.a4 = t.a4;
b.a4 = t.a5;
b.a5 = t.a;
b.a5 = t.a2;
b.a5 = t.a3;
b.a5 = t.a4;
b.a5 = t.a5;
}
}
module GenericSignaturesValid {
class Base2 {
a: <T>() => T;
a2: <T>(x?: T) => T;
a3: <T>(x: T) => T;
a4: <T>(x: T, y?: T) => T;
a5: <T>(x?: T, y?: T) => T;
init = () => {
this.a = <T>() => null; // ok, same T of required params
this.a = <T>(x?: T) => null; // ok, same T of required params
this.a = <T>(x: T) => null; // error, too many required params
~~~~~~
!!! error TS2322: Type '<T>(x: T) => any' is not assignable to type '<T>() => T'.
this.a2 = <T>() => null; // ok, same T of required params
this.a2 = <T>(x?: T) => null; // ok, same T of required params
this.a2 = <T>(x: T) => null; // ok, same number of params
this.a3 = <T>() => null; // ok, fewer required params
this.a3 = <T>(x?: T) => null; // ok, fewer required params
this.a3 = <T>(x: T) => null; // ok, same T of required params
this.a3 = <T>(x: T, y: T) => null; // error, too many required params
~~~~~~~
!!! error TS2322: Type '<T>(x: T, y: T) => any' is not assignable to type '<T>(x: T) => T'.
this.a4 = <T>() => null; // ok, fewer required params
this.a4 = <T>(x?: T, y?: T) => null; // ok, fewer required params
this.a4 = <T>(x: T) => null; // ok, same T of required params
this.a4 = <T>(x: T, y: T) => null; // ok, same number of params
this.a5 = <T>() => null; // ok, fewer required params
this.a5 = <T>(x?: T, y?: T) => null; // ok, fewer required params
this.a5 = <T>(x: T) => null; // ok, all present params match
this.a5 = <T>(x: T, y: T) => null; // ok, same number of params
}
}
}
|
