为什么在使用箭头函数时，不使用控制流为窄类型编写typescript

Question

Typescript拒绝通过调用来缩小范围失败但会缩小范围失败2这是打字中的错误吗？

常量失败=（消息？：字符串）：从不=>{抛出新错误（消息）；};函数fail2（消息？：字符串）：从不{抛出新错误（消息）；}const getData=（）：字符串|空=>{返回“数据”；}export const loadDataOrError=（）：string=>{const数据=getData（）；if（数据===空）{//交换下面的选项，看它是否有效//故障2（）；失败（）；}//这个错误返回数据；};

在这里如果你想尝试切换注释并看到错误消失，这是一个游乐场。

清晰的屏幕截图

有一个错误

没有错误

Answer 1

根据这open GitHub问题这是类型收缩目前在typescript中工作方式的一个限制。如果您想纠正它，可以这样显式地注释箭头函数类型：

常量失败：（消息？：字符串）=>从不=（消息）=>{引发新错误（消息）}