Avatar
ああ、現状ではそうなんですが、
8:55 AM
↓の文脈では existential も Animal になるのかなと。 https://github.com/apple/swift/blob/master/docs/GenericsManifesto.md#generalized-existentials
swift - The Swift Programming Language
8:56 AM
typealias AnySequence<Element> = Any<Sequence where .Iterator.Element == Element> とするためには、 Any<FooProtocol> is FooProtocol じゃないとダメかと思います。