>>30
俺は28とは別人だが、縮小方向への型変換になるときにはエラーを出すというはどうだろう？
その場合、それが必要なら当然キャストすれば良い。