Skip to content

Commit 91af958

Browse files
DanielRosenwasserDanielRosenwasser
committed
Accepted baselines.
1 parent 76e721f commit 91af958

8 files changed

+298
-30
lines changed

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

Lines changed: 14 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -9,13 +9,15 @@ tests/cases/conformance/types/union/contextualTypeWithUnionTypeObjectLiteral.ts(
99
Type 'string | number' is not assignable to type 'number'.
1010
Type 'string' is not assignable to type 'number'.
1111
tests/cases/conformance/types/union/contextualTypeWithUnionTypeObjectLiteral.ts(21,5): error TS2322: Type '{ prop: string | number; anotherP: string; }' is not assignable to type '{ prop: string; anotherP: string; } | { prop: number; }'.
12-
Type '{ prop: string | number; anotherP: string; }' is not assignable to type '{ prop: number; }'.
12+
Type '{ prop: string | number; anotherP: string; }' is not assignable to type '{ prop: string; anotherP: string; }'.
1313
Types of property 'prop' are incompatible.
14-
Type 'string | number' is not assignable to type 'number'.
15-
Type 'string' is not assignable to type 'number'.
14+
Type 'string | number' is not assignable to type 'string'.
15+
Type 'number' is not assignable to type 'string'.
1616
tests/cases/conformance/types/union/contextualTypeWithUnionTypeObjectLiteral.ts(25,5): error TS2322: Type '{ prop: string | number; anotherP: string; }' is not assignable to type '{ prop: string; anotherP: string; } | { prop: number; anotherP1: number; }'.
17-
Type '{ prop: string | number; anotherP: string; }' is not assignable to type '{ prop: number; anotherP1: number; }'.
18-
Property 'anotherP1' is missing in type '{ prop: string | number; anotherP: string; }'.
17+
Type '{ prop: string | number; anotherP: string; }' is not assignable to type '{ prop: string; anotherP: string; }'.
18+
Types of property 'prop' are incompatible.
19+
Type 'string | number' is not assignable to type 'string'.
20+
Type 'number' is not assignable to type 'string'.
1921
tests/cases/conformance/types/union/contextualTypeWithUnionTypeObjectLiteral.ts(29,5): error TS2322: Type '{ prop: string | number; anotherP: string; anotherP1: number; }' is not assignable to type '{ prop: string; anotherP: string; } | { prop: number; anotherP1: number; }'.
2022
Type '{ prop: string | number; anotherP: string; anotherP1: number; }' is not assignable to type '{ prop: number; anotherP1: number; }'.
2123
Types of property 'prop' are incompatible.
@@ -63,18 +65,20 @@ tests/cases/conformance/types/union/contextualTypeWithUnionTypeObjectLiteral.ts(
6365
var objStrOrNum6: { prop: string; anotherP: string; } | { prop: number } = {
6466
~~~~~~~~~~~~
6567
!!! error TS2322: Type '{ prop: string | number; anotherP: string; }' is not assignable to type '{ prop: string; anotherP: string; } | { prop: number; }'.
66-
!!! error TS2322: Type '{ prop: string | number; anotherP: string; }' is not assignable to type '{ prop: number; }'.
68+
!!! error TS2322: Type '{ prop: string | number; anotherP: string; }' is not assignable to type '{ prop: string; anotherP: string; }'.
6769
!!! error TS2322: Types of property 'prop' are incompatible.
68-
!!! error TS2322: Type 'string | number' is not assignable to type 'number'.
69-
!!! error TS2322: Type 'string' is not assignable to type 'number'.
70+
!!! error TS2322: Type 'string | number' is not assignable to type 'string'.
71+
!!! error TS2322: Type 'number' is not assignable to type 'string'.
7072
prop: strOrNumber,
7173
anotherP: str
7274
};
7375
var objStrOrNum7: { prop: string; anotherP: string; } | { prop: number; anotherP1: number } = {
7476
~~~~~~~~~~~~
7577
!!! error TS2322: Type '{ prop: string | number; anotherP: string; }' is not assignable to type '{ prop: string; anotherP: string; } | { prop: number; anotherP1: number; }'.
76-
!!! error TS2322: Type '{ prop: string | number; anotherP: string; }' is not assignable to type '{ prop: number; anotherP1: number; }'.
77-
!!! error TS2322: Property 'anotherP1' is missing in type '{ prop: string | number; anotherP: string; }'.
78+
!!! error TS2322: Type '{ prop: string | number; anotherP: string; }' is not assignable to type '{ prop: string; anotherP: string; }'.
79+
!!! error TS2322: Types of property 'prop' are incompatible.
80+
!!! error TS2322: Type 'string | number' is not assignable to type 'string'.
81+
!!! error TS2322: Type 'number' is not assignable to type 'string'.
7882
prop: strOrNumber,
7983
anotherP: str
8084
};

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

Lines changed: 56 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,56 @@
1+
tests/cases/compiler/errorsOnUnionsOfOverlappingObjects01.ts(18,3): error TS2345: Argument of type '{ a: string; b: string; }' is not assignable to parameter of type 'Foo | Other'.
2+
Type '{ a: string; b: string; }' is not assignable to type 'Foo'.
3+
Types of property 'b' are incompatible.
4+
Type 'string' is not assignable to type 'number'.
5+
tests/cases/compiler/errorsOnUnionsOfOverlappingObjects01.ts(19,3): error TS2345: Argument of type '{ a: string; b: string; }' is not assignable to parameter of type 'Foo | Other'.
6+
Type '{ a: string; b: string; }' is not assignable to type 'Foo'.
7+
Types of property 'b' are incompatible.
8+
Type 'string' is not assignable to type 'number'.
9+
tests/cases/compiler/errorsOnUnionsOfOverlappingObjects01.ts(24,5): error TS2345: Argument of type '{ a: string; b: string; }' is not assignable to parameter of type 'Bar | Other'.
10+
Object literal may only specify known properties, and 'a' does not exist in type 'Bar | Other'.
11+
12+
13+
==== tests/cases/compiler/errorsOnUnionsOfOverlappingObjects01.ts (3 errors) ====
14+
interface Foo {
15+
a: string;
16+
b: number;
17+
};
18+
19+
interface Bar {
20+
b: string;
21+
}
22+
23+
interface Other {
24+
totallyUnrelatedProperty: number;
25+
}
26+
27+
export let x = { a: '', b: '' };
28+
29+
declare function f(x: Foo | Other): any;
30+
31+
f(x);
32+
~
33+
!!! error TS2345: Argument of type '{ a: string; b: string; }' is not assignable to parameter of type 'Foo | Other'.
34+
!!! error TS2345: Type '{ a: string; b: string; }' is not assignable to type 'Foo'.
35+
!!! error TS2345: Types of property 'b' are incompatible.
36+
!!! error TS2345: Type 'string' is not assignable to type 'number'.
37+
f({ a: '', b: '' })
38+
~~~~~~~~~~~~~~~~
39+
!!! error TS2345: Argument of type '{ a: string; b: string; }' is not assignable to parameter of type 'Foo | Other'.
40+
!!! error TS2345: Type '{ a: string; b: string; }' is not assignable to type 'Foo'.
41+
!!! error TS2345: Types of property 'b' are incompatible.
42+
!!! error TS2345: Type 'string' is not assignable to type 'number'.
43+
44+
declare function g(x: Bar | Other): any;
45+
46+
g(x);
47+
g({ a: '', b: '' })
48+
~~~~~
49+
!!! error TS2345: Argument of type '{ a: string; b: string; }' is not assignable to parameter of type 'Bar | Other'.
50+
!!! error TS2345: Object literal may only specify known properties, and 'a' does not exist in type 'Bar | Other'.
51+
52+
declare function h(x: Foo | Bar | Other): any;
53+
54+
h(x);
55+
h({ a: '', b: '' })
56+

‎tests/baselines/reference/errorsOnUnionsOfOverlappingObjects01.js

Lines changed: 43 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,43 @@
1+
//// [errorsOnUnionsOfOverlappingObjects01.ts]
2+
interface Foo {
3+
a: string;
4+
b: number;
5+
};
6+
7+
interface Bar {
8+
b: string;
9+
}
10+
11+
interface Other {
12+
totallyUnrelatedProperty: number;
13+
}
14+
15+
export let x = { a: '', b: '' };
16+
17+
declare function f(x: Foo | Other): any;
18+
19+
f(x);
20+
f({ a: '', b: '' })
21+
22+
declare function g(x: Bar | Other): any;
23+
24+
g(x);
25+
g({ a: '', b: '' })
26+
27+
declare function h(x: Foo | Bar | Other): any;
28+
29+
h(x);
30+
h({ a: '', b: '' })
31+
32+
33+
//// [errorsOnUnionsOfOverlappingObjects01.js]
34+
"use strict";
35+
exports.__esModule = true;
36+
;
37+
exports.x = { a: '', b: '' };
38+
f(exports.x);
39+
f({ a: '', b: '' });
40+
g(exports.x);
41+
g({ a: '', b: '' });
42+
h(exports.x);
43+
h({ a: '', b: '' });

‎tests/baselines/reference/errorsOnUnionsOfOverlappingObjects01.symbols

Lines changed: 77 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,77 @@
1+
=== tests/cases/compiler/errorsOnUnionsOfOverlappingObjects01.ts ===
2+
interface Foo {
3+
>Foo : Symbol(Foo, Decl(errorsOnUnionsOfOverlappingObjects01.ts, 0, 0))
4+
5+
a: string;
6+
>a : Symbol(Foo.a, Decl(errorsOnUnionsOfOverlappingObjects01.ts, 0, 15))
7+
8+
b: number;
9+
>b : Symbol(Foo.b, Decl(errorsOnUnionsOfOverlappingObjects01.ts, 1, 14))
10+
11+
};
12+
13+
interface Bar {
14+
>Bar : Symbol(Bar, Decl(errorsOnUnionsOfOverlappingObjects01.ts, 3, 2))
15+
16+
b: string;
17+
>b : Symbol(Bar.b, Decl(errorsOnUnionsOfOverlappingObjects01.ts, 5, 15))
18+
}
19+
20+
interface Other {
21+
>Other : Symbol(Other, Decl(errorsOnUnionsOfOverlappingObjects01.ts, 7, 1))
22+
23+
totallyUnrelatedProperty: number;
24+
>totallyUnrelatedProperty : Symbol(Other.totallyUnrelatedProperty, Decl(errorsOnUnionsOfOverlappingObjects01.ts, 9, 17))
25+
}
26+
27+
export let x = { a: '', b: '' };
28+
>x : Symbol(x, Decl(errorsOnUnionsOfOverlappingObjects01.ts, 13, 10))
29+
>a : Symbol(a, Decl(errorsOnUnionsOfOverlappingObjects01.ts, 13, 16))
30+
>b : Symbol(b, Decl(errorsOnUnionsOfOverlappingObjects01.ts, 13, 23))
31+
32+
declare function f(x: Foo | Other): any;
33+
>f : Symbol(f, Decl(errorsOnUnionsOfOverlappingObjects01.ts, 13, 32))
34+
>x : Symbol(x, Decl(errorsOnUnionsOfOverlappingObjects01.ts, 15, 19))
35+
>Foo : Symbol(Foo, Decl(errorsOnUnionsOfOverlappingObjects01.ts, 0, 0))
36+
>Other : Symbol(Other, Decl(errorsOnUnionsOfOverlappingObjects01.ts, 7, 1))
37+
38+
f(x);
39+
>f : Symbol(f, Decl(errorsOnUnionsOfOverlappingObjects01.ts, 13, 32))
40+
>x : Symbol(x, Decl(errorsOnUnionsOfOverlappingObjects01.ts, 13, 10))
41+
42+
f({ a: '', b: '' })
43+
>f : Symbol(f, Decl(errorsOnUnionsOfOverlappingObjects01.ts, 13, 32))
44+
>a : Symbol(a, Decl(errorsOnUnionsOfOverlappingObjects01.ts, 18, 3))
45+
>b : Symbol(b, Decl(errorsOnUnionsOfOverlappingObjects01.ts, 18, 10))
46+
47+
declare function g(x: Bar | Other): any;
48+
>g : Symbol(g, Decl(errorsOnUnionsOfOverlappingObjects01.ts, 18, 19))
49+
>x : Symbol(x, Decl(errorsOnUnionsOfOverlappingObjects01.ts, 20, 19))
50+
>Bar : Symbol(Bar, Decl(errorsOnUnionsOfOverlappingObjects01.ts, 3, 2))
51+
>Other : Symbol(Other, Decl(errorsOnUnionsOfOverlappingObjects01.ts, 7, 1))
52+
53+
g(x);
54+
>g : Symbol(g, Decl(errorsOnUnionsOfOverlappingObjects01.ts, 18, 19))
55+
>x : Symbol(x, Decl(errorsOnUnionsOfOverlappingObjects01.ts, 13, 10))
56+
57+
g({ a: '', b: '' })
58+
>g : Symbol(g, Decl(errorsOnUnionsOfOverlappingObjects01.ts, 18, 19))
59+
>a : Symbol(a, Decl(errorsOnUnionsOfOverlappingObjects01.ts, 23, 3))
60+
>b : Symbol(b, Decl(errorsOnUnionsOfOverlappingObjects01.ts, 23, 10))
61+
62+
declare function h(x: Foo | Bar | Other): any;
63+
>h : Symbol(h, Decl(errorsOnUnionsOfOverlappingObjects01.ts, 23, 19))
64+
>x : Symbol(x, Decl(errorsOnUnionsOfOverlappingObjects01.ts, 25, 19))
65+
>Foo : Symbol(Foo, Decl(errorsOnUnionsOfOverlappingObjects01.ts, 0, 0))
66+
>Bar : Symbol(Bar, Decl(errorsOnUnionsOfOverlappingObjects01.ts, 3, 2))
67+
>Other : Symbol(Other, Decl(errorsOnUnionsOfOverlappingObjects01.ts, 7, 1))
68+
69+
h(x);
70+
>h : Symbol(h, Decl(errorsOnUnionsOfOverlappingObjects01.ts, 23, 19))
71+
>x : Symbol(x, Decl(errorsOnUnionsOfOverlappingObjects01.ts, 13, 10))
72+
73+
h({ a: '', b: '' })
74+
>h : Symbol(h, Decl(errorsOnUnionsOfOverlappingObjects01.ts, 23, 19))
75+
>a : Symbol(a, Decl(errorsOnUnionsOfOverlappingObjects01.ts, 28, 3))
76+
>b : Symbol(b, Decl(errorsOnUnionsOfOverlappingObjects01.ts, 28, 10))
77+

‎tests/baselines/reference/errorsOnUnionsOfOverlappingObjects01.types

Lines changed: 82 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,82 @@
1+
=== tests/cases/compiler/errorsOnUnionsOfOverlappingObjects01.ts ===
2+
interface Foo {
3+
a: string;
4+
>a : string
5+
6+
b: number;
7+
>b : number
8+
9+
};
10+
11+
interface Bar {
12+
b: string;
13+
>b : string
14+
}
15+
16+
interface Other {
17+
totallyUnrelatedProperty: number;
18+
>totallyUnrelatedProperty : number
19+
}
20+
21+
export let x = { a: '', b: '' };
22+
>x : { a: string; b: string; }
23+
>{ a: '', b: '' } : { a: string; b: string; }
24+
>a : string
25+
>'' : ""
26+
>b : string
27+
>'' : ""
28+
29+
declare function f(x: Foo | Other): any;
30+
>f : (x: Foo | Other) => any
31+
>x : Foo | Other
32+
33+
f(x);
34+
>f(x) : any
35+
>f : (x: Foo | Other) => any
36+
>x : { a: string; b: string; }
37+
38+
f({ a: '', b: '' })
39+
>f({ a: '', b: '' }) : any
40+
>f : (x: Foo | Other) => any
41+
>{ a: '', b: '' } : { a: string; b: string; }
42+
>a : string
43+
>'' : ""
44+
>b : string
45+
>'' : ""
46+
47+
declare function g(x: Bar | Other): any;
48+
>g : (x: Bar | Other) => any
49+
>x : Bar | Other
50+
51+
g(x);
52+
>g(x) : any
53+
>g : (x: Bar | Other) => any
54+
>x : { a: string; b: string; }
55+
56+
g({ a: '', b: '' })
57+
>g({ a: '', b: '' }) : any
58+
>g : (x: Bar | Other) => any
59+
>{ a: '', b: '' } : { a: string; b: string; }
60+
>a : string
61+
>'' : ""
62+
>b : string
63+
>'' : ""
64+
65+
declare function h(x: Foo | Bar | Other): any;
66+
>h : (x: Foo | Bar | Other) => any
67+
>x : Foo | Bar | Other
68+
69+
h(x);
70+
>h(x) : any
71+
>h : (x: Foo | Bar | Other) => any
72+
>x : { a: string; b: string; }
73+
74+
h({ a: '', b: '' })
75+
>h({ a: '', b: '' }) : any
76+
>h : (x: Foo | Bar | Other) => any
77+
>{ a: '', b: '' } : { a: string; b: string; }
78+
>a : string
79+
>'' : ""
80+
>b : string
81+
>'' : ""
82+

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

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -14,9 +14,9 @@ tests/cases/compiler/excessPropertyCheckWithUnions.ts(39,1): error TS2322: Type
1414
Types of property 'tag' are incompatible.
1515
Type '"A"' is not assignable to type '"C"'.
1616
tests/cases/compiler/excessPropertyCheckWithUnions.ts(40,1): error TS2322: Type '{ tag: "A"; z: true; }' is not assignable to type 'Ambiguous'.
17-
Type '{ tag: "A"; z: true; }' is not assignable to type '{ tag: "C"; }'.
17+
Type '{ tag: "A"; z: true; }' is not assignable to type '{ tag: "B"; z: boolean; }'.
1818
Types of property 'tag' are incompatible.
19-
Type '"A"' is not assignable to type '"C"'.
19+
Type '"A"' is not assignable to type '"B"'.
2020
tests/cases/compiler/excessPropertyCheckWithUnions.ts(49,35): error TS2322: Type '{ a: 1; b: 1; first: string; second: string; }' is not assignable to type 'Overlapping'.
2121
Object literal may only specify known properties, and 'second' does not exist in type '{ a: 1; b: 1; first: string; }'.
2222
tests/cases/compiler/excessPropertyCheckWithUnions.ts(50,35): error TS2322: Type '{ a: 1; b: 1; first: string; third: string; }' is not assignable to type 'Overlapping'.
@@ -92,9 +92,9 @@ tests/cases/compiler/excessPropertyCheckWithUnions.ts(66,9): error TS2322: Type
9292
amb = { tag: "A", z: true }
9393
~~~
9494
!!! error TS2322: Type '{ tag: "A"; z: true; }' is not assignable to type 'Ambiguous'.
95-
!!! error TS2322: Type '{ tag: "A"; z: true; }' is not assignable to type '{ tag: "C"; }'.
95+
!!! error TS2322: Type '{ tag: "A"; z: true; }' is not assignable to type '{ tag: "B"; z: boolean; }'.
9696
!!! error TS2322: Types of property 'tag' are incompatible.
97-
!!! error TS2322: Type '"A"' is not assignable to type '"C"'.
97+
!!! error TS2322: Type '"A"' is not assignable to type '"B"'.
9898

9999
type Overlapping =
100100
| { a: 1, b: 1, first: string }

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

Lines changed: 12 additions & 12 deletions
Original file line numberDiff line numberDiff line change
@@ -6,9 +6,8 @@ tests/cases/conformance/types/intersection/intersectionAndUnionTypes.ts(20,1): e
66
Property 'a' is missing in type 'B'.
77
tests/cases/conformance/types/intersection/intersectionAndUnionTypes.ts(23,1): error TS2322: Type 'A | B' is not assignable to type '(A & B) | (C & D)'.
88
Type 'A' is not assignable to type '(A & B) | (C & D)'.
9-
Type 'A' is not assignable to type 'C & D'.
10-
Type 'A' is not assignable to type 'C'.
11-
Property 'c' is missing in type 'A'.
9+
Type 'A' is not assignable to type 'A & B'.
10+
Type 'A' is not assignable to type 'B'.
1211
tests/cases/conformance/types/intersection/intersectionAndUnionTypes.ts(25,1): error TS2322: Type 'C | D' is not assignable to type '(A & B) | (C & D)'.
1312
Type 'C' is not assignable to type '(A & B) | (C & D)'.
1413
Type 'C' is not assignable to type 'C & D'.
@@ -35,14 +34,15 @@ tests/cases/conformance/types/intersection/intersectionAndUnionTypes.ts(31,1): e
3534
Type 'A & B' is not assignable to type 'D'.
3635
tests/cases/conformance/types/intersection/intersectionAndUnionTypes.ts(32,1): error TS2322: Type 'A | B' is not assignable to type '(A & C) | (A & D) | (B & C) | (B & D)'.
3736
Type 'A' is not assignable to type '(A & C) | (A & D) | (B & C) | (B & D)'.
38-
Type 'A' is not assignable to type 'B & D'.
39-
Type 'A' is not assignable to type 'B'.
37+
Type 'A' is not assignable to type 'A & D'.
38+
Type 'A' is not assignable to type 'D'.
39+
Property 'd' is missing in type 'A'.
4040
tests/cases/conformance/types/intersection/intersectionAndUnionTypes.ts(33,1): error TS2322: Type 'C & D' is not assignable to type '(A & C) | (A & D) | (B & C) | (B & D)'.
4141
Type 'C & D' is not assignable to type 'B & D'.
4242
Type 'C & D' is not assignable to type 'B'.
4343
tests/cases/conformance/types/intersection/intersectionAndUnionTypes.ts(34,1): error TS2322: Type 'C | D' is not assignable to type '(A & C) | (A & D) | (B & C) | (B & D)'.
4444
Type 'C' is not assignable to type '(A & C) | (A & D) | (B & C) | (B & D)'.
45-
Type 'C' is not assignable to type 'B & D'.
45+
Type 'C' is not assignable to type 'B & C'.
4646
Type 'C' is not assignable to type 'B'.
4747
Property 'b' is missing in type 'C'.
4848
tests/cases/conformance/types/intersection/intersectionAndUnionTypes.ts(35,1): error TS2322: Type '(A & C) | (A & D) | (B & C) | (B & D)' is not assignable to type 'A & B'.
@@ -90,9 +90,8 @@ tests/cases/conformance/types/intersection/intersectionAndUnionTypes.ts(37,1): e
9090
~
9191
!!! error TS2322: Type 'A | B' is not assignable to type '(A & B) | (C & D)'.
9292
!!! error TS2322: Type 'A' is not assignable to type '(A & B) | (C & D)'.
93-
!!! error TS2322: Type 'A' is not assignable to type 'C & D'.
94-
!!! error TS2322: Type 'A' is not assignable to type 'C'.
95-
!!! error TS2322: Property 'c' is missing in type 'A'.
93+
!!! error TS2322: Type 'A' is not assignable to type 'A & B'.
94+
!!! error TS2322: Type 'A' is not assignable to type 'B'.
9695
x = cnd; // Ok
9796
x = cod;
9897
~
@@ -135,8 +134,9 @@ tests/cases/conformance/types/intersection/intersectionAndUnionTypes.ts(37,1): e
135134
~
136135
!!! error TS2322: Type 'A | B' is not assignable to type '(A & C) | (A & D) | (B & C) | (B & D)'.
137136
!!! error TS2322: Type 'A' is not assignable to type '(A & C) | (A & D) | (B & C) | (B & D)'.
138-
!!! error TS2322: Type 'A' is not assignable to type 'B & D'.
139-
!!! error TS2322: Type 'A' is not assignable to type 'B'.
137+
!!! error TS2322: Type 'A' is not assignable to type 'A & D'.
138+
!!! error TS2322: Type 'A' is not assignable to type 'D'.
139+
!!! error TS2322: Property 'd' is missing in type 'A'.
140140
y = cnd;
141141
~
142142
!!! error TS2322: Type 'C & D' is not assignable to type '(A & C) | (A & D) | (B & C) | (B & D)'.
@@ -146,7 +146,7 @@ tests/cases/conformance/types/intersection/intersectionAndUnionTypes.ts(37,1): e
146146
~
147147
!!! error TS2322: Type 'C | D' is not assignable to type '(A & C) | (A & D) | (B & C) | (B & D)'.
148148
!!! error TS2322: Type 'C' is not assignable to type '(A & C) | (A & D) | (B & C) | (B & D)'.
149-
!!! error TS2322: Type 'C' is not assignable to type 'B & D'.
149+
!!! error TS2322: Type 'C' is not assignable to type 'B & C'.
150150
!!! error TS2322: Type 'C' is not assignable to type 'B'.
151151
!!! error TS2322: Property 'b' is missing in type 'C'.
152152
anb = y;

0 commit comments

Comments
 (0)