Tipo de retorno automático de modelo e ambiguidade

Eu tenho uma função de modelo sobrecarregada:

template<typename T1, typename T2>
auto overMax(T1 a, T2 b)
{
    std::cout << __FUNCSIG__ << std::endl;

    return b < a ? a : b;
}

template<typename RT, typename T1, typename T2>
RT overMax(T1 a, T2 b)
{
    std::cout << __FUNCSIG__ << std::endl;

    return b < a ? a : b;
}

Se eu chamar assim:

auto a = overMax(4, 7.2); // uses first template
auto b = overMax<double>(4, 7.2); // uses second template

tudo funciona perfeito, mas

auto c = overMax<int>(4, 7.2); // error

causa chamada ambígua.

Por que é assim com int e OK que outros tipos?

RTnão é dedutível, portanto, quando não o fornece, apenas template<typename T1, typename T2> auto overMax(T1 a, T2 b)pode ser chamado.

Quando você (parcialmente) fornece um argumento de modelo, ambos os métodos são viáveis,

mas, dependendo do argumento, pode-se ser um candidato melhor:

• Para auto b = overMax<double>(4, 7.2); // uses second template

  Ambos overMax<double, int, double>e overMax<double, double>são viáveis.
  Mas overMax<double, int, double>é correspondência exata
  enquanto que overMax<double, double>exige inta doubleconversão.

• Para auto c = overMax<int>(4, 7.2); // Ambiguous call

  Ambos overMax<int, int, double>e overMax<int, double>são viáveis.
  Mas nem uma correspondência melhor ou mais especializada, portanto, a chamada é ambígua.