Swift で Generics を使って Comparable の挙動を変更する

ComparableWithGenerics.swift

protocol P {
    static func eq<T>(_ x: A<T>, _ y: A<T>) -> Bool
    static func lt<T>(_ x: A<T>, _ y: A<T>) -> Bool
}
struct A<T: P>: Comparable {}

func == <T>(x: A<T>, y: A<T>) -> Bool {
    return T.eq(x, y)
}

func < <T>(x: A<T>, y: A<T>) -> Bool {
    return T.lt(x, y)
}

struct Q: P {
    static func eq<T>(_ x: A<T>, _ y: A<T>) -> Bool {
        print("B: eq")
        return false
    }
    static func lt<T>(_ x: A<T>, _ y: A<T>) -> Bool {
        print("B: lt")
        return false
    }
}

let a = A<Q>()
let b = A<Q>()
print(a == b)
// B: eq
//=> false
print(a < b)
// B: lt
//=> false