Skip to content

Commit f902f8a

Browse files
ahejlsbergahejlsberg
committed
Add tests
1 parent adeb532 commit f902f8a

5 files changed

+234
-0
lines changed

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

+49
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,49 @@
1+
tests/cases/compiler/intersectionsAndOptionalProperties.ts(5,1): error TS2322: Type '{ a: null; b: string; }' is not assignable to type '{ a?: number | undefined; b: string; }'.
2+
Types of property 'a' are incompatible.
3+
Type 'null' is not assignable to type 'number | undefined'.
4+
tests/cases/compiler/intersectionsAndOptionalProperties.ts(6,1): error TS2322: Type '{ a: null; } & { b: string; }' is not assignable to type '{ a?: number | undefined; b: string; }'.
5+
Types of property 'a' are incompatible.
6+
Type 'null' is not assignable to type 'number | undefined'.
7+
tests/cases/compiler/intersectionsAndOptionalProperties.ts(19,5): error TS2322: Type 'From' is not assignable to type 'To'.
8+
Types of property 'field' are incompatible.
9+
Type 'null' is not assignable to type 'number | undefined'.
10+
tests/cases/compiler/intersectionsAndOptionalProperties.ts(20,5): error TS2322: Type 'null' is not assignable to type 'number | undefined'.
11+
12+
13+
==== tests/cases/compiler/intersectionsAndOptionalProperties.ts (4 errors) ====
14+
declare let x: { a?: number, b: string };
15+
declare let y: { a: null, b: string };
16+
declare let z: { a: null } & { b: string };
17+
18+
x = y; // Error
19+
~
20+
!!! error TS2322: Type '{ a: null; b: string; }' is not assignable to type '{ a?: number | undefined; b: string; }'.
21+
!!! error TS2322: Types of property 'a' are incompatible.
22+
!!! error TS2322: Type 'null' is not assignable to type 'number | undefined'.
23+
x = z; // Error
24+
~
25+
!!! error TS2322: Type '{ a: null; } & { b: string; }' is not assignable to type '{ a?: number | undefined; b: string; }'.
26+
!!! error TS2322: Types of property 'a' are incompatible.
27+
!!! error TS2322: Type 'null' is not assignable to type 'number | undefined'.
28+
29+
// Repro from #36604
30+
31+
interface To {
32+
field?: number;
33+
anotherField: string;
34+
}
35+
36+
type From = { field: null } & Omit<To, 'field'>;
37+
38+
function foo(v: From) {
39+
let x: To;
40+
x = v; // Error
41+
~
42+
!!! error TS2322: Type 'From' is not assignable to type 'To'.
43+
!!! error TS2322: Types of property 'field' are incompatible.
44+
!!! error TS2322: Type 'null' is not assignable to type 'number | undefined'.
45+
x.field = v.field; // Error
46+
~~~~~~~
47+
!!! error TS2322: Type 'null' is not assignable to type 'number | undefined'.
48+
}
49+

‎tests/baselines/reference/intersectionsAndOptionalProperties.js

+33
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,33 @@
1+
//// [intersectionsAndOptionalProperties.ts]
2+
declare let x: { a?: number, b: string };
3+
declare let y: { a: null, b: string };
4+
declare let z: { a: null } & { b: string };
5+
6+
x = y; // Error
7+
x = z; // Error
8+
9+
// Repro from #36604
10+
11+
interface To {
12+
field?: number;
13+
anotherField: string;
14+
}
15+
16+
type From = { field: null } & Omit<To, 'field'>;
17+
18+
function foo(v: From) {
19+
let x: To;
20+
x = v; // Error
21+
x.field = v.field; // Error
22+
}
23+
24+
25+
//// [intersectionsAndOptionalProperties.js]
26+
"use strict";
27+
x = y; // Error
28+
x = z; // Error
29+
function foo(v) {
30+
var x;
31+
x = v; // Error
32+
x.field = v.field; // Error
33+
}

‎tests/baselines/reference/intersectionsAndOptionalProperties.symbols

