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

Bắt đầu với bản tái hiện được liên kết trong TypeScript Playground và so sánh kiểu được suy luận của result sau phép gán phân rã thuộc tính tính toán và phép gán thuộc tính literal. Theo dõi hành vi thu hẹp kiểu liên quan và xác minh rằng thay đổi đã hoàn tất vẫn duy trì việc thu hẹp non-null như mong đợi trong cả hai ví dụ.