Почему {} в качестве аргумента функции не приводит к двусмысленности?

Рассмотрим этот код:

#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

Это печатает:

vector overload
int overload

Почему это не приводит к ошибке компиляции из-за неоднозначного разрешения перегрузки? Если второй конструктор удален, мы получим vector overloadдва раза. Как / по какой метрике intоднозначно лучше, {}чем для std::vector<int>?

^{Сигнатура конструктора, безусловно, может быть обрезана дальше, но я просто обманулся эквивалентным фрагментом кода и хочу убедиться, что ничего важного не потеряно для этого вопроса.}

Это в [over.ics.list] , акцент мой

6 В противном случае, если параметр является неагрегированным классом X и разрешение перегрузки для [over.match.list] выбирает единственный лучший конструктор C из X, чтобы выполнить инициализацию объекта типа X из списка инициализатора аргумента:

• Если C не является конструктором списка инициализаторов, и список инициализаторов имеет единственный элемент типа cv U, где U - X или класс, производный от X, последовательность неявного преобразования имеет ранг Точного совпадения, если U - X, или ранг преобразования, если U является производным от X.

• В противном случае последовательность неявного преобразования представляет собой определяемую пользователем последовательность преобразования, в которой вторая стандартная последовательность преобразования представляет собой преобразование идентичности.

9 В противном случае, если тип параметра не является классом:

• [...]

• если список инициализаторов не имеет элементов, последовательность неявного преобразования является преобразованием идентичности. [ Пример:

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

  конец примера]

std::vectorИнициализируется конструктором и пулей в смелыми считает определенный пользователем converison. Между тем, для int, это преобразование идентичности, поэтому оно превосходит звание первого c'or.