Return type of an inherited static method returning "new this()" is incorrectly the base class, but it's the child class in runtime

[TomMarius]

TypeScript Version: 2.0.3

Code

class A
{
    static X()
    {
        return new this();
    }
}

class B extends A
{
}

const shouldBeB = B.X();

Expected behavior:
The compiler correctly infers the type of shouldBeB as B.

Actual behavior:
The compiler infers the type of shouldBeB as A, but it's B in runtime.

[yortus]

Duplicate of #5863?

[TomMarius]

@yortus I feel like that's a feature suggestion, but I think it's a critical bug, so I made a separate issue.

[HerringtonDarkholme]

You can always use #5863 (comment) for the same behavior

[RyanCavanaugh]

Too architecturally difficult to solve given the apparent lack of need for it