TypeScript 在函數語句中推斷 void 而不是 never

Question

TypeScript infers () => never for foo如果它是不返回的函數表達式的結果：

const foo = function () {
  throw new Error();
}

但是如果foo是一個函數語句則為void ：

function foo() {
  throw new Error();
}

我不明白。 有一個解釋會很棒。

Answer 1

在 文檔中找到解釋。

“永遠不會是總是拋出異常或永不返回的函數表達式或箭頭函數表達式的返回類型”

如果分配引發錯誤，則永遠不會分配 const foo。