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:

Bắt đầu với trình tái hiện TypeScript độc lập và chạy nó bằng tsc trên dòng lệnh, so sánh các phép gán được lập chỉ mục với việc khởi tạo bằng literal mảng. issue không nêu tệp nguồn hay test nào, vì vậy hãy lần theo đường đi của checker đối với phép gán được lập chỉ mục trên một union của các kiểu mảng. Được xem là hoàn tất khi phép gán được tái hiện báo lỗi kiểu như mong đợi mà không làm hồi quy hành vi khởi tạo liên quan.