正在跳转至 https://mariusschulz.com/blog/control-flow-based-type-analysis-in-typescript