X |如果不检查箭头功能，不确定的范围将缩小到永远

Question

启用strictNullChecks时，以下代码在TypeScript中产生错误：

function foo(cb) {
  cb()
}

let h: { a: number } | undefined = undefined // required to reproduce this bug
foo(() => h = { a: 1 })
if (h) {
  console.log(h.a) // <-- h is of type `never`
}

TypeScript Playground

Answer 1

这是TypeScript控件流分析的设计限制。

参考：

takes a single argument

https://github.com/Microsoft/TypeScript/issues/28038