TypeScript/tests/baselines/reference/mappedTypeRemappingModifierMerging.symbols at 24a45d0fc644a39d4b7be7f1f994cd40c3d4f38d · microsoft/TypeScript · GitHub

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
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
//// [tests/cases/compiler/mappedTypeRemappingModifierMerging.ts] ////

=== mappedTypeRemappingModifierMerging.ts ===
// Mapped types with key remapping should merge modifiers consistently
// when multiple keys map to the same output key

type RemapKeyToInitialPart<T> = {
>RemapKeyToInitialPart : Symbol(RemapKeyToInitialPart, Decl(mappedTypeRemappingModifierMerging.ts, 0, 0))
>T : Symbol(T, Decl(mappedTypeRemappingModifierMerging.ts, 3, 27))

    [K in keyof T as K extends `${infer First}.${infer _Rest}` ? First : K]: null;
>K : Symbol(K, Decl(mappedTypeRemappingModifierMerging.ts, 4, 5))
>T : Symbol(T, Decl(mappedTypeRemappingModifierMerging.ts, 3, 27))
>K : Symbol(K, Decl(mappedTypeRemappingModifierMerging.ts, 4, 5))
>First : Symbol(First, Decl(mappedTypeRemappingModifierMerging.ts, 4, 39))
>_Rest : Symbol(_Rest, Decl(mappedTypeRemappingModifierMerging.ts, 4, 54))
>First : Symbol(First, Decl(mappedTypeRemappingModifierMerging.ts, 4, 39))
>K : Symbol(K, Decl(mappedTypeRemappingModifierMerging.ts, 4, 5))

};

// Both should produce { foo?: null } since at least one input is optional
type FirstOptional = RemapKeyToInitialPart<{
>FirstOptional : Symbol(FirstOptional, Decl(mappedTypeRemappingModifierMerging.ts, 5, 2))
>RemapKeyToInitialPart : Symbol(RemapKeyToInitialPart, Decl(mappedTypeRemappingModifierMerging.ts, 0, 0))

    "foo.bar"?: string;
>"foo.bar" : Symbol("foo.bar", Decl(mappedTypeRemappingModifierMerging.ts, 8, 44))

    "foo.baz": number;
>"foo.baz" : Symbol("foo.baz", Decl(mappedTypeRemappingModifierMerging.ts, 9, 23))

}>;

type FirstRequired = RemapKeyToInitialPart<{
>FirstRequired : Symbol(FirstRequired, Decl(mappedTypeRemappingModifierMerging.ts, 11, 3))
>RemapKeyToInitialPart : Symbol(RemapKeyToInitialPart, Decl(mappedTypeRemappingModifierMerging.ts, 0, 0))

    "foo.baz": number;
>"foo.baz" : Symbol("foo.baz", Decl(mappedTypeRemappingModifierMerging.ts, 13, 44))

    "foo.bar"?: string;
>"foo.bar" : Symbol("foo.bar", Decl(mappedTypeRemappingModifierMerging.ts, 14, 22))

}>;

// Test that they are equivalent
const testOptional: FirstOptional = { foo: null };
>testOptional : Symbol(testOptional, Decl(mappedTypeRemappingModifierMerging.ts, 19, 5))
>FirstOptional : Symbol(FirstOptional, Decl(mappedTypeRemappingModifierMerging.ts, 5, 2))
>foo : Symbol(foo, Decl(mappedTypeRemappingModifierMerging.ts, 19, 37))

const testOptional2: FirstOptional = {};
>testOptional2 : Symbol(testOptional2, Decl(mappedTypeRemappingModifierMerging.ts, 20, 5))
>FirstOptional : Symbol(FirstOptional, Decl(mappedTypeRemappingModifierMerging.ts, 5, 2))

