Type Inference in for... in combined with typeof

TypeScript Version: 2.1.4

The following code gives an error in TS 2.1:
It's not really nice code, but I think it should work never the less :)

for (var a in this) {
            if (typeof this[a] === "function" && !ko.isObservable(this[a]))
                this[a] = this[a].bind(this);
        }

Expected behavior:
I would expect this[a] to be typed as this[keyof this] & Function:

for (var a in this) {
            if (typeof this[a] === "function" && !ko.isObservable(this[a]))
                this[a] =( <this[keyof this] & Function> this[a]).bind(this);
        }

Actual behavior:
It gives an error, as of TS 2.1, it worked in TS 2.0 (because mapped types did not exist, this[a] was typed as any)

Tái hiện lỗi TypeScript 2.1 bằng ví dụ for...in và typeof được cung cấp, sau đó so sánh hành vi của nó với TypeScript 2.0. Theo dõi suy luận kiểu cho this[a] qua đường dẫn narrowing của for...in; hoàn thành nghĩa là ví dụ được kiểm tra kiểu mà không cần cast tường minh, đồng thời vẫn giữ nguyên narrowing hàm như mong đợi.