Narrow "this" type

[ghost]

TypeScript Version: nightly (2.2.0-dev.20161130)

Code

function f(this: string | number) {
    if (typeof this === "string") {
        const x: string = this;
    }
}

Expected behavior:

No error.

Actual behavior:

a.ts(3,15): error TS2322: Type 'string | number' is not assignable to type 'string'.

Rename this to me and it works.

[yume-chan]

class A {
    doA() { }

    tryDoB() {
        if (isB(this)) {
            this.doB(); // works
        }
    }
}

class B extends A {
    doB() { }
}

declare function isB(value: any): value is B;

function tryDoB(this: A): void {
    if (isB(this)) {
        this.doB(); // Property 'doB' does not exist on type 'A'.
    }
}

Type guards work on this of instance methods, but not normal functions, it's so annoying.

[SalathielGenese]

You are right @yume-chan , I even tried instanceof without success. Had to cast :

(<B>this).doB(); // now works.

[DanielRosenwasser]

FWIW I'm not really sure that narrowing this makes sense on a primitive. Won't this be Number | String if the LHS of the dot is a number | string? In other words, you'll always get "object".

function foo() { return this }
var x = foo.apply("hello");
console.log(typeof x);

[SalathielGenese]

@DanielRosenwasser, Do you see anything worth it in the following code?

interface A {}
interface B {}
interface C {}

function fn(this: boolean): A;
function fn(this: number): B;
function fn(this: string): C;
function fn(this: boolean | number | string): A | B | C
{
    return <any>void 0;
}

[Andarist]

@RyanCavanaugh this one works OK today, the issue can be closed :)