TypeScript の Type Guard を使う

typescriptでは型をチェックするような分岐を書くことができる 
その分岐の中だと「この変数はこの型」というのをコンパイラ/エディタが認識してくれる
型をチェックできる条件の書き方は、返り値の型のところに工夫をすればよい
<h2>例</h2>
<ul>
<li>型を <code>pet is Fish</code> と書いて</li>
<li>booleanを返す関数を書く</li>
</ul>
<pre><code class="hljs language-ts">function isFish(pet: Fish | Bird): pet is Fish {
 return (pet as Fish).swim !== undefined;
}
</code></pre>
こうすると isFish が true だった場合の分岐で型推論が効くようになる
<pre><code class="hljs language-ts">if (isFish(obj) {
 ... // ここは型推論が効く
})
</code></pre>
<h2>参考</h2>
<ul>
<li><a href="https://www.typescriptlang.org/docs/handbook/advanced-types.html#user-defined-type-guards">Advanced Types · TypeScript</a></li>
<li><a href="https://qiita.com/propella/items/33433278497f290ceadb">TypeScript の Type Guard を使ってキャストいらず - Qiita</a></li>
</ul>