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
|
//// [inferenceOptionalProperties.ts]
declare function test<T>(x: { [key: string]: T }): T;
declare let x1: { a?: string, b?: number };
declare let x2: { a?: string, b?: number | undefined };
const y1 = test(x1);
const y2 = test(x2);
var v1: Required<{ a?: string, b?: number }>;
var v1: { a: string, b: number };
var v2: Required<{ a?: string, b?: number | undefined }>;
var v2: { a: string, b: number | undefined };
var v3: Partial<{ a: string, b: string }>;
var v3: { a?: string, b?: string };
var v4: Partial<{ a: string, b: string | undefined }>;
var v4: { a?: string, b?: string | undefined };
var v5: Required<Partial<{ a: string, b: string }>>;
var v5: { a: string, b: string };
var v6: Required<Partial<{ a: string, b: string | undefined }>>;
var v6: { a: string, b: string | undefined };
//// [inferenceOptionalProperties.js]
"use strict";
var y1 = test(x1);
var y2 = test(x2);
var v1;
var v1;
var v2;
var v2;
var v3;
var v3;
var v4;
var v4;
var v5;
var v5;
var v6;
var v6;
//// [inferenceOptionalProperties.d.ts]
declare function test<T>(x: {
[key: string]: T;
}): T;
declare let x1: {
a?: string;
b?: number;
};
declare let x2: {
a?: string;
b?: number | undefined;
};
declare const y1: string | number;
declare const y2: string | number | undefined;
declare var v1: Required<{
a?: string;
b?: number;
}>;
declare var v1: {
a: string;
b: number;
};
declare var v2: Required<{
a?: string;
b?: number | undefined;
}>;
declare var v2: {
a: string;
b: number | undefined;
};
declare var v3: Partial<{
a: string;
b: string;
}>;
declare var v3: {
a?: string;
b?: string;
};
declare var v4: Partial<{
a: string;
b: string | undefined;
}>;
declare var v4: {
a?: string;
b?: string | undefined;
};
declare var v5: Required<Partial<{
a: string;
b: string;
}>>;
declare var v5: {
a: string;
b: string;
};
declare var v6: Required<Partial<{
a: string;
b: string | undefined;
}>>;
declare var v6: {
a: string;
b: string | undefined;
};
|
