Redundant duplication of typealiase declarations when conforms to a protocol (Part 2)

Question

protocol Destinationable: Hashable {
    associatedtype D: Hashable
    var destination: D { get }
}

protocol Graph {
    associatedtype Edge: Destinationable
    s