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.

Comienza reproduciendo el ejemplo mínimo de clase abstracta del issue e inspecciona la ruta de inferencia del comprobador de tipos de TypeScript. Determina cómo el tipo de propiedad de la clase extendida debería proporcionar el argumento de tipo de la clase base abstracta y, después, añade cobertura para el caso mostrado y para el comportamiento de inferencia relacionado. Se considera terminado cuando B.get() tiene como tipo el tipo de propiedad inferido, en lugar de un tipo no resuelto o demasiado amplio.