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.

Inizia riproducendo l'esempio minimo di classe astratta dell'issue e ispeziona il percorso di inferenza del verificatore dei tipi di TypeScript. Determina in che modo il tipo della proprietà della classe estesa dovrebbe fornire l'argomento di tipo della classe base astratta, quindi aggiungi la copertura per il caso mostrato e per il comportamento di inferenza correlato. Il lavoro è completo quando B.get() è tipizzato come il tipo della proprietà inferito, anziché come un tipo non risolto o troppo ampio.