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.

Commencez par reproduire l’exemple minimal de classe abstraite de l’issue et examinez le chemin d’inférence du vérificateur de types de TypeScript. Déterminez comment le type de propriété de la classe étendue devrait fournir l’argument de type de la classe de base abstraite, puis ajoutez une couverture pour le cas présenté et pour le comportement d’inférence associé. Le travail est terminé lorsque B.get() est typé comme le type de propriété inféré plutôt que comme un type non résolu ou trop large.