Redundant duplication of typealiase declarations when conforms to a protocol

Question

protocol PathCollection: Collection where Element == Target.Element, Index == Target.Index {
    associatedtype Target: Collection
    static var reference: KeyPath&