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
|
=== tests/cases/compiler/mappedTypeNotMistakenlyHomomorphic.ts ===
enum ABC { A, B }
>ABC : ABC
>A : ABC.A
>B : ABC.B
type Gen<T extends ABC> = { v: T; } & (
>Gen : Gen<T>
>v : T
{
v: ABC.A,
>v : ABC.A
>ABC : any
a: string,
>a : string
} | {
v: ABC.B,
>v : ABC.B
>ABC : any
b: string,
>b : string
}
)
// Quick info: ???
//
// type Gen2<T extends ABC> = {
// v: string;
// }
//
type Gen2<T extends ABC> = {
>Gen2 : Gen2<T>
[Property in keyof Gen<T>]: string;
};
// 'a' and 'b' properties required !?!?
const gen2TypeA: Gen2<ABC.A> = { v: "I am A", a: "" };
>gen2TypeA : Gen2<ABC.A>
>ABC : any
>{ v: "I am A", a: "" } : { v: string; a: string; }
>v : string
>"I am A" : "I am A"
>a : string
>"" : ""
const gen2TypeB: Gen2<ABC.B> = { v: "I am B", b: "" };
>gen2TypeB : Gen2<ABC.B>
>ABC : any
>{ v: "I am B", b: "" } : { v: string; b: string; }
>v : string
>"I am B" : "I am B"
>b : string
>"" : ""
// 'v' ???
type K = keyof Gen2<ABC.A>;
>K : "v" | "a"
>ABC : any
// :(
declare let a: Gen2<ABC.A>;
>a : Gen2<ABC.A>
>ABC : any
declare let b: Gen2<ABC.B>;
>b : Gen2<ABC.B>
>ABC : any
a = b;
>a = b : Gen2<ABC.B>
>a : Gen2<ABC.A>
>b : Gen2<ABC.B>
b = a;
>b = a : Gen2<ABC.A>
>b : Gen2<ABC.B>
>a : Gen2<ABC.A>
|
