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
|
=== tests/cases/conformance/es7/exponentiationOperator/exponentiationOperatorWithEnumUnion.ts ===
// operands of an enum type are treated as having the primitive type Number.
enum E {
>E : E
a,
>a : E.a
b
>b : E.b
}
enum F {
>F : F
c,
>c : F.c
d
>d : F.d
}
var a: any;
>a : any
var b: number;
>b : number
var c: E | F;
>c : E | F
// operator **
var r1 = c ** a;
>r1 : number
>c ** a : number
>c : E | F
>a : any
var r2 = c ** b;
>r2 : number
>c ** b : number
>c : E | F
>b : number
var r3 = c ** c;
>r3 : number
>c ** c : number
>c : E | F
>c : E | F
var r4 = a ** c;
>r4 : number
>a ** c : number
>a : any
>c : E | F
var r5 = b ** c;
>r5 : number
>b ** c : number
>b : number
>c : E | F
var r6 = E.a ** a;
>r6 : number
>E.a ** a : number
>E.a : E.a
>E : typeof E
>a : E.a
>a : any
var r7 = E.a ** b;
>r7 : number
>E.a ** b : number
>E.a : E.a
>E : typeof E
>a : E.a
>b : number
var r8 = E.a ** E.b;
>r8 : number
>E.a ** E.b : number
>E.a : E.a
>E : typeof E
>a : E.a
>E.b : E.b
>E : typeof E
>b : E.b
var r9 = E.a ** 1;
>r9 : number
>E.a ** 1 : number
>E.a : E.a
>E : typeof E
>a : E.a
>1 : 1
var r10 = a ** E.b;
>r10 : number
>a ** E.b : number
>a : any
>E.b : E.b
>E : typeof E
>b : E.b
var r11 = b ** E.b;
>r11 : number
>b ** E.b : number
>b : number
>E.b : E.b
>E : typeof E
>b : E.b
var r12 = 1 ** E.b;
>r12 : number
>1 ** E.b : number
>1 : 1
>E.b : E.b
>E : typeof E
>b : E.b
|
