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 las dos asignaciones por desestructuración del issue, usando el Playground enlazado si resulta útil, y compara los diagnósticos indicados. Rastrea la ruta de comprobación de tipos de TypeScript para las asignaciones por desestructuración y añade una prueba de regresión cerca de las checker tests existentes. La tarea estará terminada cuando ambos ejemplos notifiquen el error esperado.