Skip to content

Commit b17aaf0

Browse files
ahejlsbergahejlsberg
committed
Accept new baselines
1 parent c48c363 commit b17aaf0

File tree

41 files changed

+305
-131
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

41 files changed

+305
-131
lines changed

‎tests/baselines/reference/assignmentCompatWithCallSignatures3.errors.txt‎

Lines changed: 12 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -45,14 +45,19 @@ tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignme
4545
Property 'baz' is missing in type 'Base'.
4646
tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatWithCallSignatures3.ts(83,1): error TS2322: Type '(x: Base[], y: Derived[]) => Derived[]' is not assignable to type '<T extends Derived[]>(x: Base[], y: T) => T'.
4747
Type 'Derived[]' is not assignable to type 'T'.
48+
tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatWithCallSignatures3.ts(85,1): error TS2322: Type '<T>(x: { a: T; b: T; }) => T' is not assignable to type '(x: { a: string; b: number; }) => Object'.
49+
Types of parameters 'x' and 'x' are incompatible.
50+
Type '{ a: string; b: number; }' is not assignable to type '{ a: string; b: string; }'.
51+
Types of property 'b' are incompatible.
52+
Type 'number' is not assignable to type 'string'.
4853
tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatWithCallSignatures3.ts(86,1): error TS2322: Type '(x: { a: string; b: number; }) => Object' is not assignable to type '<T>(x: { a: T; b: T; }) => T'.
4954
Types of parameters 'x' and 'x' are incompatible.
5055
Type '{ a: T; b: T; }' is not assignable to type '{ a: string; b: number; }'.
5156
Types of property 'a' are incompatible.
5257
Type 'T' is not assignable to type 'string'.
5358

5459

55-
==== tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatWithCallSignatures3.ts (14 errors) ====
60+
==== tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatWithCallSignatures3.ts (15 errors) ====
5661
// these are all permitted with the current rules, since we do not do contextual signature instantiation
5762

5863
class Base { foo: string; }
@@ -198,6 +203,12 @@ tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignme
198203
!!! error TS2322: Type 'Derived[]' is not assignable to type 'T'.
199204
var b14: <T>(x: { a: T; b: T }) => T;
200205
a14 = b14; // ok
206+
~~~
207+
!!! error TS2322: Type '<T>(x: { a: T; b: T; }) => T' is not assignable to type '(x: { a: string; b: number; }) => Object'.
208+
!!! error TS2322: Types of parameters 'x' and 'x' are incompatible.
209+
!!! error TS2322: Type '{ a: string; b: number; }' is not assignable to type '{ a: string; b: string; }'.
210+
!!! error TS2322: Types of property 'b' are incompatible.
211+
!!! error TS2322: Type 'number' is not assignable to type 'string'.
201212
b14 = a14; // ok
202213
~~~
203214
!!! error TS2322: Type '(x: { a: string; b: number; }) => Object' is not assignable to type '<T>(x: { a: T; b: T; }) => T'.

‎tests/baselines/reference/assignmentCompatWithCallSignatures4.errors.txt‎

Lines changed: 8 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -22,8 +22,10 @@ tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignme
2222
tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatWithCallSignatures4.ts(66,9): error TS2322: Type '(x: Base[], y: Derived2[]) => Derived[]' is not assignable to type '<T extends Derived2[]>(x: Base[], y: Base[]) => T'.
2323
Type 'Derived[]' is not assignable to type 'T'.
2424
tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatWithCallSignatures4.ts(69,9): error TS2322: Type '<T>(x: { a: T; b: T; }) => T' is not assignable to type '(x: { a: string; b: number; }) => number'.
25-
Type 'string | number' is not assignable to type 'number'.
26-
Type 'string' is not assignable to type 'number'.
25+
Types of parameters 'x' and 'x' are incompatible.
26+
Type '{ a: string; b: number; }' is not assignable to type '{ a: string; b: string; }'.
27+
Types of property 'b' are incompatible.
28+
Type 'number' is not assignable to type 'string'.
2729
tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatWithCallSignatures4.ts(70,9): error TS2322: Type '(x: { a: string; b: number; }) => number' is not assignable to type '<T>(x: { a: T; b: T; }) => T'.
2830
Types of parameters 'x' and 'x' are incompatible.
2931
Type '{ a: T; b: T; }' is not assignable to type '{ a: string; b: number; }'.
@@ -156,8 +158,10 @@ tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignme
156158
a15 = b15;
157159
~~~
158160
!!! error TS2322: Type '<T>(x: { a: T; b: T; }) => T' is not assignable to type '(x: { a: string; b: number; }) => number'.
159-
!!! error TS2322: Type 'string | number' is not assignable to type 'number'.
160-
!!! error TS2322: Type 'string' is not assignable to type 'number'.
161+
!!! error TS2322: Types of parameters 'x' and 'x' are incompatible.
162+
!!! error TS2322: Type '{ a: string; b: number; }' is not assignable to type '{ a: string; b: string; }'.
163+
!!! error TS2322: Types of property 'b' are incompatible.
164+
!!! error TS2322: Type 'number' is not assignable to type 'string'.
161165
b15 = a15;
162166
~~~
163167
!!! error TS2322: Type '(x: { a: string; b: number; }) => number' is not assignable to type '<T>(x: { a: T; b: T; }) => T'.

