为何添加onchange后VSCode中的TypeScript错误消失？

问题现象 #

在VS Code启用TypeScript相关设置后，以下HTML文件里，因为// @ts-check开启了类型检查，const data = 0的赋值和上方@type {string}的类型注解不匹配，会正常显示TypeScript错误：

<!DOCTYPE html>
<html>
<body>
    <div>
        <select>
        </select>
    </div>

    <script>
        // @ts-check

        /**
         * @type {string}
         */
        const data = 0;
    </script>
</body>
</html>

但只要给<select>标签添加空的onchange=""属性：

<select onchange=""></select>

原本的TypeScript诊断错误就会消失——悬停data变量仍能看到正确的类型注解，但编辑器不再弹出错误提示。

原因分析 #

这是VS Code内置TypeScript语言服务处理HTML文件时的边界逻辑bug：

• 当HTML中存在未绑定事件属性的<select>时，TypeScript服务会正常解析并检查<script>块里的类型注解；
• 但一旦给<select>添加空的事件属性（如onchange=""），TypeScript服务会错误地跳过对该文件中<script>块的类型诊断流程，仅保留了类型信息的解析（因此悬停还能看到类型）。

本质上是TypeScript在处理HTML嵌入式脚本时，对带有空事件属性的元素的解析逻辑出现偏差，导致后续的脚本诊断被意外禁用，和代码本身的语法正确性无关。

验证与解决建议 #

• 验证方式：如果把空的onchange=""换成非空的事件处理代码（比如onchange="console.log(1)"），TypeScript诊断错误会重新出现，说明是空事件属性触发了这个bug。
• 解决办法：
  • 避免给元素添加空的事件属性，改用脚本内的addEventListener方式绑定事件；
  • 升级VS Code到最新版本，这类编辑器/语言服务的bug通常会在后续更新中被修复。

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