Para entender problemas como el tuyo

[spice mason]

Es por ello que cuando tú buscas creas una función (used_comparator) que será ya sea la función comparator que recibes como argumento ó la función default_compare, al compilador no le queda más remedio que generar un tipo que sea la unión de ambos.