Error inferring types of promise function

TypeScript Version: nightly (Version 2.5.0-dev.20170816)

Code

(based on DefinitelyTyped/types/bluebird/index.d.ts)

declare function props<K, V>(x: PromiseLike<Map<K, PromiseLike<V> | V>>): Promise<Map<K, V>>;
declare const input: Promise<Map<number, Promise<string>>>;
const out: Promise<Map<number, string>> = props(input);

Expected behavior:

No error.

Actual behavior:

src/a.ts(3,7): error TS2322: Type 'Promise<Map<number, Promise<string>>>' is not assignable to type 'Promise<Map<number, string>>'.
  Type 'Map<number, Promise<string>>' is not assignable to type 'Map<number, string>'.
    Type 'Promise<string>' is not assignable to type 'string'.

It works if I explicitly specify props<number, string>(input).
The error only reproduces with "lib": ["es6"].

Bắt đầu với phần tái hiện bằng TypeScript trong issue, sử dụng thiết lập lib: ["es6"] được hiển thị, và so sánh suy luận cho props(input) với lời gọi được định kiểu tường minh. Issue được hoàn tất khi kết quả được suy luận có thể gán cho Promise<Map<number, string>> mà không cần các đối số kiểu tường minh và lỗi được báo cáo không còn xảy ra.