我很好奇,为了确定函数的类型,类型记录在考虑可能的执行路径时投入了多少“精力”(因为缺少一个更好的术语)。42;因为false从来不是true,所以“永远不会返回此字符串”,因此函数--似乎--应该具有"number“的类型。'never this string';}
并编译它(tsc test.ts),我</
=> resolve('definitely not a number'));我希望报告一个错误,因为根据类型定义,使用字符串而不是数字调用resolve函数。为什么类型不匹配没有被类型记录的编译器捕获和报告?
再看一看,使用异步函数定义,编译器可以正确地报告类型不匹配。TS2322: Type '"d