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.

This is a really interesting idea. Seems like it would improve life for React users for sure.
Is there any particular reason it would be limited to abstract classes? It seems applicable to interfaces as well as concrete classes.

Aluan Haddad (@aluanhaddad)

Aluan Haddad (@aluanhaddad) I suggested it applied to abstract, mostly because abstract implies there will be at least another declaration. But after thinking about it, I cannot see why it's not applicable to normal classes as well.

See notes at #13368

I hope this covers statics as well, example taken from #10603:

abstract class BaseClass<T> {
    abstract static defaultValue: T;
    // ...
}

class ClassA extends BaseClass {
    static defaultValue = {
         name: 1;
    }
}

I hope it apply to normal class also. see ant-design/ant-design#4324

Navigation Menu

Repository navigation

Abstract class type argument inference #13087

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Abstract class type argument inference #13087

Description

Activity

aluanhaddad commented on Dec 21, 2016

tinganho commented on Dec 22, 2016

RyanCavanaugh commented on Jan 10, 2017

tinganho commented on Jan 10, 2017

infeng commented on Jan 11, 2017

Metadata

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Issue actions