Empty type inferred by Object.entries

TypeScript Version: 2.7.1

Search Terms: Object entries empty TS2365

Code

let o: any = {x: 5};

let p = Object.entries(o).map(([k, v]) => v + 1);

Compile command: tsc --lib es2017,es2017.object a.ts

Expected behavior:
This should compile without any error, assuming v: any.
This was the case for Typescript 2.6.2 at least.

Actual behavior:
(3,43): error TS2365: Operator '+' cannot be applied to types '{}' and '1'.

Following codes compile without errors:

let o: object = {x: 5};

let p = Object.entries(o).map(([k, v]) => v + 1);

let o: any = {x: 5};

let p = Object.entries(o).map(([k, v]: [any, any]) => v + 1);

Reproduisez le rapport dans a.ts avec TypeScript 2.7.1 en utilisant tsc --lib es2017,es2017.object a.ts, puis comparez l’inférence de Object.entries avec le comportement de 2.6.2 décrit ici. Commencez par suivre les définitions de types et les types d’éléments de tuple inférés pour le callback de map présenté. Le travail est terminé lorsque l’exemple d’origine se compile comme prévu sans casser les alternatives annotées explicitement.