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:

Riproduci le due assegnazioni tramite destrutturazione dell’issue, usando il Playground collegato se utile, e confronta le diagnostiche riportate. Segui il percorso di type-checking di TypeScript per le assegnazioni tramite destrutturazione e aggiungi un test di regressione vicino agli checker tests esistenti. Il lavoro è completato quando entrambi gli esempi riportano l’errore previsto.