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

Commencez par reproduire le comportement de TypeScript 3.8.3 dans le Playground lié en utilisant les trois exemples de Map. Suivez la manière dont le checker infère le type de l’itérable passé au constructeur de Map, puis vérifiez que les trois affectations acceptent des valeurs booléennes et de chaîne mélangées sans nécessiter un type explicite dupliqué.