@swift-4.2.4
class Animal { func bark() { } } protocol HogeP where Self : Animal {} protocol FugaP : HogeP {} extension FugaP { func fuga() { self.bark() } } func foo(_ fuga: FugaP) { fuga.fuga() } class Cat : Animal, FugaP { } let cat = Cat() foo(cat)