https://github.com/apple/swift/pull/8939 associatedtype に where を付けられるようになって、 Sequence.Iterator.Element が Sequence.Element になるのはうれしいんだけど、 https://github.com/airspeedswift/swift/blob/8869509174859ca30eeca37001463b3b46e9f7fc/stdlib/public/core/Sequence.swift#L330-L331 associatedtype Element associatedtype Iterator : IteratorProtocol where Iterator.Element == Element こう宣言しなければいけないのは直感的ではないなー。 associatedtype Iterator : IteratorProtocol typealias Element = Iterator.Element で実現できなかった理由はなんなんだろう。

[stdlib] Give Sequence a top-level Element by airspeedswift · Pull Request #8939 · apple/swift

Adds an associatedtype Element to Sequence, then constrains Iterator.Element to match it.

airspeedswift/swift

swift - The Swift Programming Language