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

?

Reproduce el diagnóstico de TypeScript 2.0.3 usando los ejemplos de la función independiente y del método Maybe del issue. Rastrea cómo se analizan y comprueban las anotaciones de retorno de los protectores de tipos, y añade cobertura que demuestre que se acepta un protector de método y que estrecha el valor relevante; se considera terminado cuando el ejemplo del método pasa la comprobación de tipos sin el error de sintaxis indicado.