这在TypeScript 2.1.5中编译时没有错误:

function promiseANumber(): Promise<number> {
    return new Promise(resolve => resolve('definitely not a number'));
}

我希望报告错误,因为根据类型定义,使用字符串而不是数字调用resolve函数.

为什么TypeScript的编译器没有捕获和报告此类型不匹配？

编辑1

再看一下,使用异步函数定义,编译器会正确报告类型不匹配.所以这:

async function promiseANumber(): Promise<number> {
    return 'definitely not a number';
}

给

error TS2322: Type '"definitely not a number"' is not assignable to type 'number'.

为什么这些案例表现不一样？

编辑2

它看起来像是让编译器正确捕获它以明确告诉它返回哪种类型的promise的方法.所以这就足够了:

function promiseANumber() {
    return new Promise<number>(resolve => resolve('definitely not a number'));
}

编译器现在抱怨的:

error TS2345: Argument of type '"definitely not a number"' is not assignable to parameter of type 'number | Thenable<number>'.

我想我现在的问题是,为什么编译器不能推断出这一点,考虑到我在这个问题的开头给出的定义？ …