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:

自己完結した TypeScript の再現コードから始め、コマンドラインの tsc で実行し、インデックス付き代入と配列リテラルによる初期化を比較します。issue にはソースファイルもテストも指定されていないため、配列型の union に対するインデックス付き代入の checker パスを追跡します。再現した代入が期待される型エラーを報告し、関連する初期化の動作を後退させないことを完了条件とします。