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.
}

?

Reproduziere die TypeScript-2.0.3-Diagnose mithilfe der Beispiele für die eigenständige Funktion und die Maybe-Methode im Issue. Untersuche, wie Rückgabeannotationen für Typwächter geparst und geprüft werden, und füge Tests hinzu, die zeigen, dass ein Methodenwächter akzeptiert wird und den relevanten Wert eingrenzt; fertig ist die Aufgabe, wenn das Methodenbeispiel ohne den gemeldeten Syntaxfehler typgeprüft wird.