Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Commit 3d7ce14

Browse files
a-tarasyuka-tarasyuk
committed
fix(40617): handle uninitialized class member with computed key
1 parent d518bdb commit 3d7ce14

29 files changed

+847
-163
lines changed

‎src/compiler/binder.ts‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -889,7 +889,7 @@ namespace ts {
889889
return isDottedName(expr)
890890
|| (isPropertyAccessExpression(expr) || isNonNullExpression(expr) || isParenthesizedExpression(expr)) && isNarrowableReference(expr.expression)
891891
|| isBinaryExpression(expr) && expr.operatorToken.kind === SyntaxKind.CommaToken && isNarrowableReference(expr.right)
892-
|| isElementAccessExpression(expr) && isStringOrNumericLiteralLike(expr.argumentExpression) && isNarrowableReference(expr.expression)
892+
|| isElementAccessExpression(expr) && (isStringOrNumericLiteralLike(expr.argumentExpression) || isIdentifier(expr.argumentExpression)) && isNarrowableReference(expr.expression)
893893
|| isAssignmentExpression(expr) && isNarrowableReference(expr.left);
894894
}
895895

‎src/compiler/checker.ts‎

Lines changed: 52 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -22358,9 +22358,10 @@ namespace ts {
2235822358
return isMatchingReference((source as NonNullExpression | ParenthesizedExpression).expression, target);
2235922359
case SyntaxKind.PropertyAccessExpression:
2236022360
case SyntaxKind.ElementAccessExpression:
22361-
return isAccessExpression(target) &&
22362-
getAccessedPropertyName(source as AccessExpression) === getAccessedPropertyName(target) &&
22363-
isMatchingReference((source as AccessExpression).expression, target.expression);
22361+
const sourcePropertyName = getAccessedPropertyName(source as AccessExpression);
22362+
const targetPropertyName = isAccessExpression(target) ? getAccessedPropertyName(target) : undefined;
22363+
return sourcePropertyName !== undefined && targetPropertyName !== undefined && targetPropertyName === sourcePropertyName &&
22364+
isMatchingReference((source as AccessExpression).expression, (target as AccessExpression).expression);
2236422365
case SyntaxKind.QualifiedName:
2236522366
return isAccessExpression(target) &&
2236622367
(source as QualifiedName).right.escapedText === getAccessedPropertyName(target) &&
@@ -22396,11 +22397,49 @@ namespace ts {
2239622397
}
2239722398

2239822399
function getAccessedPropertyName(access: AccessExpression | BindingElement): __String | undefined {
22399-
let propertyName;
22400-
return access.kind === SyntaxKind.PropertyAccessExpression ? access.name.escapedText :
22401-
access.kind === SyntaxKind.ElementAccessExpression && isStringOrNumericLiteralLike(access.argumentExpression) ? escapeLeadingUnderscores(access.argumentExpression.text) :
22402-
access.kind === SyntaxKind.BindingElement && (propertyName = getDestructuringPropertyName(access)) ? escapeLeadingUnderscores(propertyName) :
22403-
undefined;
22400+
if (isPropertyAccessExpression(access)) {
22401+
return access.name.escapedText;
22402+
}
22403+
if (isElementAccessExpression(access)) {
22404+
return tryGetElementAccessExpressionName(access);
22405+
}
22406+
if (isBindingElement(access)) {
22407+
const name = getDestructuringPropertyName(access);
22408+
return name ? escapeLeadingUnderscores(name) : undefined;
22409+
}
22410+
return undefined;
22411+
}
22412+
22413+
function tryGetNameFromType(type: Type) {
22414+
return type.flags & TypeFlags.UniqueESSymbol ? (type as UniqueESSymbolType).escapedName :
22415+
type.flags & TypeFlags.StringOrNumberLiteral ? escapeLeadingUnderscores("" + (type as StringLiteralType | NumberLiteralType).value) : undefined;
22416+
}
22417+
22418+
function tryGetElementAccessExpressionName(node: ElementAccessExpression) {
22419+
if (isStringOrNumericLiteralLike(node.argumentExpression)) {
22420+
return escapeLeadingUnderscores(node.argumentExpression.text);
22421+
}
22422+
if (isIdentifier(node.argumentExpression)) {
22423+
const symbol = getResolvedSymbol(node.argumentExpression);
22424+
if (!isConstVariable(symbol)) return undefined;
22425+
22426+
const declaration = symbol.valueDeclaration;
22427+
if (declaration === undefined) return undefined;
22428+
22429+
const type = tryGetTypeFromEffectiveTypeNode(declaration);
22430+
if (type) {
22431+
const name = tryGetNameFromType(type);
22432+
if (name !== undefined) {
22433+
return name;
22434+
}
22435+
}
22436+
22437+
if (hasOnlyExpressionInitializer(declaration)) {
22438+
const initializer = getEffectiveInitializer(declaration);
22439+
return initializer && tryGetNameFromType(getTypeOfExpression(initializer));
22440+
}
22441+
}
22442+
return undefined;
2240422443
}
2240522444

2240622445
function containsMatchingReference(source: Node, target: Node) {
@@ -38598,7 +38637,7 @@ namespace ts {
3859838637
}
3859938638
if (!isStatic(member) && isPropertyWithoutInitializer(member)) {
3860038639
const propName = (member as PropertyDeclaration).name;
38601-
if (isIdentifier(propName) || isPrivateIdentifier(propName)) {
38640+
if (isIdentifier(propName) || isPrivateIdentifier(propName) || isComputedPropertyName(propName)) {
3860238641
const type = getTypeOfSymbol(getSymbolOfNode(member));
3860338642
if (!(type.flags & TypeFlags.AnyOrUnknown || getFalsyFlags(type) & TypeFlags.Undefined)) {
3860438643
if (!constructor || !isPropertyInitializedInConstructor(propName, type, constructor)) {
@@ -38634,8 +38673,10 @@ namespace ts {
3863438673
return false;
3863538674
}
3863638675

38637-
function isPropertyInitializedInConstructor(propName: Identifier | PrivateIdentifier, propType: Type, constructor: ConstructorDeclaration) {
38638-
const reference = factory.createPropertyAccessExpression(factory.createThis(), propName);
38676+
function isPropertyInitializedInConstructor(propName: Identifier | PrivateIdentifier | ComputedPropertyName, propType: Type, constructor: ConstructorDeclaration) {
38677+
const reference = isComputedPropertyName(propName)
38678+
? factory.createElementAccessExpression(factory.createThis(), propName.expression)
38679+
: factory.createPropertyAccessExpression(factory.createThis(), propName);
3863938680
setParent(reference.expression, reference);
3864038681
setParent(reference, constructor);
3864138682
reference.flowNode = constructor.returnFlowNode;

‎src/compiler/commandLineParser.ts‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2686,7 +2686,7 @@ namespace ts {
26862686
function getPropFromRaw<T>(prop: "files" | "include" | "exclude" | "references", validateElement: (value: unknown) => boolean, elementTypeName: string): PropOfRaw<T> {
26872687
if (hasProperty(raw, prop) && !isNullOrUndefined(raw[prop])) {
26882688
if (isArray(raw[prop])) {
2689-
const result = raw[prop];
2689+
const result = raw[prop] as T[];
26902690
if (!sourceFile && !every(result, validateElement)) {
26912691
errors.push(createCompilerDiagnostic(Diagnostics.Compiler_option_0_requires_a_value_of_type_1, prop, elementTypeName));
26922692
}

‎tests/baselines/reference/incrementOnNullAssertion.types‎

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -27,21 +27,21 @@ if (foo[x] === undefined) {
2727
}
2828
else {
2929
let nu = foo[x]
30-
>nu : number | undefined
31-
>foo[x] : number | undefined
30+
>nu : number
31+
>foo[x] : number
3232
>foo : Dictionary<number>
3333
>x : "bar"
3434

3535
let n = foo[x]
36-
>n : number | undefined
37-
>foo[x] : number | undefined
36+
>n : number
37+
>foo[x] : number
3838
>foo : Dictionary<number>
3939
>x : "bar"
4040

4141
foo[x]!++
4242
>foo[x]!++ : number
4343
>foo[x]! : number
44-
>foo[x] : number | undefined
44+
>foo[x] : number
4545
>foo : Dictionary<number>
4646
>x : "bar"
4747
}

‎tests/baselines/reference/strictPropertyInitialization.errors.txt‎

Lines changed: 15 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -164,4 +164,19 @@ tests/cases/conformance/classes/propertyMemberDeclarations/strictPropertyInitial
164164
this.#b = someValue();
165165
}
166166
}
167+
168+
const a = 'a';
169+
const b = Symbol();
170+
171+
class C12 {
172+
[a]: number;
173+
[b]: number;
174+
['c']: number;
175+
176+
constructor() {
177+
this[a] = 1;
178+
this[b] = 1;
179+
this['c'] = 1;
180+
}
181+
}
167182

‎tests/baselines/reference/strictPropertyInitialization.js‎

Lines changed: 32 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -132,6 +132,21 @@ class C11 {
132132
this.#b = someValue();
133133
}
134134
}
135+
136+
const a = 'a';
137+
const b = Symbol();
138+
139+
class C12 {
140+
[a]: number;
141+
[b]: number;
142+
['c']: number;
143+
144+
constructor() {
145+
this[a] = 1;
146+
this[b] = 1;
147+
this['c'] = 1;
148+
}
149+
}
135150

136151

137152
//// [strictPropertyInitialization.js]
@@ -235,6 +250,15 @@ class C11 {
235250
}
236251
}
237252
_C11_b = new WeakMap();
253+
const a = 'a';
254+
const b = Symbol();
255+
class C12 {
256+
constructor() {
257+
this[a] = 1;
258+
this[b] = 1;
259+
this['c'] = 1;
260+
}
261+
}
238262

239263

240264
//// [strictPropertyInitialization.d.ts]
@@ -303,3 +327,11 @@ declare class C11 {
303327
a: number;
304328
constructor();
305329
}
330+
declare const a = "a";
331+
declare const b: unique symbol;
332+
declare class C12 {
333+
[a]: number;
334+
[b]: number;
335+
['c']: number;
336+
constructor();
337+
}

‎tests/baselines/reference/strictPropertyInitialization.symbols‎

Lines changed: 37 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -311,3 +311,40 @@ class C11 {
311311
}
312312
}
313313

314+
const a = 'a';
315+
>a : Symbol(a, Decl(strictPropertyInitialization.ts, 134, 5))
316+
317+
const b = Symbol();
318+
>b : Symbol(b, Decl(strictPropertyInitialization.ts, 135, 5))
319+
>Symbol : Symbol(Symbol, Decl(lib.es5.d.ts, --, --), Decl(lib.es2015.symbol.d.ts, --, --), Decl(lib.es2015.symbol.wellknown.d.ts, --, --))
320+
321+
class C12 {
322+
>C12 : Symbol(C12, Decl(strictPropertyInitialization.ts, 135, 19))
323+
324+
[a]: number;
325+
>[a] : Symbol(C12[a], Decl(strictPropertyInitialization.ts, 137, 11))
326+
>a : Symbol(a, Decl(strictPropertyInitialization.ts, 134, 5))
327+
328+
[b]: number;
329+
>[b] : Symbol(C12[b], Decl(strictPropertyInitialization.ts, 138, 16))
330+
>b : Symbol(b, Decl(strictPropertyInitialization.ts, 135, 5))
331+
332+
['c']: number;
333+
>['c'] : Symbol(C12['c'], Decl(strictPropertyInitialization.ts, 139, 16))
334+
>'c' : Symbol(C12['c'], Decl(strictPropertyInitialization.ts, 139, 16))
335+
336+
constructor() {
337+
this[a] = 1;
338+
>this : Symbol(C12, Decl(strictPropertyInitialization.ts, 135, 19))
339+
>a : Symbol(a, Decl(strictPropertyInitialization.ts, 134, 5))
340+
341+
this[b] = 1;
342+
>this : Symbol(C12, Decl(strictPropertyInitialization.ts, 135, 19))
343+
>b : Symbol(b, Decl(strictPropertyInitialization.ts, 135, 5))
344+
345+
this['c'] = 1;
346+
>this : Symbol(C12, Decl(strictPropertyInitialization.ts, 135, 19))
347+
>'c' : Symbol(C12['c'], Decl(strictPropertyInitialization.ts, 139, 16))
348+
}
349+
}
350+

‎tests/baselines/reference/strictPropertyInitialization.types‎

Lines changed: 48 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -347,3 +347,51 @@ class C11 {
347347
}
348348
}
349349

350+
const a = 'a';
351+
>a : "a"
352+
>'a' : "a"
353+
354+
const b = Symbol();
355+
>b : unique symbol
356+
>Symbol() : unique symbol
357+
>Symbol : SymbolConstructor
358+
359+
class C12 {
360+
>C12 : C12
361+
362+
[a]: number;
363+
>[a] : number
364+
>a : "a"
365+
366+
[b]: number;
367+
>[b] : number
368+
>b : unique symbol
369+
370+
['c']: number;
371+
>['c'] : number
372+
>'c' : "c"
373+
374+
constructor() {
375+
this[a] = 1;
376+
>this[a] = 1 : 1
377+
>this[a] : number
378+
>this : this
379+
>a : "a"
380+
>1 : 1
381+
382+
this[b] = 1;
383+
>this[b] = 1 : 1
384+
>this[b] : number
385+
>this : this
386+
>b : unique symbol
387+
>1 : 1
388+
389+
this['c'] = 1;
390+
>this['c'] = 1 : 1
391+
>this['c'] : number
392+
>this : this
393+
>'c' : "c"
394+
>1 : 1
395+
}
396+
}
397+

‎tests/baselines/reference/typeGuardNarrowsIndexedAccessOfKnownProperty.js‎ renamed to ‎tests/baselines/reference/typeGuardNarrowsIndexedAccessOfKnownProperty1.js‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
//// [typeGuardNarrowsIndexedAccessOfKnownProperty.ts]
1+
//// [typeGuardNarrowsIndexedAccessOfKnownProperty1.ts]
22
interface Square {
33
["dash-ok"]: "square";
44
["square-size"]: number;
@@ -80,7 +80,7 @@ export function g(pair: [number, string?]): string {
8080
}
8181

8282

83-
//// [typeGuardNarrowsIndexedAccessOfKnownProperty.js]
83+
//// [typeGuardNarrowsIndexedAccessOfKnownProperty1.js]
8484
"use strict";
8585
exports.__esModule = true;
8686
exports.g = void 0;

0 commit comments

Comments
 (0)