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

在阅读了以下帮助程序片段后，我感到非常困惑：

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

静态类型检查从何而来？

这些是