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.

Beginne damit, das minimale Beispiel für eine abstrakte Klasse aus dem Issue zu reproduzieren, und untersuche den Inferenzpfad des TypeScript-Typprüfers. Ermittle, wie der Eigenschaftstyp der erweiterten Klasse das Typargument der abstrakten Basisklasse liefern sollte, und füge anschließend Abdeckung für den gezeigten Fall sowie für verwandtes Inferenzverhalten hinzu. Als erledigt gilt die Aufgabe, wenn B.get() als der inferierte Eigenschaftstyp und nicht als ein ungelöster oder zu allgemeiner Typ typisiert ist.