いや別に、Iterator = Selfである必要はないだけで

4:15 AM

Elementの型さえ一致していればその系も表現出来るのだから、

protocol MySequence { associatedtype Element associatedtype Iterator: MySequence where Iterator.Element == Element func makeIterator() -> Iterator func next() -> Element? }

こういう風にできると思う

4:15 AM

てか、Recursive Constraint来てたら、さっきのMySequence/MyIteratorもコンパイル通ると思ったけど

4:15 AM

あーーー

4:16 AM

そっか、Sequenceがnext持ってるのは変だわ、たしかに