TypeScript中的never应用场景
现在就没问题了，因为在穷举完所有类型分支后，info的类型当然就也是 never 啦。很常见的场景就是我们希望，将所有的参数类型都能匹配到，对每个联合类型进行特殊处理。在上面代码中，如果忘记处理了object类型情况，Ts也不会报错。比如一个函数中是一个死循环或异常，这个函数则不会返回任何东西，那么写返回类型的话，写void或者其他的都不合适，那我们就可以使用never。，意味着一个不表示任何类型的类型,never不会是任何值，可能会被推断出来，或者自己定义避免出现逻辑上的异常。
