可辨识联合

TypeScript中的一种类型建模手法，通过给联合类型每个成员加字面量字段，使编译器能收窄类型并穷尽检查所有分支。