我试图了解TypeScript中工作类型推断的程度。在以下代码示例中，为什么foo的{{1}}实现有效？我的理解是一个空方法匹配baz.esplode。
void谢谢！
答案 0 :(得分：11)
谢谢你看看！
这实际上是一个错误。当一个函数是上下文类型时，我们应该把它看作是一个表示预期返回类型的返回类型注释（根据语言规范的4.9节），所以你应该有错误。
我已经解决了这个问题，但您是否可以在CodePlex网站上提交错误，以便我们的团队可以对其进行跟踪？今天下午我可以把修复程序推到我们的开发分支。
再次感谢！