Destructuring assignment with computed property name does not help narrow types as intended.

🔎 Search Terms

"destructuring assignment", "computed property name", "type narrowing"

🕗 Version & Regression Information

Happen to all existing version in typescript playground.

⏯ Playground Link

https://tsplay.dev/w1eElw

💻 Code

declare let obj: Record<string, string>

declare let cond: boolean;
declare let key: string;
let result: string | null = null;

if (cond) {
    ({ [key]: result } = obj);
    result;
//  ^?
}

if (cond) {
    ({ 'key': result } = obj);
    result;
//  ^?
}

🙁 Actual behavior

Type narrowing did not happen to the assignee variable result after the assignment ({ [key]: result } = obj);.

🙂 Expected behavior

Expecting the assignment ({ [key]: result } = obj); will narrow the assignee variable result to non-null.

Additional information about the issue

No response

Beginne mit der verlinkten TypeScript Playground-Reproduktion und vergleiche den inferierten Typ von result nach der Destrukturierungszuweisung mit berechnetem Property und der Zuweisung eines Literal-Propertys. Verfolge das dabei verwendete Verhalten der Typverengung und überprüfe, dass die abgeschlossene Änderung die erwartete Non-Null-Verengung in beiden Beispielen beibehält.