有没有办法安排类型检查添加可能类型的流式安全？

Question

以下内容将按预期抛出null/undefined. The operand of an arithmetic operation must be a number.错误：

/* @flow */
function foo(x: ?number): number {
  return 1 - x;
}

try here

然而，将-更改为+会使其检查：

/* @flow */
function foo(x: ?number): number {
  return 1 + x;
}

一切都很好＆＃34;很好＆＃34; try here

除了它会导致NaN或null的{​​{1}}作为输入。

有没有办法在类型安全的流量类型中键入支票添加？或者这是一个像this这样的错误？ （在这种情况下，我很乐意提交错误报告）

（编辑：flow-typed@2.1.5）