それでいうと、 AnimalBase で定義された convenience init(with:) が、 Cat で呼び出せるのがおかしい、とも言える。