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:

Reproduisez les deux affectations par déstructuration de l’issue, en utilisant le Playground lié si nécessaire, et comparez les diagnostics signalés. Suivez le chemin de vérification des types de TypeScript pour les affectations par déstructuration et ajoutez un test de régression à proximité des checker tests existants. La tâche est terminée lorsque les deux exemples signalent l’erreur attendue.