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

たしかにこれまずそう。

3:56 AM

inout に existential を渡してるなら Cat が Dog に変えられてもいいけど、 Cat を渡して暗黙的に変換された existential に Dog が書かれたら Cat に書き戻せない。