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);

Riproduci il report in a.ts con TypeScript 2.7.1 usando tsc --lib es2017,es2017.object a.ts, quindi confronta l’inferenza di Object.entries con il comportamento della versione 2.6.2 descritto qui. Inizia tracciando le definizioni dei tipi e i tipi degli elementi della tupla inferiti per la callback map mostrata. Il lavoro è completo quando l’esempio originale viene compilato come previsto senza compromettere le alternative annotate esplicitamente.