如何从泛型实例的类型别名和类型参数中提取类型参数？

Question

鉴于此：

type Qux<A, B> = {}
type Bar<A, B> = Qux<A, B> & B
export type Foo = Bar<1, 2>

我们如何使用 TypeScript 编译器 API 通过动态遍历导出来提取有一个 Bar 别名泛型，其参数是 A 和 B，并且有一个 {{1} }} 别名泛型，其参数为 Qux 和 A。

还可以得出B是Foo的一个实例，其类型参数是Bar和1。