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
|
//// [noUncheckedIndexedAccessDestructuring.ts]
declare const strArray: string[];
declare const strStrTuple: [string, string];
// Declaration forms for array destructuring
// Destructuring from a simple array -> include undefined
const [s1] = strArray;
s1.toString(); // Should error, s1 possibly undefined
// Destructuring a rest element -> do not include undefined
const [...s2] = strArray;
s2.push(undefined); // Should error, 'undefined' not part of s2's element type
// Destructuring a rest element -> do not include undefined
const [, , ...s3] = strArray;
s3.push(undefined); // Should error, 'undefined' not part of s2's element type
// Declaration forms for object destructuring
declare const strMap: { [s: string]: string };
const { t1 } = strMap;
t1.toString(); // Should error, t1 possibly undefined
const { ...t2 } = strMap;
t2.z.toString(); // Should error
// Test intersections with declared properties
declare const numMapPoint: { x: number, y: number} & { [s: string]: number };
{
const { x, y, z } = numMapPoint;
x.toFixed(); // Should OK
y.toFixed(); // Should OK
z.toFixed(); // Should error
}
{
const { x, ...q } = numMapPoint;
x.toFixed(); // Should OK
q.y.toFixed(); // Should OK
q.z.toFixed(); // Should error
}
{
const { x, ...q } = numMapPoint;
x.
toFixed(); // Should OK
q.
y.toFixed(); // Should OK
q.
z.toFixed(); // Should error
}
declare let target_string: string;
declare let target_string_undef: string | undefined;
declare let target_string_arr: string[];
// Assignment forms
[target_string] = strArray; // Should error
[target_string_undef] = strArray; // Should OK
[,,, ...target_string_arr] = strArray; // Should OK
{
let x: number, y: number, z: number | undefined;
({ x, y, z } = numMapPoint); // Should OK
let q: number;
({ q } = numMapPoint); // Should error
}
//// [noUncheckedIndexedAccessDestructuring.js]
"use strict";
var __rest = (this && this.__rest) || function (s, e) {
var t = {};
for (var p in s) if (Object.prototype.hasOwnProperty.call(s, p) && e.indexOf(p) < 0)
t[p] = s[p];
if (s != null && typeof Object.getOwnPropertySymbols === "function")
for (var i = 0, p = Object.getOwnPropertySymbols(s); i < p.length; i++) {
if (e.indexOf(p[i]) < 0 && Object.prototype.propertyIsEnumerable.call(s, p[i]))
t[p[i]] = s[p[i]];
}
return t;
};
// Declaration forms for array destructuring
// Destructuring from a simple array -> include undefined
var s1 = strArray[0];
s1.toString(); // Should error, s1 possibly undefined
// Destructuring a rest element -> do not include undefined
var s2 = strArray.slice(0);
s2.push(undefined); // Should error, 'undefined' not part of s2's element type
// Destructuring a rest element -> do not include undefined
var s3 = strArray.slice(2);
s3.push(undefined); // Should error, 'undefined' not part of s2's element type
var t1 = strMap.t1;
t1.toString(); // Should error, t1 possibly undefined
var t2 = __rest(strMap, []);
t2.z.toString(); // Should error
{
var x = numMapPoint.x, y = numMapPoint.y, z = numMapPoint.z;
x.toFixed(); // Should OK
y.toFixed(); // Should OK
z.toFixed(); // Should error
}
{
var x = numMapPoint.x, q = __rest(numMapPoint, ["x"]);
x.toFixed(); // Should OK
q.y.toFixed(); // Should OK
q.z.toFixed(); // Should error
}
{
var x = numMapPoint.x, q = __rest(numMapPoint, ["x"]);
x.
toFixed(); // Should OK
q.
y.toFixed(); // Should OK
q.
z.toFixed(); // Should error
}
// Assignment forms
target_string = strArray[0]; // Should error
target_string_undef = strArray[0]; // Should OK
target_string_arr = strArray.slice(3); // Should OK
{
var x = void 0, y = void 0, z = void 0;
(x = numMapPoint.x, y = numMapPoint.y, z = numMapPoint.z); // Should OK
var q = void 0;
(q = numMapPoint.q); // Should error
}
|
