Compiler not erroring for generic in Promise.resolve

[OliverJAsh]

Latest 2 beta

type Foo = Promise<string>;
const baz = Promise.resolve(1); // inferred as Promise<number>, correct
const cmd: Foo = baz // should error! number should be string

[yortus]

It is an annoying problem, but I think the team is looking into it. See #9953 and #10524. (This is really a duplicate of those).

[OliverJAsh]

Closed by 9d4219a

[OliverJAsh]

Actually I believe this is still an issue:

const commits: Promise<number> = Promise.resolve('foo') // no error!

[mhegazy]

Actually I believe this is still an issue:

should be working now.

c:\test>tsc --v
Version 2.1.4

c:\test>type C:\test\sandbox8\a.ts
const commits: Promise<number> = Promise.resolve('foo') // no error!

c:\test>tsc C:\test\sandbox8\a.ts --lib es6
sandbox8/a.ts(1,7): error TS2322: Type 'Promise<string>' is not assignable to type 'Promise<number>'.
  Type 'string' is not assignable to type 'number'.