FlowType：分配非基本值时可能对类型不当行为进行条件类型检查

Question

在这种非常特殊的情况下，我遇到了一个错误。

如果我有

1. 一个“也许”对象，例如M

2. M包含一个字段，例如F，它又是一个对象

3. 检查M上的条件类型，然后尝试为M.F.someField分配非原始值

然后，流程将报告错误，并说F缺少null或未定义。

我的用例是M是可能存在的HTMLElement。 HTMLElement的{​​{1}}是style。当我将原始值分配给CSSStyleDeclaration时，流程通过了，但是当我分配了由另一个函数计算出的预期字符串值时，流程没有通过。我不确定是否有关于该问题的最准确的摘要。请参考以下代码片段。另外，我在this flow playground

中设置了案例

style

感谢您的帮助！