Роль параметров шаблона по умолчанию в разрешении перегрузки (частично специализированных) шаблонов классов

Этот ответ объясняет поведение следующей программы:

template<typename A, typename B = int >
struct FirstWins {
    static constexpr int i = 1;
};
template<typename A>
struct FirstWins<A, float/* anything different from int */ > {
    static constexpr int i = 2;
};

template<typename A, typename B = int >
struct SecondWins {
    static constexpr int i = 1;
};
template<typename A>
struct SecondWins<A, int > {
    static constexpr int i = 2;
};

int main()
{
    typedef void Whatever_t;
    cout << FirstWins < Whatever_t >::i << endl;  // prints 1
    cout << SecondWins< Whatever_t >::i << endl;  // prints 2
    return 0;
}

Однако я не могу найти фактическую ссылку, явно описывающую это поведение и, таким образом, подтверждающую ответ.

Я не смог найти на cppreference.com предложение, подтверждающее, что явные аргументы шаблона предпочтительнее аргументов по умолчанию.

Подозреваю, что это не совсем правило. Правило состоит в том, что при наличии частичной специализации шаблона, соответствующей аргументам шаблона, эта специализация всегда предпочтительнее реализации первичного шаблона. Это верно? (в данном случае документы каким-то образом объясняют это правило, но опять же не явно).