シンプルなら、Any<Animal> 一般なら、Any<Sequence where ...>と

6:07 AM

そう表現したものを存在型ということにすれば

6:07 AM

Animal.selfがprotocol型で準拠するものではなく、Any<Animal>.selfが具体的に準拠したりできるようになるはず

6:07 AM

かしら?

6:08 AM

つまり、Animal型の変数を持つときに let animal: Animalは駄目になって、

6:08 AM

let animal: Any<Animal> がOKになると色々整合性取れてきそう