extension Sequence where SubSequence==AnySequence<Self.Iterator.Element> { ... } // これと protocol Sequence { associatedtype SubSequence = AnySequence<Iterator.Element> // これは今できないけど、仮にできたとして、等価になる。 }