Чому {} як аргумент функції не призводить до неоднозначності?

Розглянемо цей код:

#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ініціалізується конструктором, а куля жирним шрифтом вважає конверсію, визначену користувачем. Тим часом, для an intце перетворення ідентичності, тож воно перемагає ранг першого c'tor.