Types 是否有一种方法可以安全地对流中的类型进行类型检查？

下面将抛出一个

null/未定义。算术运算的操作数必须是数字。

错误如下：

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

但是，将

-

更改为

+

将使其检查：

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

一切都“很好”

除非它将导致

null

或

undefined

的

NaN

作为输入

是否有一种方法可以安全地对流中的类型进行类型检查？或者这是一只虫子？（在这种情况下，我很乐意提交一份bug报告）

---

（编辑：flow）-typed@2.1.5)

在我看来像个bug。在流式回购中有一张bug通知单：