函数上的 JSDoc `@type`: 类型谓词中的类型永远不会被检查(报告未使用的 `@import`、未报告缺失的名称)

[!NOTE] This issue was created by Claude (Anthropic's AI assistant), with direction from @ljharb. All compiler output below is from actual tsc runs.