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