Javascript typescript-泛型-引用同一参数列表中的参数

有人能解释一下为什么Typescript中不允许使用以下内容吗

interface Base<T> {
}

interface SomeInterface<First, Second extends Base<First>> {
}

接口基础{
}
接口接口{
}

由于某些原因，我不明白，无法在

Base

中引用类型

First

错误是：类型参数的约束不能引用同一参数列表中的任何类型参数。

根据0.9.7的中断更改，引入此选项是为了减少开销：

相反，使用不在同一个参数中的约束参数 列出、使约束成为非泛型约束，或者简单地将“any”作为 约束的参数

原因：增加了类型检查、错误报告、， 而且，设计的复杂性并没有增加足够的额外表现力 让它值得1.0。我们可能会在未来版本的 打字稿

---

您的用例正好是文档中提到的两个用例之一。

如果提供了答案，您真的不应该只是阅读并忽略它，而是提供反馈，如果它完全回答了问题，则将其标记为已接受。