之前是双变的，这会导致有时候错误的 类型也能通过检测。 根本上讲，这意味着回调函数参数和包含回调的类会被更细致地检查，因此 Typescript会要求更严格的类型。 这在Promises和Observables上是十分明显的。 下面是改进后的Promise检查的例子： 1. let p = new Promise((c, e) => { c(12) }); 2. let u: Promise