The standard library type AnyHashable is written partially in C++ specifically so that it can find that common ancestor implementing Equatable.