なのでそこから考えると、 protocol Foo は Animal が満たせば暗黙に Cat も満たされるわけだから、 Fooのinitを実装する側はrequiredでなければならない。 (edited)