ユーザ定義の型ガードは `any`型では動作しませんか？

Question

私は次のようなユーザー定義型のガードを書いていた場合：

interface Cat { 
    meow:() => void; 
} 

function isCat(a: any): a is Cat { 
    return a.name === 'kitty'; 
} 

var x: Cat|{}; 
if(isCat(x)) { 
    x.meow(); // OK, x is Cat in this block 
} 

活字体は、上記ifブロック内xの種類を把握することができます。

私は、コードを変更する場合は、：

var x; // No type here. It's an "any" for now. 
if(isCat(x)) { 
    x.meow(); // What!? It's type `any`?? 
} 

活字体xも型ガードif文の "安全性" の中に、anyであることを前提としています。

Answer 1

確認済みのバグ。既に報告済み：https://github.com/Microsoft/TypeScript/issues/6015