TypeScript/tests/baselines/reference/enumMemberReduction.types at bdf99c452f6b7c6bd99ad7f52edff9a3b3fe0b0b · bloomberg/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
=== tests/cases/compiler/enumMemberReduction.ts ===
enum MyEnum {
>MyEnum : MyEnum

  A,
>A : MyEnum.A

  B,
>B : MyEnum.B

  C,
>C : MyEnum.C
}

enum MyStringEnum {
>MyStringEnum : MyStringEnum

  A = "a",
>A : MyStringEnum.A
>"a" : "a"

  B = "b",
>B : MyStringEnum.B
>"b" : "b"

  C = "c",
>C : MyStringEnum.C
>"c" : "c"
}

enum MyStringEnumWithEmpty {
>MyStringEnumWithEmpty : MyStringEnumWithEmpty

  A = "",
>A : MyStringEnumWithEmpty.A
>"" : ""

  B = "b",
>B : MyStringEnumWithEmpty.B
>"b" : "b"

  C = "c",
>C : MyStringEnumWithEmpty.C
>"c" : "c"
}

export function fn(optionalEnum: MyEnum | undefined) {
>fn : (optionalEnum: MyEnum | undefined) => MyEnum
>optionalEnum : MyEnum

  return optionalEnum ?? MyEnum.A;
>optionalEnum ?? MyEnum.A : MyEnum
>optionalEnum : MyEnum
>MyEnum.A : MyEnum.A
>MyEnum : typeof MyEnum
>A : MyEnum.A
}

export function fn2(optionalEnum: MyEnum | undefined) {
>fn2 : (optionalEnum: MyEnum | undefined) => MyEnum.B | MyEnum.C
>optionalEnum : MyEnum

  return optionalEnum || MyEnum.B;
>optionalEnum || MyEnum.B : MyEnum.B | MyEnum.C
>optionalEnum : MyEnum
>MyEnum.B : MyEnum.B
>MyEnum : typeof MyEnum
>B : MyEnum.B
}

export function fn3(optionalEnum?: MyEnum) {
>fn3 : (optionalEnum?: MyEnum) => MyEnum
>optionalEnum : MyEnum

  return optionalEnum ?? MyEnum.A;
>optionalEnum ?? MyEnum.A : MyEnum
>optionalEnum : MyEnum
>MyEnum.A : MyEnum.A
>MyEnum : typeof MyEnum
>A : MyEnum.A
}

export function fn4(optionalEnum?: MyEnum) {
>fn4 : (optionalEnum?: MyEnum) => MyEnum.B | MyEnum.C
>optionalEnum : MyEnum

  return optionalEnum || MyEnum.B;
>optionalEnum || MyEnum.B : MyEnum.B | MyEnum.C
>optionalEnum : MyEnum
>MyEnum.B : MyEnum.B
>MyEnum : typeof MyEnum
>B : MyEnum.B
}

export function fn5(optionalEnum?: MyStringEnum) {
>fn5 : (optionalEnum?: MyStringEnum) => MyStringEnum
>optionalEnum : MyStringEnum

  return optionalEnum || MyStringEnum.B;
>optionalEnum || MyStringEnum.B : MyStringEnum
>optionalEnum : MyStringEnum
>MyStringEnum.B : MyStringEnum.B
>MyStringEnum : typeof MyStringEnum
>B : MyStringEnum.B
}

export function fn6(optionalEnum?: MyStringEnumWithEmpty) {
>fn6 : (optionalEnum?: MyStringEnumWithEmpty) => MyStringEnumWithEmpty.B | MyStringEnumWithEmpty.C
>optionalEnum : MyStringEnumWithEmpty

  return optionalEnum || MyStringEnumWithEmpty.B;
>optionalEnum || MyStringEnumWithEmpty.B : MyStringEnumWithEmpty.B | MyStringEnumWithEmpty.C
>optionalEnum : MyStringEnumWithEmpty
>MyStringEnumWithEmpty.B : MyStringEnumWithEmpty.B
>MyStringEnumWithEmpty : typeof MyStringEnumWithEmpty
>B : MyStringEnumWithEmpty.B
}