new Map() infers type only from the first item in the iterable

TypeScript Version: 3.8.3

Search Terms: map infer type first item

Code

type Lookup = Map<number, boolean | string>;

const foo = new Map([
    [1, true],
    [2, 'foo']
]);

const bar: Lookup = new Map([
    [1, true],
    [2, 'foo']
]);

const baz: Lookup = new Map<number, boolean | string>([
    [1, true],
    [2, 'foo']
]);

Expected behavior: All 3 assignments work.

Actual behavior: The first 2 assignments fail because the type of the map is inferred as Map<number, () => boolean> (because of the first item). The 3rd one works but duplicates the type of the map.

Playground Link

Beginne damit, das Verhalten von TypeScript 3.8.3 im verknüpften Playground anhand der drei Map-Beispiele zu reproduzieren. Verfolge, wie der Checker den Typ des an den Map-Konstruktor übergebenen Iterables ableitet, und überprüfe anschließend, dass alle drei Zuweisungen gemischte boolesche und Zeichenfolgenwerte akzeptieren, ohne einen duplizierten expliziten Typ zu erfordern.