Typescript 从基类推断泛型参数

我如何从基类推断出abc

abc

class BaseClass<T> {}

class A extends BaseClass<'abc'> {
  constructor() {
    super()
  }
}

// NotAbc is 'unknown'
type NotAbc = A extends BaseClass<infer I> ? I : never

类基类{}
类扩展了基类{
构造函数（）{
超级（）
}
}
//NotAbc是“未知的”
类型NotAbc=A扩展基类？I:从来没有

它不起作用，因为未使用泛型参数：

class BaseClass<T> {
    t!: T
}

class A extends BaseClass<'abc'> {
    constructor() {
        super()
    }
}

// Abc is 'abc'
type Abc = A extends BaseClass<infer I> ? I : never

类基类{
t！：t
}
类扩展了基类{
构造函数（）{
超级（）
}
}
//Abc是“Abc”
类型Abc=扩展基类？I:从来没有

现在，它的工作如预期