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:

Reproduce the two destructuring assignments from the issue, using the linked Playground if useful, and compare the reported diagnostics. Trace the TypeScript type-checking path for destructuring assignments and add a regression test near the existing checker tests. Done means both examples report the expected error.