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

Comienza reproduciendo el comportamiento de TypeScript 3.8.3 en el Playground enlazado usando los tres ejemplos de Map. Rastrea cómo el checker infiere el tipo del iterable que se pasa al constructor de Map y, después, verifica que las tres asignaciones aceptan valores booleanos y de cadena mezclados sin requerir un tipo explícito duplicado.