Skip to content

Commit 43e383f

Browse files
ahejlsbergahejlsberg
committed
Add more tests
1 parent 973fce0 commit 43e383f

File tree

4 files changed

+602
-0
lines changed

4 files changed

+602
-0
lines changed

‎tests/baselines/reference/mappedTypes4.js

Lines changed: 129 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,129 @@
1+
//// [mappedTypes4.ts]
2+
3+
type Box<T> = {
4+
};
5+
6+
type Boxified<T> = {
7+
[P in keyof T]: Box<T[P]>;
8+
};
9+
10+
function boxify<T>(obj: T): Boxified<T> {
11+
if (typeof obj === "object") {
12+
let result = {} as Boxified<T>;
13+
for (let k in obj) {
14+
result[k] = { value: obj[k] };
15+
}
16+
return result;
17+
}
18+
return <any>obj;
19+
}
20+
21+
type A = { a: string };
22+
type B = { b: string };
23+
type C = { c: string };
24+
25+
function f1(x: A | B | C | undefined) {
26+
return boxify(x);
27+
}
28+
29+
type T00 = Partial<A | B | C>;
30+
type T01 = Readonly<A | B | C | null | undefined>;
31+
type T02 = Boxified<A | B[] | C | string>
32+
type T03 = Readonly<string | number | boolean | null | undefined | void>;
33+
type T04 = Boxified<string | number | boolean | null | undefined | void>;
34+
type T05 = Partial<"hello" | "world" | 42>;
35+
36+
type BoxifiedWithSentinel<T, U> = {
37+
[P in keyof T]: Box<T[P]> | U;
38+
}
39+
40+
type T10 = BoxifiedWithSentinel<A | B | C, null>;
41+
type T11 = BoxifiedWithSentinel<A | B | C, undefined>;
42+
type T12 = BoxifiedWithSentinel<string, undefined>;
43+
44+
type DeepReadonly<T> = {
45+
readonly [P in keyof T]: DeepReadonly<T[P]>;
46+
};
47+
48+
type Foo = {
49+
x: number;
50+
y: { a: string, b: number };
51+
z: boolean;
52+
};
53+
54+
type DeepReadonlyFoo = {
55+
readonly x: number;
56+
readonly y: { readonly a: string, readonly b: number };
57+
readonly z: boolean;
58+
};
59+
60+
var x1: DeepReadonly<Foo>;
61+
var x1: DeepReadonlyFoo;
62+
63+
//// [mappedTypes4.js]
64+
function boxify(obj) {
65+
if (typeof obj === "object") {
66+
var result = {};
67+
for (var k in obj) {
68+
result[k] = { value: obj[k] };
69+
}
70+
return result;
71+
}
72+
return obj;
73+
}
74+
function f1(x) {
75+
return boxify(x);
76+
}
77+
var x1;
78+
var x1;
79+
80+
81+
//// [mappedTypes4.d.ts]
82+
declare type Box<T> = {};
83+
declare type Boxified<T> = {
84+
[P in keyof T]: Box<T[P]>;
85+
};
86+
declare function boxify<T>(obj: T): Boxified<T>;
87+
declare type A = {
88+
a: string;
89+
};
90+
declare type B = {
91+
b: string;
92+
};
93+
declare type C = {
94+
c: string;
95+
};
96+
declare function f1(x: A | B | C | undefined): Boxified<A> | Boxified<B> | Boxified<C> | undefined;
97+
declare type T00 = Partial<A | B | C>;
98+
declare type T01 = Readonly<A | B | C | null | undefined>;
99+
declare type T02 = Boxified<A | B[] | C | string>;
100+
declare type T03 = Readonly<string | number | boolean | null | undefined | void>;
101+
declare type T04 = Boxified<string | number | boolean | null | undefined | void>;
102+
declare type T05 = Partial<"hello" | "world" | 42>;
103+
declare type BoxifiedWithSentinel<T, U> = {
104+
[P in keyof T]: Box<T[P]> | U;
105+
};
106+
declare type T10 = BoxifiedWithSentinel<A | B | C, null>;
107+
declare type T11 = BoxifiedWithSentinel<A | B | C, undefined>;
108+
declare type T12 = BoxifiedWithSentinel<string, undefined>;
109+
declare type DeepReadonly<T> = {
110+
readonly [P in keyof T]: DeepReadonly<T[P]>;
111+
};
112+
declare type Foo = {
113+
x: number;
114+
y: {
115+
a: string;
116+
b: number;
117+
};
118+
z: boolean;
119+
};
120+
declare type DeepReadonlyFoo = {
121+
readonly x: number;
122+
readonly y: {
123+
readonly a: string;
124+
readonly b: number;
125+
};
126+
readonly z: boolean;
127+
};
128+
declare var x1: DeepReadonly<Foo>;
129+
declare var x1: DeepReadonlyFoo;

