Vuejs源代码中的静态类型检查

Question

在阅读了以下维耶斯助手片段后，我感到非常困惑：

export function isPrimitive (value: any): boolean %checks {
  return (
    typeof value === 'string' ||
    typeof value === 'number' ||
    typeof value === 'boolean'
  )
}

静态类型检查从何而来？

Answer 1

这些是流类型注解。