类型收窄是TS中才会出现的概念。

类型守卫（type guards）

typeof

类型谓词（type ）

is

control flow

ifelse

switchcase

in

in

never 最小类型

The never type is assignable to every type; however, no type is assignable to never (except never itself)

兜底检查