typescript中never类型概念

dataFlowAnalysisWithNever方法判断完DataFlow的所有可能的类型

使用never避免出现未来扩展新的类没有对应类型的实现，目的就是写出绝对安全的代码