Allow method type guards

TypeScript Version: 2.0.3

Code

Why I can have function type guard:

function hasValue<T>(value: T | undefined): value is T { return value !== undefined; }

but not method type guard:

export class Maybe<T> {
    constructor(public value: T | undefined) {}

    hasValue(): this.value is T { return this.value !== undefined; }
    //              ^ '{' or ';' expected.
}

?

Issue にある standalone function と Maybe メソッドの例を使って、TypeScript 2.0.3 の診断を再現します。型ガードの戻り値アノテーションがどのように解析およびチェックされるかを追跡し、メソッドガードが受け入れられ、関連する値の型が絞り込まれることを示すカバレッジを追加します。メソッドの例が報告された構文エラーなしで型チェックを通れば完了です。