流程没有从typedef'ed返回中找出参数类型

Question

我已经声明了返回的类型，我在这里使用了redux action creator，如flowjs.org教程中所述 - https://flow.org/en/docs/react/redux/

type UpAsyncAction = { type:typeof UP_ASYNC, times:number };
const upAsync = (times=1): UpAsyncAction => ({ type:UP_ASYNC, times });

times参数加下划线，如下截图所示：

  

参数times（缺少注释）

但是我认为流程是智能的并且它使用图形算法，因此它应该能够确定如果times在返回中并且times被用作参数否？