Cat 型の変数をinout で渡して Dog が代入されたら困るからじゃないかな。