使用Flow生成库类型定义时遇ObjProtoT内部错误排查请求

看起来你遇到的是Flow生成库定义工具的内部bug，这种情况确实有点头疼——毕竟常规的flow检查能通过，但gen-flow-files却报错了。

问题根源分析 #

错误提示里的ObjProtoT是Flow内部用来表示Object.prototype的类型，这个错误说明生成libdefs的工具在处理你的类型定义时，无法正确解析某个涉及到Object原型相关的类型逻辑。从你提供的types.js代码来看，大概率是递归的JSONValue类型或者对象索引类型的写法触发了这个内部错误：

type JSONValue =
  | null
  | boolean
  | number
  | string
  | Array<JSONValue>
  | { [key: string]: JSONValue };

常规类型检查时Flow能正确处理这种递归对象类型，但生成libdefs的模块对这类复杂递归类型的兼容性可能更差。

可行的解决方案 #

• 调整对象类型的写法
  把{ [key: string]: JSONValue }换成Flow提供的Record类型试试，写法更规范，也可能避开这个内部错误：

  type JSONValue =
    | null
    | boolean
    | number
    | string
    | Array<JSONValue>
    | Record<string, JSONValue>;
  

• 逐步排查出错的类型
  先注释掉types.js里的部分类型定义，分批次运行flow gen-flow-files src --out-dir dist，定位到具体是哪个类型触发了错误。比如先只保留基础类型，再逐步添加复杂类型，找到问题点后针对性调整。

• 升级Flow版本
  这个ObjProtoT相关的内部错误可能是Flow旧版本的已知bug，尝试升级到最新稳定版的Flow，看看问题是否已经被修复：

  npm install flow-bin@latest --save-dev
  

• 避免使用可能触发内部逻辑的语法
  如果上面的方法都不行，试试简化你的类型定义，比如把递归类型拆分成非递归的，或者用更简单的方式表达对象结构，暂时绕过这个生成工具的限制。

内容的提问来源于stack exchange，提问作者Vladislav Orlov