const testRequired: FirstRequired = { foo: null };
>testRequired : Symbol(testRequired, Decl(mappedTypeRemappingModifierMerging.ts, 22, 5))
>FirstRequired : Symbol(FirstRequired, Decl(mappedTypeRemappingModifierMerging.ts, 11, 3))
>foo : Symbol(foo, Decl(mappedTypeRemappingModifierMerging.ts, 22, 37))

const testRequired2: FirstRequired = {};
>testRequired2 : Symbol(testRequired2, Decl(mappedTypeRemappingModifierMerging.ts, 23, 5))
>FirstRequired : Symbol(FirstRequired, Decl(mappedTypeRemappingModifierMerging.ts, 11, 3))

// Readonly should work the same way
type RemapWithReadonly<T> = {
>RemapWithReadonly : Symbol(RemapWithReadonly, Decl(mappedTypeRemappingModifierMerging.ts, 23, 40))
>T : Symbol(T, Decl(mappedTypeRemappingModifierMerging.ts, 26, 23))

    [K in keyof T as K extends `${infer First}.${string}` ? First : K]: null;
>K : Symbol(K, Decl(mappedTypeRemappingModifierMerging.ts, 27, 5))
>T : Symbol(T, Decl(mappedTypeRemappingModifierMerging.ts, 26, 23))
>K : Symbol(K, Decl(mappedTypeRemappingModifierMerging.ts, 27, 5))
>First : Symbol(First, Decl(mappedTypeRemappingModifierMerging.ts, 27, 39))
>First : Symbol(First, Decl(mappedTypeRemappingModifierMerging.ts, 27, 39))
>K : Symbol(K, Decl(mappedTypeRemappingModifierMerging.ts, 27, 5))

};

type FirstReadonly = RemapWithReadonly<{
>FirstReadonly : Symbol(FirstReadonly, Decl(mappedTypeRemappingModifierMerging.ts, 28, 2))
>RemapWithReadonly : Symbol(RemapWithReadonly, Decl(mappedTypeRemappingModifierMerging.ts, 23, 40))

    readonly "foo.bar": string;
>"foo.bar" : Symbol("foo.bar", Decl(mappedTypeRemappingModifierMerging.ts, 30, 40))

    "foo.baz": number;
>"foo.baz" : Symbol("foo.baz", Decl(mappedTypeRemappingModifierMerging.ts, 31, 31))

}>;

type SecondReadonly = RemapWithReadonly<{
>SecondReadonly : Symbol(SecondReadonly, Decl(mappedTypeRemappingModifierMerging.ts, 33, 3))
>RemapWithReadonly : Symbol(RemapWithReadonly, Decl(mappedTypeRemappingModifierMerging.ts, 23, 40))

    "foo.baz": number;
>"foo.baz" : Symbol("foo.baz", Decl(mappedTypeRemappingModifierMerging.ts, 35, 41))

    readonly "foo.bar": string;
>"foo.bar" : Symbol("foo.bar", Decl(mappedTypeRemappingModifierMerging.ts, 36, 22))

}>;

declare const ro1: FirstReadonly;
>ro1 : Symbol(ro1, Decl(mappedTypeRemappingModifierMerging.ts, 40, 13))
>FirstReadonly : Symbol(FirstReadonly, Decl(mappedTypeRemappingModifierMerging.ts, 28, 2))

declare const ro2: SecondReadonly;
>ro2 : Symbol(ro2, Decl(mappedTypeRemappingModifierMerging.ts, 41, 13))
>SecondReadonly : Symbol(SecondReadonly, Decl(mappedTypeRemappingModifierMerging.ts, 33, 3))

// Both should be readonly
ro1.foo = null; // Error
>ro1.foo : Symbol(foo)
>ro1 : Symbol(ro1, Decl(mappedTypeRemappingModifierMerging.ts, 40, 13))
>foo : Symbol(foo)

ro2.foo = null; // Error
>ro2.foo : Symbol(foo)
>ro2 : Symbol(ro2, Decl(mappedTypeRemappingModifierMerging.ts, 41, 13))
>foo : Symbol(foo)