Object.assign({}) seems to always return a type any

TypeScript Version: 3.3.0-dev.20190110

Search Terms: Object.assign

Code

function foo(): {foo: string} {
    return Object.assign({});
}

Interestingly the code:

function bar(): {bar: string} {
    return Object.assign({}, {bar: 1});
}

does report the expected error

Expected behavior: TypeScript should report an error because the type returned by return Object.assign({}); does not mach {foo: string} but instead the type any is assumed.

Actual behavior: No error is shown

Playground Link: https://www.typescriptlang.org/play/index.html#src=function%20foo()%3A%20%7Bfoo%3A%20string%7D%20%7B%0D%0A%20%20%20%20return%20Object.assign(%7B%7D)%3B%0D%0A%7D%0D%0A

Related Issues: no

首先，使用 issue 中的 TypeScript 版本和当前的 nightly build，在链接的 TypeScript Playground 中重现报告的 Object.assign 示例。跟踪编译器如何为 Object.assign({}) 推断类型，并添加一个回归测试，验证当返回值不满足 {foo: string} 时会被拒绝。