¿Por qué {} como argumento de función no conduce a la ambigüedad?

Considera este código:

#include <vector>
#include <iostream>

enum class A
{
  X, Y
};

struct Test
{
  Test(const std::vector<double>&, const std::vector<int>& = {}, A = A::X)
  { std::cout << "vector overload" << std::endl; }

  Test(const std::vector<double>&, int, A = A::X)
  { std::cout << "int overload" << std::endl; }
};

int main()
{
  std::vector<double> v;
  Test t1(v);
  Test t2(v, {}, A::X);
}

https://godbolt.org/z/Gc_w8i

Esto imprime:

vector overload
int overload

¿Por qué esto no produce un error de compilación debido a una resolución de sobrecarga ambigua? Si se elimina el segundo constructor, obtenemos vector overloaddos veces. ¿Cómo / por qué métrica es intuna combinación inequívocamente mejor {}que std::vector<int>?

^{La firma del constructor seguramente se puede recortar aún más, pero acabo de engañarme con un código equivalente y quiero asegurarme de que no se pierda nada importante para esta pregunta.}

Está en [over.ics.list] , énfasis mío

6 De lo contrario, si el parámetro es una clase X no agregada y la resolución de sobrecarga por [over.match.list] elige un mejor constructor C de X para realizar la inicialización de un objeto de tipo X de la lista de inicializadores de argumentos:

• Si C no es un constructor de lista de inicializadores y la lista de inicializadores tiene un solo elemento de tipo cv U, donde U es X o una clase derivada de X, la secuencia de conversión implícita tiene un rango de coincidencia exacta si U es X, o un rango de conversión si U se deriva de X.

• De lo contrario, la secuencia de conversión implícita es una secuencia de conversión definida por el usuario con la segunda secuencia de conversión estándar una conversión de identidad.

9 De lo contrario, si el tipo de parámetro no es una clase:

• [...]

• Si la lista de inicializadores no tiene elementos, la secuencia de conversión implícita es la conversión de identidad. [Ejemplo:

  void f(int);
  f( { } ); // OK: identity conversion

  ejemplo final]

El std::vectorconstructor lo inicializa y la viñeta en negrita lo considera una conversión definida por el usuario. Mientras tanto, para una int, esta es la conversión de identidad, por lo que supera el rango del primer c'tor.