‎tests/baselines/reference/assignmentCompatWithCallSignatures5.errors.txt‎

Lines changed: 20 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -1,17 +1,23 @@
11
tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatWithCallSignatures5.ts(40,1): error TS2322: Type '<T>(x: T) => void' is not assignable to type '<T>(x: T) => T'.
22
Type 'void' is not assignable to type 'T'.
3+
tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatWithCallSignatures5.ts(52,1): error TS2322: Type '<T>(x: { foo: T; }, y: { foo: T; bar: T; }) => Base' is not assignable to type '<T, U>(x: { foo: T; }, y: { foo: U; bar: U; }) => Base'.
4+
Types of parameters 'y' and 'y' are incompatible.
5+
Type '{ foo: U; bar: U; }' is not assignable to type '{ foo: T; bar: T; }'.
6+
Types of property 'foo' are incompatible.
7+
Type 'U' is not assignable to type 'T'.
38
tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatWithCallSignatures5.ts(55,1): error TS2322: Type '<T>(x: { a: T; b: T; }) => T[]' is not assignable to type '<U, V>(x: { a: U; b: V; }) => U[]'.
4-
Type '(U | V)[]' is not assignable to type 'U[]'.
5-
Type 'U | V' is not assignable to type 'U'.
6-
Type 'V' is not assignable to type 'U'.
9+
Types of parameters 'x' and 'x' are incompatible.
10+
Type '{ a: U; b: V; }' is not assignable to type '{ a: U; b: U; }'.
11+
Types of property 'b' are incompatible.
12+
Type 'V' is not assignable to type 'U'.
713
tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatWithCallSignatures5.ts(58,1): error TS2322: Type '<T extends Base>(x: { a: T; b: T; }) => T[]' is not assignable to type '<U, V>(x: { a: U; b: V; }) => U[]'.
814
Types of parameters 'x' and 'x' are incompatible.
915
Type '{ a: U; b: V; }' is not assignable to type '{ a: Base; b: Base; }'.
1016
Types of property 'a' are incompatible.
1117
Type 'U' is not assignable to type 'Base'.
1218

1319

14-
==== tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatWithCallSignatures5.ts (3 errors) ====
20+
==== tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatWithCallSignatures5.ts (4 errors) ====
1521
// checking assignment compat for function types. No errors in this file
1622

1723
class Base { foo: string; }
@@ -67,14 +73,21 @@ tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignme
6773
var b11: <T, U>(x: { foo: T }, y: { foo: U; bar: U }) => Base;
6874
a11 = b11; // ok
6975
b11 = a11; // ok
76+
~~~
77+
!!! error TS2322: Type '<T>(x: { foo: T; }, y: { foo: T; bar: T; }) => Base' is not assignable to type '<T, U>(x: { foo: T; }, y: { foo: U; bar: U; }) => Base'.
78+
!!! error TS2322: Types of parameters 'y' and 'y' are incompatible.
79+
!!! error TS2322: Type '{ foo: U; bar: U; }' is not assignable to type '{ foo: T; bar: T; }'.
80+
!!! error TS2322: Types of property 'foo' are incompatible.
81+
!!! error TS2322: Type 'U' is not assignable to type 'T'.
7082
var b15: <U, V>(x: { a: U; b: V; }) => U[];
7183
a15 = b15; // ok, T = U, T = V
7284
b15 = a15; // ok
7385
~~~
7486
!!! error TS2322: Type '<T>(x: { a: T; b: T; }) => T[]' is not assignable to type '<U, V>(x: { a: U; b: V; }) => U[]'.
75-
!!! error TS2322: Type '(U | V)[]' is not assignable to type 'U[]'.
76-
!!! error TS2322: Type 'U | V' is not assignable to type 'U'.
77-
!!! error TS2322: Type 'V' is not assignable to type 'U'.
87+
!!! error TS2322: Types of parameters 'x' and 'x' are incompatible.
88+
!!! error TS2322: Type '{ a: U; b: V; }' is not assignable to type '{ a: U; b: U; }'.
89+
!!! error TS2322: Types of property 'b' are incompatible.
90+
!!! error TS2322: Type 'V' is not assignable to type 'U'.
7891
var b16: <T>(x: { a: T; b: T }) => T[];
7992
a15 = b16; // ok
8093
b15 = a16; // ok

