在Flow中的对象上键入细化

Question

我无法理解this抱怨的原因。在文档中讨论width subtyping，我希望确切的对象类型能够解决问题。谁能指出我的错误？

Answer 1

显然我的例子是错的。 Here's实际发生的事情，它与每次改进函数的结果有关，而不是存储函数的结果并对其进行细化。