Abstract class type argument inference

It would be good if TypeScript can infer the type of an extended class of an generic abstract class:

abstract class A<T> {
    abstract a: T;
    get(): T {
        return '' as any;
    }
}

class B extends A {
    a: 'helloworld';
}

const b = new B():
b.get(); // string

In a similar fashion, it does inference elsewhere.

まず、issue にある最小限の abstract class の例を再現し、TypeScript の型チェッカーの推論経路を調べます。拡張されたクラスのプロパティ型が abstract base class の型引数をどのように提供すべきかを特定し、その後、示されたケースと関連する推論動作のカバレッジを追加します。B.get() が未解決の型や広すぎる型ではなく、推論されたプロパティ型として型付けされれば完了です。