Inferred type shows up incorrectly in error messages and on hover (but type checking seems to be okay)

[univerio]

TypeScript Version: 2.7.1, 2.8.0-dev.20180204

Search Terms: type inference, indexed type

Code

declare function foo<T>(attrs: {[K in keyof T]: T[K]}): T;
let res = foo({id: ""});
res = foo({id: 1});

Expected behavior:

The error should be (as in 2.6)

index.ts(3,1): error TS2322: Type '{ id: number; }' is not assignable to type '{ id: string; }'.
  Types of property 'id' are incompatible.
    Type 'number' is not assignable to type 'string'.

Actual behavior:

The error is

index.ts(3,1): error TS2719: Type '{ id: any; }' is not assignable to type '{ id: any; }'. Two different types with this name exist, but they are unrelated.
  Types of property 'id' are incompatible.
    Type 'number' is not assignable to type 'string'.

And the reported type on hover is also not correct

Playground Link: link

Related Issues:

[weswigham]

Maybe a duplicate of #21382? It's very similar, at least.

[weswigham]

Wait, no @mhegazy this is just the expected behavior for a deferred inferred type - right @sandersn?

[sandersn]

Yes, I have a fix at #21311. Please review!

[sandersn]

It's 50% smaller now that the display builder is gone, too.

[weswigham]

@sandersn This issue should be marked as fixed now, right?

[sandersn]

Yes. Good catch.