‎tests/baselines/reference/assignmentCompatWithCallSignatures6.errors.txt‎

Lines changed: 12 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,18 @@
11
tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatWithCallSignatures6.ts(30,1): error TS2322: Type '<T>(x: T) => void' is not assignable to type '<T>(x: T) => T'.
22
Type 'void' is not assignable to type 'T'.
3+
tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatWithCallSignatures6.ts(39,1): error TS2322: Type '<T>(x: { foo: T; }, y: { foo: T; bar: T; }) => Base' is not assignable to type '<T, U>(x: { foo: T; }, y: { foo: U; bar: U; }) => Base'.
4+
Types of parameters 'y' and 'y' are incompatible.
5+
Type '{ foo: U; bar: U; }' is not assignable to type '{ foo: T; bar: T; }'.
6+
Types of property 'foo' are incompatible.
7+
Type 'U' is not assignable to type 'T'.
38
tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatWithCallSignatures6.ts(42,1): error TS2322: Type '<T extends Base>(x: { a: T; b: T; }) => T[]' is not assignable to type '<T>(x: { a: T; b: T; }) => T[]'.
49
Types of parameters 'x' and 'x' are incompatible.
510
Type '{ a: T; b: T; }' is not assignable to type '{ a: Base; b: Base; }'.
611
Types of property 'a' are incompatible.
712
Type 'T' is not assignable to type 'Base'.
813

914

10-
==== tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatWithCallSignatures6.ts (2 errors) ====
15+
==== tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatWithCallSignatures6.ts (3 errors) ====
1116
// checking assignment compatibility relations for function types. All valid
1217

1318
class Base { foo: string; }
@@ -50,6 +55,12 @@ tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignme
5055
var b11: <T, U>(x: { foo: T }, y: { foo: U; bar: U }) => Base;
5156
x.a11 = b11;
5257
b11 = x.a11;
58+
~~~
59+
!!! error TS2322: Type '<T>(x: { foo: T; }, y: { foo: T; bar: T; }) => Base' is not assignable to type '<T, U>(x: { foo: T; }, y: { foo: U; bar: U; }) => Base'.
60+
!!! error TS2322: Types of parameters 'y' and 'y' are incompatible.
61+
!!! error TS2322: Type '{ foo: U; bar: U; }' is not assignable to type '{ foo: T; bar: T; }'.
62+
!!! error TS2322: Types of property 'foo' are incompatible.
63+
!!! error TS2322: Type 'U' is not assignable to type 'T'.
5364
var b16: <T>(x: { a: T; b: T }) => T[];
5465
x.a16 = b16;
5566
b16 = x.a16;

‎tests/baselines/reference/assignmentCompatWithConstructSignatures3.errors.txt‎

Lines changed: 12 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -45,14 +45,19 @@ tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignme
4545
Property 'baz' is missing in type 'Base'.
4646
tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatWithConstructSignatures3.ts(83,1): error TS2322: Type 'new (x: Base[], y: Derived[]) => Derived[]' is not assignable to type 'new <T extends Derived[]>(x: Base[], y: T) => T'.
4747
Type 'Derived[]' is not assignable to type 'T'.
48+
tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatWithConstructSignatures3.ts(85,1): error TS2322: Type 'new <T>(x: { a: T; b: T; }) => T' is not assignable to type 'new (x: { a: string; b: number; }) => Object'.
49+
Types of parameters 'x' and 'x' are incompatible.
50+
Type '{ a: string; b: number; }' is not assignable to type '{ a: string; b: string; }'.
51+
Types of property 'b' are incompatible.
52+
Type 'number' is not assignable to type 'string'.
4853
tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatWithConstructSignatures3.ts(86,1): error TS2322: Type 'new (x: { a: string; b: number; }) => Object' is not assignable to type 'new <T>(x: { a: T; b: T; }) => T'.
4954
Types of parameters 'x' and 'x' are incompatible.
5055
Type '{ a: T; b: T; }' is not assignable to type '{ a: string; b: number; }'.
5156
Types of property 'a' are incompatible.
5257
Type 'T' is not assignable to type 'string'.
5358

