Variable initializer omits an error on destructuring assignment

TypeScript Version: 3.7.x-dev.20200213

Search Terms:

Code

const [[{ data: a }]] = [] as [Text[]] | []; // error
const [[{ data: b }] = []] = [] as [Text[]] | []; // no error

Expected behavior:

const [[{ data: a }]] = [] as [Text[]] | []; // error
const [[{ data: b }] = []] = [] as [Text[]] | []; // error

Actual behavior:

const [[{ data: a }]] = [] as [Text[]] | []; // error
const [[{ data: b }] = []] = [] as [Text[]] | []; // no error

Playground Link: http://www.typescriptlang.org/play/index.html?ts=3.9.0-dev.20200213&ssl=2&ssc=50&pln=1&pc=1#code/MYewdgzgLgBA2nA3jAJgQymgXDNMC+AuoTALzwloTwAqApgB5RzEwA+FA3AFCiSwJk6TDgBGBEuRaSKuanHpNp7LkA

Related Issues:

issue の 2 つの分割代入を再現し、必要であればリンクされた Playground を使って、報告された診断結果を比較します。分割代入に対する TypeScript の型チェックの経路を追跡し、既存の checker tests の近くに回帰テストを追加します。両方の例で期待されるエラーが報告されれば完了です。