たしかに...渡せたほうがよさそうですね > 現状との互換性を考えると

1:57 PM

その場合はAnimalをbarに渡したときにも型チェック時にopening existentialが挿入されるようになるとかですかねぇ〜