+64
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,64 @@
1+
=== tests/cases/compiler/intersectionsAndOptionalProperties.ts ===
2+
declare let x: { a?: number, b: string };
3+
>x : Symbol(x, Decl(intersectionsAndOptionalProperties.ts, 0, 11))
4+
>a : Symbol(a, Decl(intersectionsAndOptionalProperties.ts, 0, 16))
5+
>b : Symbol(b, Decl(intersectionsAndOptionalProperties.ts, 0, 28))
6+
7+
declare let y: { a: null, b: string };
8+
>y : Symbol(y, Decl(intersectionsAndOptionalProperties.ts, 1, 11))
9+
>a : Symbol(a, Decl(intersectionsAndOptionalProperties.ts, 1, 16))
10+
>b : Symbol(b, Decl(intersectionsAndOptionalProperties.ts, 1, 25))
11+
12+
declare let z: { a: null } & { b: string };
13+
>z : Symbol(z, Decl(intersectionsAndOptionalProperties.ts, 2, 11))
14+
>a : Symbol(a, Decl(intersectionsAndOptionalProperties.ts, 2, 16))
15+
>b : Symbol(b, Decl(intersectionsAndOptionalProperties.ts, 2, 30))
16+
17+
x = y; // Error
18+
>x : Symbol(x, Decl(intersectionsAndOptionalProperties.ts, 0, 11))
19+
>y : Symbol(y, Decl(intersectionsAndOptionalProperties.ts, 1, 11))
20+
21+
x = z; // Error
22+
>x : Symbol(x, Decl(intersectionsAndOptionalProperties.ts, 0, 11))
23+
>z : Symbol(z, Decl(intersectionsAndOptionalProperties.ts, 2, 11))
24+
25+
// Repro from #36604
26+
27+
interface To {
28+
>To : Symbol(To, Decl(intersectionsAndOptionalProperties.ts, 5, 6))
29+
30+
field?: number;
31+
>field : Symbol(To.field, Decl(intersectionsAndOptionalProperties.ts, 9, 14))
32+
33+
anotherField: string;
34+
>anotherField : Symbol(To.anotherField, Decl(intersectionsAndOptionalProperties.ts, 10, 19))
35+
}
36+
37+
type From = { field: null } & Omit<To, 'field'>;
38+
>From : Symbol(From, Decl(intersectionsAndOptionalProperties.ts, 12, 1))
39+
>field : Symbol(field, Decl(intersectionsAndOptionalProperties.ts, 14, 14))
40+
>Omit : Symbol(Omit, Decl(lib.es5.d.ts, --, --))
41+
>To : Symbol(To, Decl(intersectionsAndOptionalProperties.ts, 5, 6))
42+
43+
function foo(v: From) {
44+
>foo : Symbol(foo, Decl(intersectionsAndOptionalProperties.ts, 14, 49))
45+
>v : Symbol(v, Decl(intersectionsAndOptionalProperties.ts, 16, 13))
46+
>From : Symbol(From, Decl(intersectionsAndOptionalProperties.ts, 12, 1))
47+
48+
let x: To;
49+
>x : Symbol(x, Decl(intersectionsAndOptionalProperties.ts, 17, 7))
50+
>To : Symbol(To, Decl(intersectionsAndOptionalProperties.ts, 5, 6))
51+
52+
x = v; // Error
53+
>x : Symbol(x, Decl(intersectionsAndOptionalProperties.ts, 17, 7))
54+
>v : Symbol(v, Decl(intersectionsAndOptionalProperties.ts, 16, 13))
55+
56+
x.field = v.field; // Error
57+
>x.field : Symbol(To.field, Decl(intersectionsAndOptionalProperties.ts, 9, 14))
58+
>x : Symbol(x, Decl(intersectionsAndOptionalProperties.ts, 17, 7))
59+
>field : Symbol(To.field, Decl(intersectionsAndOptionalProperties.ts, 9, 14))
60+
>v.field : Symbol(field, Decl(intersectionsAndOptionalProperties.ts, 14, 14))
61+
>v : Symbol(v, Decl(intersectionsAndOptionalProperties.ts, 16, 13))
62+
>field : Symbol(field, Decl(intersectionsAndOptionalProperties.ts, 14, 14))
63+
}
64+

‎tests/baselines/reference/intersectionsAndOptionalProperties.types

+65
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,65 @@
1+
=== tests/cases/compiler/intersectionsAndOptionalProperties.ts ===
2+
declare let x: { a?: number, b: string };
3+
>x : { a?: number | undefined; b: string; }
4+
>a : number | undefined
5+
>b : string
6+
7+
declare let y: { a: null, b: string };
8+
>y : { a: null; b: string; }
9+
>a : null
10+
>null : null
11+
>b : string
12+
13+
declare let z: { a: null } & { b: string };
14+
>z : { a: null; } & { b: string; }
15+
>a : null
16+
>null : null
17+
>b : string
18+
19+
x = y; // Error
20+
>x = y : { a: null; b: string; }
21+
>x : { a?: number | undefined; b: string; }
22+
>y : { a: null; b: string; }
23+
24+
x = z; // Error
25+
>x = z : { a: null; } & { b: string; }
26+
>x : { a?: number | undefined; b: string; }
27+
>z : { a: null; } & { b: string; }
28+
29+
// Repro from #36604
30+
31+
interface To {
32+
field?: number;
33+
>field : number | undefined
34+
35+
anotherField: string;
36+
>anotherField : string
37+
}
38+
39+
type From = { field: null } & Omit<To, 'field'>;
40+
>From : From
41+
>field : null
42+
>null : null
43+
44+
function foo(v: From) {
45+
>foo : (v: From) => void
46+
>v : From
47+
48+
let x: To;
49+
>x : To
50+
51+
x = v; // Error
52+
>x = v : From
53+
>x : To
54+
>v : From
55+
56+
x.field = v.field; // Error
57+
>x.field = v.field : null
58+
>x.field : number | undefined
59+
>x : To
60+
>field : number | undefined
61+
>v.field : null
62+
>v : From
63+
>field : null
64+
}
65+

‎tests/cases/compiler/intersectionsAndOptionalProperties.ts

+23
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,23 @@
1+
// @strict: true
2+
3+
declare let x: { a?: number, b: string };
4+
declare let y: { a: null, b: string };
5+
declare let z: { a: null } & { b: string };
6+
7+
x = y; // Error
8+
x = z; // Error
9+
10+
// Repro from #36604
11+
12+
interface To {
13+
field?: number;
14+
anotherField: string;
15+
}
16+
17+
type From = { field: null } & Omit<To, 'field'>;
18+
19+
function foo(v: From) {
20+
let x: To;
21+
x = v; // Error
22+
x.field = v.field; // Error
23+
}

0 commit comments

Comments
 (0)