T.constructor should be of type T

Given

class Example {
}

The current type of Example.constructor is Function, but I feel that it should be typeof Example instead. The use case for this is as follows:

I'd like to reference the current value of an overridden static property on the current class.

In TypeScript v1.5-beta, doing this requires:

class Example {
    static someProperty = "Hello, world!";

    constructor() {
        // Output overloaded value of someProperty, if it is overloaded.
        console.log(
            (<typeof Example>this.constructor).someProperty
        );
    }
}

class SubExample {
    static someProperty = "Overloaded! Hello world!";

    someMethod() {
        console.log(
            (<typeof SubExample>this.constructor).someProperty
        );
    }
}

After this proposal, the above block could be shortened to:

class Example {
    static someProperty = "Hello, world!";

    constructor() {
        // Output overloaded value of someProperty, if it is overloaded.
        console.log(
            this.constructor.someProperty
        );
    }
}

class SubExample {
    static someProperty = "Overloaded! Hello world!";

    someMethod() {
        console.log(
            this.constructor.someProperty
        );
    }
}

This removes a cast to the current class.

Sử dụng hai ví dụ về class trong issue làm điểm khởi đầu về hành vi, sau đó lần theo các quy tắc kiểm tra kiểu của TypeScript đối với constructor của instance và các thành viên static. Được xem là hoàn tất khi các truy cập this.constructor được đề xuất vượt qua kiểm tra kiểu mà không cần các casts được minh họa, đồng thời vẫn giữ nguyên hành vi dự kiến cho các subclass.