VS Code中缩进式TypeScript类型检查错误的含义解析

错误行缩进的意义 #

这不是显示失误，是TypeScript的层级化错误提示：

• 最外层错误是总述性提示（比如“类型无法赋值给预期类型”）
• 缩进更深的行是对总述的拆分，对应联合类型中每个具体分支的不匹配细节。TypeScript用缩进表示从属关系，把每个可能的子类型单独列出来，帮你快速定位每个类型分支的问题所在。

同一条语句出现多个错误的原因 #

就是你猜测的逻辑：当data是联合类型（或者TypeScript推导它存在多种可能类型）时，TypeScript会对每个可能的类型逐一做兼容性检查。只要某一个类型分支无法赋值给预期类型，就会生成一条对应的错误提示。最终就会出现同一条语句关联多条错误的情况——每条错误对应联合类型里的一个不兼容分支。

举个简单例子：如果data的类型是string | number | null，而你要把它赋值给boolean类型的变量，TypeScript就会分别抛出三条错误：

• string类型不能赋值给boolean
• number类型不能赋值给boolean
• null类型不能赋值给boolean

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