Assigning array values by index treats Array<A> | Array<B> as Array<A | B>

TypeScript Version: 4.0.0-dev.201xxxxx
reproducible starting from at least 3.3.3

Search Terms: discriminated unions, distributive

Code

// A *self-contained* demonstration of the problem follows...
// Test this by running `tsc` on the command-line, rather than through another build tool such as Gulp, Webpack, etc.

function main() {
    var a: (number[] | string[])  = []; 
    a[0] = 3;
    a[1] = "xxx";
}

Expected behavior:
error TS2322: Type '"xxx"' is not assignable to type 'number'.

Actual behavior:
All is compiled without warnings or errors.
Keep in mind that this works as expected:

var a: (number[] | string[])  = [3, "xxx"]; // Not OK as it should be 

Thus, depending on how exactly we're initialising the array, behaviour differs.
Playground Link:
https://www.typescriptlang.org/play?ts=4.0.0-dev.20200508#code/C4TwDgpgBAggTnAcgVwLYGVhygXigOzQCMI4BtAXSgB8oBnLAS3wHNKBuAKE4DNl8AxsEYB7fFFQBDZgAoAlFADenKKqgA3SdkkAuKDMKoS5KrQZxmbCgtxQOUFWslkADFTwBmLmqjOAjO5QAEQAHmFBXAC+nEA

Related Issues:

Empieza con el reproductor autónomo de TypeScript y ejecútalo mediante tsc desde la línea de comandos, comparando las asignaciones indexadas con la inicialización mediante literales de array. El issue no menciona archivos fuente ni tests, así que sigue la ruta del checker para una asignación indexada sobre una unión de tipos de array. Se considera terminado cuando la asignación reproducida informa del error de tipo esperado sin introducir regresiones en el comportamiento de inicialización relacionado.