キャストを試すっていうのは実行時の話じゃなくて、コンパイル時のその後の式の型解釈のことよ。