Microsoft/TypeScript

Nested destructuring does not narrow dependent parameters

オープン

#48,378 opened on 2022/03/22

 (2 件のコメント) (0 件のリアクション) (0 人の担当者)TypeScript (13,395 件のフォーク)batch import
BugDomain: check: Control FlowHelp Wanted

Repository metrics

Stars
 (108,860 個のスター)
PR merge metrics
 (PR metrics pending)

説明

Bug Report

🔎 Search Terms

destructuring destructured dependent parameters nested control flow analysis

🕗 Version & Regression Information

  • This changed between versions 4.5.5 and 4.6

⏯ Playground Link

Playground link with relevant code

💻 Code

declare const Tuple: [true, string] | [false, number];
const [[val1, val2]] = [Tuple];
if (val1) {
	val2 // string | number
}

🙁 Actual behavior

TypeScript does not correctly narrow val2 when narrowing val1 if it's in any type of nested destructuring.

🙂 Expected behavior

I expect it to behave the same as directly destructuring the object.

コントリビューターガイド