それって、コンパイル時にキャスト先の型が決まるのでは？