小编Neo*_*Ash的帖子

TS文档说," 从不类型表示永远不会发生的值的类型.变量也会获得从未被任何类型的守卫缩小的类型."

我不明白它的用法,任何人都可以用一些例子给我答案.