写这篇文章是因为最近在写一个管理异步队列的库，但是有一些类型推导不太好写，例如上面的期待是 if (values.stauts === 'error') { // values.data to Error } 后面查询了一些文档和资料就有了这篇文章。 收窄方式 在具体讲解上面如何实现之前，...