优化数组类型的并集

Question

有没有一种方法让Flow来优化声明为数组类型联合（而不是元素为联合类型的数组）的变量。例如，我尝试了以下代码，但它给了我错误（如下所示）：

function foo(arr: Array<string> | Array<number>): void {
  if (!arr.length) return;

  if (typeof arr[0] === 'string') {
    (arr: Array<string>); // error
  } else {
    (arr: Array<number>); // error
  }
}

Try Flow