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

まず、3つの Map の例を使って、リンク先の Playground で TypeScript 3.8.3 の動作を再現します。checker が Map コンストラクターに渡される iterable の型をどのように推論するかを追跡し、その後、3つすべての代入で、重複した明示的な型を指定しなくても boolean 値と string 値の混在が受け入れられることを確認します。