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

Comienza con la reproducción vinculada en TypeScript Playground y compara el tipo inferido de result después de la asignación de desestructuración de una propiedad calculada y de la asignación de una propiedad literal. Sigue el comportamiento de estrechamiento de tipos implicado y verifica que el cambio completado preserve el estrechamiento non-null esperado en ambos ejemplos.