Array literal of union type should be convertible to union of arrays

TypeScript Version: v4.0.0-dev.20200505, v3.8.3

Search Terms: array union literal

Code

declare let x: Date | Error;
const y: Date[] | Error[] = [x];

Expected behavior:

No errors.

Array literals of unions should be contextually typed by unions of array literals.

I would also expect [Date | Error] to be convertible to Date[] | Error[], which also fails

Actual behavior:

Type '(Date | Error)[]' is not assignable to type 'Date[] | Error[]'.
  Type '(Date | Error)[]' is not assignable to type 'Date[]'.
    Type 'Date | Error' is not assignable to type 'Date'.
      ...

Playground Link: Link

Motivating real-life(-ish) example: Link

Riproduci le assegnazioni riportate negli esempi TypeScript Playground collegati, utilizzando sia il literal di array sia il caso tipizzato esplicitamente [Date | Error]. Traccia il contextual typing e il comportamento di assegnabilità del compilatore per i tipi union e array; il lavoro è completo quando entrambi gli esempi superano il controllo dei tipi senza errori, preservando la semantica prevista di unione di array.