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
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
|
=== tests/cases/conformance/types/tuple/indexerWithTuple.ts ===
var strNumTuple: [string, number] = ["foo", 10];
>strNumTuple : Symbol(strNumTuple, Decl(indexerWithTuple.ts, 0, 3))
var numTupleTuple: [number, [string, number]] = [10, ["bar", 20]];
>numTupleTuple : Symbol(numTupleTuple, Decl(indexerWithTuple.ts, 1, 3))
var unionTuple1: [number, string| number] = [10, "foo"];
>unionTuple1 : Symbol(unionTuple1, Decl(indexerWithTuple.ts, 2, 3))
var unionTuple2: [boolean, string| number] = [true, "foo"];
>unionTuple2 : Symbol(unionTuple2, Decl(indexerWithTuple.ts, 3, 3))
// no error
var idx0 = 0;
>idx0 : Symbol(idx0, Decl(indexerWithTuple.ts, 6, 3))
var idx1 = 1;
>idx1 : Symbol(idx1, Decl(indexerWithTuple.ts, 7, 3))
var ele10 = strNumTuple[0]; // string
>ele10 : Symbol(ele10, Decl(indexerWithTuple.ts, 8, 3))
>strNumTuple : Symbol(strNumTuple, Decl(indexerWithTuple.ts, 0, 3))
>0 : Symbol(0)
var ele11 = strNumTuple[1]; // number
>ele11 : Symbol(ele11, Decl(indexerWithTuple.ts, 9, 3))
>strNumTuple : Symbol(strNumTuple, Decl(indexerWithTuple.ts, 0, 3))
>1 : Symbol(1)
var ele12 = strNumTuple[2]; // string | number
>ele12 : Symbol(ele12, Decl(indexerWithTuple.ts, 10, 3))
>strNumTuple : Symbol(strNumTuple, Decl(indexerWithTuple.ts, 0, 3))
var ele13 = strNumTuple[idx0]; // string | number
>ele13 : Symbol(ele13, Decl(indexerWithTuple.ts, 11, 3))
>strNumTuple : Symbol(strNumTuple, Decl(indexerWithTuple.ts, 0, 3))
>idx0 : Symbol(idx0, Decl(indexerWithTuple.ts, 6, 3))
var ele14 = strNumTuple[idx1]; // string | number
>ele14 : Symbol(ele14, Decl(indexerWithTuple.ts, 12, 3))
>strNumTuple : Symbol(strNumTuple, Decl(indexerWithTuple.ts, 0, 3))
>idx1 : Symbol(idx1, Decl(indexerWithTuple.ts, 7, 3))
var ele15 = strNumTuple["0"]; // string
>ele15 : Symbol(ele15, Decl(indexerWithTuple.ts, 13, 3))
>strNumTuple : Symbol(strNumTuple, Decl(indexerWithTuple.ts, 0, 3))
>"0" : Symbol(0)
var ele16 = strNumTuple["1"]; // number
>ele16 : Symbol(ele16, Decl(indexerWithTuple.ts, 14, 3))
>strNumTuple : Symbol(strNumTuple, Decl(indexerWithTuple.ts, 0, 3))
>"1" : Symbol(1)
var strNumTuple1 = numTupleTuple[1]; //[string, number];
>strNumTuple1 : Symbol(strNumTuple1, Decl(indexerWithTuple.ts, 15, 3))
>numTupleTuple : Symbol(numTupleTuple, Decl(indexerWithTuple.ts, 1, 3))
>1 : Symbol(1)
var ele17 = numTupleTuple[2]; // number | [string, number]
>ele17 : Symbol(ele17, Decl(indexerWithTuple.ts, 16, 3))
>numTupleTuple : Symbol(numTupleTuple, Decl(indexerWithTuple.ts, 1, 3))
var ele19 = strNumTuple[-1] // undefined
>ele19 : Symbol(ele19, Decl(indexerWithTuple.ts, 17, 3))
>strNumTuple : Symbol(strNumTuple, Decl(indexerWithTuple.ts, 0, 3))
var eleUnion10 = unionTuple1[0]; // number
>eleUnion10 : Symbol(eleUnion10, Decl(indexerWithTuple.ts, 19, 3))
>unionTuple1 : Symbol(unionTuple1, Decl(indexerWithTuple.ts, 2, 3))
>0 : Symbol(0)
var eleUnion11 = unionTuple1[1]; // string | number
>eleUnion11 : Symbol(eleUnion11, Decl(indexerWithTuple.ts, 20, 3))
>unionTuple1 : Symbol(unionTuple1, Decl(indexerWithTuple.ts, 2, 3))
>1 : Symbol(1)
var eleUnion12 = unionTuple1[2]; // string | number
>eleUnion12 : Symbol(eleUnion12, Decl(indexerWithTuple.ts, 21, 3))
>unionTuple1 : Symbol(unionTuple1, Decl(indexerWithTuple.ts, 2, 3))
var eleUnion13 = unionTuple1[idx0]; // string | number
>eleUnion13 : Symbol(eleUnion13, Decl(indexerWithTuple.ts, 22, 3))
>unionTuple1 : Symbol(unionTuple1, Decl(indexerWithTuple.ts, 2, 3))
>idx0 : Symbol(idx0, Decl(indexerWithTuple.ts, 6, 3))
var eleUnion14 = unionTuple1[idx1]; // string | number
>eleUnion14 : Symbol(eleUnion14, Decl(indexerWithTuple.ts, 23, 3))
>unionTuple1 : Symbol(unionTuple1, Decl(indexerWithTuple.ts, 2, 3))
>idx1 : Symbol(idx1, Decl(indexerWithTuple.ts, 7, 3))
var eleUnion15 = unionTuple1["0"]; // number
>eleUnion15 : Symbol(eleUnion15, Decl(indexerWithTuple.ts, 24, 3))
>unionTuple1 : Symbol(unionTuple1, Decl(indexerWithTuple.ts, 2, 3))
>"0" : Symbol(0)
var eleUnion16 = unionTuple1["1"]; // string | number
>eleUnion16 : Symbol(eleUnion16, Decl(indexerWithTuple.ts, 25, 3))
>unionTuple1 : Symbol(unionTuple1, Decl(indexerWithTuple.ts, 2, 3))
>"1" : Symbol(1)
var eleUnion20 = unionTuple2[0]; // boolean
>eleUnion20 : Symbol(eleUnion20, Decl(indexerWithTuple.ts, 27, 3))
>unionTuple2 : Symbol(unionTuple2, Decl(indexerWithTuple.ts, 3, 3))
>0 : Symbol(0)
var eleUnion21 = unionTuple2[1]; // string | number
>eleUnion21 : Symbol(eleUnion21, Decl(indexerWithTuple.ts, 28, 3))
>unionTuple2 : Symbol(unionTuple2, Decl(indexerWithTuple.ts, 3, 3))
>1 : Symbol(1)
var eleUnion22 = unionTuple2[2]; // string | number | boolean
>eleUnion22 : Symbol(eleUnion22, Decl(indexerWithTuple.ts, 29, 3))
>unionTuple2 : Symbol(unionTuple2, Decl(indexerWithTuple.ts, 3, 3))
var eleUnion23 = unionTuple2[idx0]; // string | number | boolean
>eleUnion23 : Symbol(eleUnion23, Decl(indexerWithTuple.ts, 30, 3))
>unionTuple2 : Symbol(unionTuple2, Decl(indexerWithTuple.ts, 3, 3))
>idx0 : Symbol(idx0, Decl(indexerWithTuple.ts, 6, 3))
var eleUnion24 = unionTuple2[idx1]; // string | number | boolean
>eleUnion24 : Symbol(eleUnion24, Decl(indexerWithTuple.ts, 31, 3))
>unionTuple2 : Symbol(unionTuple2, Decl(indexerWithTuple.ts, 3, 3))
>idx1 : Symbol(idx1, Decl(indexerWithTuple.ts, 7, 3))
var eleUnion25 = unionTuple2["0"]; // boolean
>eleUnion25 : Symbol(eleUnion25, Decl(indexerWithTuple.ts, 32, 3))
>unionTuple2 : Symbol(unionTuple2, Decl(indexerWithTuple.ts, 3, 3))
>"0" : Symbol(0)
var eleUnion26 = unionTuple2["1"]; // string | number
>eleUnion26 : Symbol(eleUnion26, Decl(indexerWithTuple.ts, 33, 3))
>unionTuple2 : Symbol(unionTuple2, Decl(indexerWithTuple.ts, 3, 3))
>"1" : Symbol(1)
type t1 = [string, number][0]; // string
>t1 : Symbol(t1, Decl(indexerWithTuple.ts, 33, 34))
type t2 = [string, number][1]; // number
>t2 : Symbol(t2, Decl(indexerWithTuple.ts, 35, 30))
type t3 = [string, number][-1]; // undefined
>t3 : Symbol(t3, Decl(indexerWithTuple.ts, 36, 30))
|