‎tests/baselines/reference/mappedTypes4.symbols

Lines changed: 198 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,198 @@
1+
=== tests/cases/conformance/types/mapped/mappedTypes4.ts ===
2+
3+
type Box<T> = {
4+
>Box : Symbol(Box, Decl(mappedTypes4.ts, 0, 0))
5+
>T : Symbol(T, Decl(mappedTypes4.ts, 1, 9))
6+
7+
};
8+
9+
type Boxified<T> = {
10+
>Boxified : Symbol(Boxified, Decl(mappedTypes4.ts, 2, 2))
11+
>T : Symbol(T, Decl(mappedTypes4.ts, 4, 14))
12+
13+
[P in keyof T]: Box<T[P]>;
14+
>P : Symbol(P, Decl(mappedTypes4.ts, 5, 5))
15+
>T : Symbol(T, Decl(mappedTypes4.ts, 4, 14))
16+
>Box : Symbol(Box, Decl(mappedTypes4.ts, 0, 0))
17+
>T : Symbol(T, Decl(mappedTypes4.ts, 4, 14))
18+
>P : Symbol(P, Decl(mappedTypes4.ts, 5, 5))
19+
20+
};
21+
22+
function boxify<T>(obj: T): Boxified<T> {
23+
>boxify : Symbol(boxify, Decl(mappedTypes4.ts, 6, 2))
24+
>T : Symbol(T, Decl(mappedTypes4.ts, 8, 16))
25+
>obj : Symbol(obj, Decl(mappedTypes4.ts, 8, 19))
26+
>T : Symbol(T, Decl(mappedTypes4.ts, 8, 16))
27+
>Boxified : Symbol(Boxified, Decl(mappedTypes4.ts, 2, 2))
28+
>T : Symbol(T, Decl(mappedTypes4.ts, 8, 16))
29+
30+
if (typeof obj === "object") {
31+
>obj : Symbol(obj, Decl(mappedTypes4.ts, 8, 19))
32+
33+
let result = {} as Boxified<T>;
34+
>result : Symbol(result, Decl(mappedTypes4.ts, 10, 11))
35+
>Boxified : Symbol(Boxified, Decl(mappedTypes4.ts, 2, 2))
36+
>T : Symbol(T, Decl(mappedTypes4.ts, 8, 16))
37+
38+
for (let k in obj) {
39+
>k : Symbol(k, Decl(mappedTypes4.ts, 11, 16))
40+
>obj : Symbol(obj, Decl(mappedTypes4.ts, 8, 19))
41+
42+
result[k] = { value: obj[k] };
43+
>result : Symbol(result, Decl(mappedTypes4.ts, 10, 11))
44+
>k : Symbol(k, Decl(mappedTypes4.ts, 11, 16))
45+
>value : Symbol(value, Decl(mappedTypes4.ts, 12, 25))
46+
>obj : Symbol(obj, Decl(mappedTypes4.ts, 8, 19))
47+
>k : Symbol(k, Decl(mappedTypes4.ts, 11, 16))
48+
}
49+
return result;
50+
>result : Symbol(result, Decl(mappedTypes4.ts, 10, 11))
51+
}
52+
return <any>obj;
53+
>obj : Symbol(obj, Decl(mappedTypes4.ts, 8, 19))
54+
}
55+
56+
type A = { a: string };
57+
>A : Symbol(A, Decl(mappedTypes4.ts, 17, 1))
58+
>a : Symbol(a, Decl(mappedTypes4.ts, 19, 10))
59+
60+
type B = { b: string };
61+
>B : Symbol(B, Decl(mappedTypes4.ts, 19, 23))
62+
>b : Symbol(b, Decl(mappedTypes4.ts, 20, 10))
63+
64+
type C = { c: string };
65+
>C : Symbol(C, Decl(mappedTypes4.ts, 20, 23))
66+
>c : Symbol(c, Decl(mappedTypes4.ts, 21, 10))
67+
68+
function f1(x: A | B | C | undefined) {
69+
>f1 : Symbol(f1, Decl(mappedTypes4.ts, 21, 23))
70+
>x : Symbol(x, Decl(mappedTypes4.ts, 23, 12))
71+
>A : Symbol(A, Decl(mappedTypes4.ts, 17, 1))
72+
>B : Symbol(B, Decl(mappedTypes4.ts, 19, 23))
73+
>C : Symbol(C, Decl(mappedTypes4.ts, 20, 23))
74+
75+
return boxify(x);
76+
>boxify : Symbol(boxify, Decl(mappedTypes4.ts, 6, 2))
77+
>x : Symbol(x, Decl(mappedTypes4.ts, 23, 12))
78+
}
79+
80+
type T00 = Partial<A | B | C>;
81+
>T00 : Symbol(T00, Decl(mappedTypes4.ts, 25, 1))
82+
>Partial : Symbol(Partial, Decl(lib.d.ts, --, --))
83+
>A : Symbol(A, Decl(mappedTypes4.ts, 17, 1))
84+
>B : Symbol(B, Decl(mappedTypes4.ts, 19, 23))
85+
>C : Symbol(C, Decl(mappedTypes4.ts, 20, 23))
86+
87+
type T01 = Readonly<A | B | C | null | undefined>;
88+
>T01 : Symbol(T01, Decl(mappedTypes4.ts, 27, 30))
89+
>Readonly : Symbol(Readonly, Decl(lib.d.ts, --, --))
90+
>A : Symbol(A, Decl(mappedTypes4.ts, 17, 1))
91+
>B : Symbol(B, Decl(mappedTypes4.ts, 19, 23))
92+
>C : Symbol(C, Decl(mappedTypes4.ts, 20, 23))
93+
94+
type T02 = Boxified<A | B[] | C | string>
95+
>T02 : Symbol(T02, Decl(mappedTypes4.ts, 28, 50))
96+
>Boxified : Symbol(Boxified, Decl(mappedTypes4.ts, 2, 2))
97+
>A : Symbol(A, Decl(mappedTypes4.ts, 17, 1))
98+
>B : Symbol(B, Decl(mappedTypes4.ts, 19, 23))
99+
>C : Symbol(C, Decl(mappedTypes4.ts, 20, 23))
100+
101+
type T03 = Readonly<string | number | boolean | null | undefined | void>;
102+
>T03 : Symbol(T03, Decl(mappedTypes4.ts, 29, 41))
103+
>Readonly : Symbol(Readonly, Decl(lib.d.ts, --, --))
104+
105+
type T04 = Boxified<string | number | boolean | null | undefined | void>;
106+
>T04 : Symbol(T04, Decl(mappedTypes4.ts, 30, 73))
107+
>Boxified : Symbol(Boxified, Decl(mappedTypes4.ts, 2, 2))
108+
109+
type T05 = Partial<"hello" | "world" | 42>;
110+
>T05 : Symbol(T05, Decl(mappedTypes4.ts, 31, 73))
111+
>Partial : Symbol(Partial, Decl(lib.d.ts, --, --))
112+
113+
type BoxifiedWithSentinel<T, U> = {
114+
>BoxifiedWithSentinel : Symbol(BoxifiedWithSentinel, Decl(mappedTypes4.ts, 32, 43))
115+
>T : Symbol(T, Decl(mappedTypes4.ts, 34, 26))
116+
>U : Symbol(U, Decl(mappedTypes4.ts, 34, 28))
117+
118+
[P in keyof T]: Box<T[P]> | U;
119+
>P : Symbol(P, Decl(mappedTypes4.ts, 35, 5))
120+
>T : Symbol(T, Decl(mappedTypes4.ts, 34, 26))
121+
>Box : Symbol(Box, Decl(mappedTypes4.ts, 0, 0))
122+
>T : Symbol(T, Decl(mappedTypes4.ts, 34, 26))
123+
>P : Symbol(P, Decl(mappedTypes4.ts, 35, 5))
124+
>U : Symbol(U, Decl(mappedTypes4.ts, 34, 28))
125+
}
126+
127+
type T10 = BoxifiedWithSentinel<A | B | C, null>;
128+
>T10 : Symbol(T10, Decl(mappedTypes4.ts, 36, 1))
129+
>BoxifiedWithSentinel : Symbol(BoxifiedWithSentinel, Decl(mappedTypes4.ts, 32, 43))
130+
>A : Symbol(A, Decl(mappedTypes4.ts, 17, 1))
131+
>B : Symbol(B, Decl(mappedTypes4.ts, 19, 23))
132+
>C : Symbol(C, Decl(mappedTypes4.ts, 20, 23))
133+
134+
type T11 = BoxifiedWithSentinel<A | B | C, undefined>;
135+
>T11 : Symbol(T11, Decl(mappedTypes4.ts, 38, 49))
136+
>BoxifiedWithSentinel : Symbol(BoxifiedWithSentinel, Decl(mappedTypes4.ts, 32, 43))
137+
>A : Symbol(A, Decl(mappedTypes4.ts, 17, 1))
138+
>B : Symbol(B, Decl(mappedTypes4.ts, 19, 23))
139+
>C : Symbol(C, Decl(mappedTypes4.ts, 20, 23))
140+
141+
type T12 = BoxifiedWithSentinel<string, undefined>;
142+
>T12 : Symbol(T12, Decl(mappedTypes4.ts, 39, 54))
143+
>BoxifiedWithSentinel : Symbol(BoxifiedWithSentinel, Decl(mappedTypes4.ts, 32, 43))
144+
145+
type DeepReadonly<T> = {
146+
>DeepReadonly : Symbol(DeepReadonly, Decl(mappedTypes4.ts, 40, 51))
147+
>T : Symbol(T, Decl(mappedTypes4.ts, 42, 18))
148+
149+
readonly [P in keyof T]: DeepReadonly<T[P]>;
150+
>P : Symbol(P, Decl(mappedTypes4.ts, 43, 14))
151+
>T : Symbol(T, Decl(mappedTypes4.ts, 42, 18))
152+
>DeepReadonly : Symbol(DeepReadonly, Decl(mappedTypes4.ts, 40, 51))
153+
>T : Symbol(T, Decl(mappedTypes4.ts, 42, 18))
154+
>P : Symbol(P, Decl(mappedTypes4.ts, 43, 14))
155+
156+
};
157+
158+
type Foo = {
159+
>Foo : Symbol(Foo, Decl(mappedTypes4.ts, 44, 2))
160+
161+
x: number;
162+
>x : Symbol(x, Decl(mappedTypes4.ts, 46, 12))
163+
164+
y: { a: string, b: number };
165+
>y : Symbol(y, Decl(mappedTypes4.ts, 47, 14))
166+
>a : Symbol(a, Decl(mappedTypes4.ts, 48, 8))
167+
>b : Symbol(b, Decl(mappedTypes4.ts, 48, 19))
168+
169+
z: boolean;
170+
>z : Symbol(z, Decl(mappedTypes4.ts, 48, 32))
171+
172+
};
173+
174+
type DeepReadonlyFoo = {
175+
>DeepReadonlyFoo : Symbol(DeepReadonlyFoo, Decl(mappedTypes4.ts, 50, 2))
176+
177+
readonly x: number;
178+
>x : Symbol(x, Decl(mappedTypes4.ts, 52, 24))
179+
180+
readonly y: { readonly a: string, readonly b: number };
181+
>y : Symbol(y, Decl(mappedTypes4.ts, 53, 23))
182+
>a : Symbol(a, Decl(mappedTypes4.ts, 54, 17))
183+
>b : Symbol(b, Decl(mappedTypes4.ts, 54, 37))
184+
185+
readonly z: boolean;
186+
>z : Symbol(z, Decl(mappedTypes4.ts, 54, 59))
187+
188+
};
189+
190+
var x1: DeepReadonly<Foo>;
191+
>x1 : Symbol(x1, Decl(mappedTypes4.ts, 58, 3), Decl(mappedTypes4.ts, 59, 3))
192+
>DeepReadonly : Symbol(DeepReadonly, Decl(mappedTypes4.ts, 40, 51))
193+
>Foo : Symbol(Foo, Decl(mappedTypes4.ts, 44, 2))
194+
195+
var x1: DeepReadonlyFoo;
196+
>x1 : Symbol(x1, Decl(mappedTypes4.ts, 58, 3), Decl(mappedTypes4.ts, 59, 3))
197+
>DeepReadonlyFoo : Symbol(DeepReadonlyFoo, Decl(mappedTypes4.ts, 50, 2))
198+

0 commit comments

Comments
 (0)