5459

55-
==== tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatWithConstructSignatures3.ts (14 errors) ====
60+
==== tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatWithConstructSignatures3.ts (15 errors) ====
5661
// checking assignment compatibility relations for function types. All of these are valid.
5762

5863
class Base { foo: string; }
@@ -198,6 +203,12 @@ tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignme
198203
!!! error TS2322: Type 'Derived[]' is not assignable to type 'T'.
199204
var b14: new <T>(x: { a: T; b: T }) => T;
200205
a14 = b14; // ok
206+
~~~
207+
!!! error TS2322: Type 'new <T>(x: { a: T; b: T; }) => T' is not assignable to type 'new (x: { a: string; b: number; }) => Object'.
208+
!!! error TS2322: Types of parameters 'x' and 'x' are incompatible.
209+
!!! error TS2322: Type '{ a: string; b: number; }' is not assignable to type '{ a: string; b: string; }'.
210+
!!! error TS2322: Types of property 'b' are incompatible.
211+
!!! error TS2322: Type 'number' is not assignable to type 'string'.
201212
b14 = a14; // ok
202213
~~~
203214
!!! error TS2322: Type 'new (x: { a: string; b: number; }) => Object' is not assignable to type 'new <T>(x: { a: T; b: T; }) => T'.

‎tests/baselines/reference/assignmentCompatWithConstructSignatures4.errors.txt‎

Lines changed: 8 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -22,8 +22,10 @@ tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignme
2222
tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatWithConstructSignatures4.ts(66,9): error TS2322: Type 'new (x: Base[], y: Derived2[]) => Derived[]' is not assignable to type 'new <T extends Derived2[]>(x: Base[], y: Base[]) => T'.
2323
Type 'Derived[]' is not assignable to type 'T'.
2424
tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatWithConstructSignatures4.ts(69,9): error TS2322: Type 'new <T>(x: { a: T; b: T; }) => T' is not assignable to type 'new (x: { a: string; b: number; }) => number'.
25-
Type 'string | number' is not assignable to type 'number'.
26-
Type 'string' is not assignable to type 'number'.
25+
Types of parameters 'x' and 'x' are incompatible.
26+
Type '{ a: string; b: number; }' is not assignable to type '{ a: string; b: string; }'.
27+
Types of property 'b' are incompatible.
28+
Type 'number' is not assignable to type 'string'.
2729
tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatWithConstructSignatures4.ts(70,9): error TS2322: Type 'new (x: { a: string; b: number; }) => number' is not assignable to type 'new <T>(x: { a: T; b: T; }) => T'.
2830
Types of parameters 'x' and 'x' are incompatible.
2931
Type '{ a: T; b: T; }' is not assignable to type '{ a: string; b: number; }'.
@@ -172,8 +174,10 @@ tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignme
172174
a15 = b15; // ok
173175
~~~
174176
!!! error TS2322: Type 'new <T>(x: { a: T; b: T; }) => T' is not assignable to type 'new (x: { a: string; b: number; }) => number'.
175-
!!! error TS2322: Type 'string | number' is not assignable to type 'number'.
176-
!!! error TS2322: Type 'string' is not assignable to type 'number'.
177+
!!! error TS2322: Types of parameters 'x' and 'x' are incompatible.
178+
!!! error TS2322: Type '{ a: string; b: number; }' is not assignable to type '{ a: string; b: string; }'.
179+
!!! error TS2322: Types of property 'b' are incompatible.
180+
!!! error TS2322: Type 'number' is not assignable to type 'string'.
177181
b15 = a15; // ok
178182
~~~
179183
!!! error TS2322: Type 'new (x: { a: string; b: number; }) => number' is not assignable to type 'new <T>(x: { a: T; b: T; }) => T'.

