debug-constraintsの出力みてみると、オーバーロードのどの候補を使うかの比較自体はこの辺りでやってそうな雰囲気ありますね https://github.com/apple/swift/blob/master/lib/Sema/CSRanking.cpp#L387-L725

swift - The Swift Programming Language