これに関しては

convenience init(with obj: AnimalBase) { self.init(_with: obj) // <- ここがSelfチェックなはずのにAnimalBaseが通るのがおかしい }

だと思っていて、型として問題があるわけではないと思う