类型谓词可以收窄类型，他是一个函数，但是函数返回值的批注不是单纯的 boolean 而是 X is XX，帮助 ts 完成类型收窄。