为什么不能将流强制转换为不太具体的类型？

Question

我遇到的事情的非常简化的版本：

(({a: 42}: {a?: number}): {a?: number, b?: number})

Flow抱怨第一个对象不包含b，但是b是可选的。为什么？