TSによるasはキャストじゃなくて、コンパイラを黙らせるだけなんだね。
たまたま辻褄が合えば動いてくれるし、たまたま辻褄が合わなければ「そんなメンバーない」で落ちる(ダックタイピング)。
このあたり静的型付け言語の皮を被った動的型付け言語なんだなってなる。