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

?

Riproduci la diagnostica di TypeScript 2.0.3 usando gli esempi della funzione standalone e del metodo Maybe nell’issue. Traccia come vengono analizzate e verificate le annotazioni di ritorno dei type guard, quindi aggiungi una coverage che dimostri che un method guard viene accettato e restringe il tipo del valore pertinente; il lavoro è completato quando l’esempio del metodo supera il controllo dei tipi senza l’errore di sintassi segnalato.