类型推断的改进与 Promise.all 这里指的是对“元组到元组”的类型推断的改进（个人觉得这应该算 bug 修复，这个 bug 是 Anders 老爷亲自写出来的……）。在过去的版本，下面的代码会导致错误，为 str 推断出的类型并不是