flow的 %checks 语法有什么用

阅读vue源码时发现了在util.js中用到了%checks语法。

官方文档

在Flow中直接定义判断参数的函数，会报错：

function truthy(a, b): boolean {   // 报错
  return a && b;
}

上面这个方法用来检查a，b转换为boolean类型后是否都是true，但在flow中会报语法错误

所以需要用 %checks 来标记这个函数是一个检查函数：

function truthy(a, b): boolean %checks { // 不报错
  return a && b;
}