‎tests/baselines/reference/assignmentCompatWithConstructSignatures5.errors.txt‎

Lines changed: 20 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -1,17 +1,23 @@
11
tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatWithConstructSignatures5.ts(40,1): error TS2322: Type 'new <T>(x: T) => void' is not assignable to type 'new <T>(x: T) => T'.
22
Type 'void' is not assignable to type 'T'.
3+
tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatWithConstructSignatures5.ts(52,1): error TS2322: Type 'new <T>(x: { foo: T; }, y: { foo: T; bar: T; }) => Base' is not assignable to type 'new <T, U>(x: { foo: T; }, y: { foo: U; bar: U; }) => Base'.
4+
Types of parameters 'y' and 'y' are incompatible.
5+
Type '{ foo: U; bar: U; }' is not assignable to type '{ foo: T; bar: T; }'.
6+
Types of property 'foo' are incompatible.
7+
Type 'U' is not assignable to type 'T'.
38
tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatWithConstructSignatures5.ts(55,1): error TS2322: Type 'new <T>(x: { a: T; b: T; }) => T[]' is not assignable to type 'new <U, V>(x: { a: U; b: V; }) => U[]'.
4-
Type '(U | V)[]' is not assignable to type 'U[]'.
5-
Type 'U | V' is not assignable to type 'U'.
6-
Type 'V' is not assignable to type 'U'.
9+
Types of parameters 'x' and 'x' are incompatible.
10+
Type '{ a: U; b: V; }' is not assignable to type '{ a: U; b: U; }'.
11+
Types of property 'b' are incompatible.
12+
Type 'V' is not assignable to type 'U'.
713
tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatWithConstructSignatures5.ts(58,1): error TS2322: Type 'new <T extends Base>(x: { a: T; b: T; }) => T[]' is not assignable to type 'new <U, V>(x: { a: U; b: V; }) => U[]'.
814
Types of parameters 'x' and 'x' are incompatible.
915
Type '{ a: U; b: V; }' is not assignable to type '{ a: Base; b: Base; }'.
1016
Types of property 'a' are incompatible.
1117
Type 'U' is not assignable to type 'Base'.
1218

1319

14-
==== tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatWithConstructSignatures5.ts (3 errors) ====
20+
==== tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatWithConstructSignatures5.ts (4 errors) ====
1521
// checking assignment compat for function types. All valid
1622

1723
class Base { foo: string; }
@@ -67,14 +73,21 @@ tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignme
6773
var b11: new <T, U>(x: { foo: T }, y: { foo: U; bar: U }) => Base;
6874
a11 = b11; // ok
6975
b11 = a11; // ok
76+
~~~
77+
!!! error TS2322: Type 'new <T>(x: { foo: T; }, y: { foo: T; bar: T; }) => Base' is not assignable to type 'new <T, U>(x: { foo: T; }, y: { foo: U; bar: U; }) => Base'.
78+
!!! error TS2322: Types of parameters 'y' and 'y' are incompatible.
79+
!!! error TS2322: Type '{ foo: U; bar: U; }' is not assignable to type '{ foo: T; bar: T; }'.
80+
!!! error TS2322: Types of property 'foo' are incompatible.
81+
!!! error TS2322: Type 'U' is not assignable to type 'T'.
7082
var b15: new <U, V>(x: { a: U; b: V; }) => U[];
7183
a15 = b15; // ok
7284
b15 = a15; // ok
7385
~~~
7486
!!! error TS2322: Type 'new <T>(x: { a: T; b: T; }) => T[]' is not assignable to type 'new <U, V>(x: { a: U; b: V; }) => U[]'.
75-
!!! error TS2322: Type '(U | V)[]' is not assignable to type 'U[]'.
76-
!!! error TS2322: Type 'U | V' is not assignable to type 'U'.
77-
!!! error TS2322: Type 'V' is not assignable to type 'U'.
87+
!!! error TS2322: Types of parameters 'x' and 'x' are incompatible.
88+
!!! error TS2322: Type '{ a: U; b: V; }' is not assignable to type '{ a: U; b: U; }'.
89+
!!! error TS2322: Types of property 'b' are incompatible.
90+
!!! error TS2322: Type 'V' is not assignable to type 'U'.
7891
var b16: new <T>(x: { a: T; b: T }) => T[];
7992
a15 = b16; // ok
8093
b15 = a16; // ok

0 commit comments

Comments
 (0)