用流键入嵌套对象

Question

我在不同的文件中有3种类型。其中一个包括另外两个作为其中一个属性的定义。

// /flow-typed/type1.js

declare type1 = {
  prop1: string,
  prop2: string,
}

和

// /flow-typed/type2.js

declare type2 = {
  prop1: number,
  prop2: number,
}

然后type3使用另外两个     // /flow-typed/type3.js

declare type3 = {
  prop1: type1,
  prop2: type2,
}

在type3.js中，Flow为property ... not found in object literal和type1的每个属性提供type2错误。