Несоответствия с условным noexcept и перегрузками

у меня есть проблема, которая очень похожа на этой один.

короче говоря, у меня есть magic метод, который noexcept если другой метод noexcept.

странно то, что этот "другой метод" имеет две перегрузки, и компилятор выбирает второй перегрузка для определения magic noexcept-Несс.

вот wandbox ссылке

из того, что я понимаю:

1. noexcept(magic(dummy2{})) звонки
2. noexcept(noexcept(adl_caller(...)), который возвращается к
3. adl_caller(..., priority_tag<0>) noexceptС user_method(dummy2) не известен компилятору на данный момент.

справедливо, однако, как user_method(dummy2) называется 3 строки выше? Это предусмотрено стандартом?

Извините, если я не ясно достаточно.

#include <iostream>

template <unsigned N> struct priority_tag : priority_tag<N - 1> {};
template <> struct priority_tag<0> {};

template <typename T>
auto adl_caller(T t, priority_tag<1>) noexcept(noexcept(user_method(t)))
    -> decltype(user_method(t)) {
  std::cout << "first adl_caller overload" << std::endl;
  user_method(t);
}

// tricky noexcept ...
template <typename T> void adl_caller(T, priority_tag<0>) noexcept {
  std::cout << "second adl_caller overload" << std::endl;
}

template <typename T>
void magic(T t) noexcept(noexcept(adl_caller(t, priority_tag<1>{}))) {
  adl_caller(t, priority_tag<1>{});
}

struct dummy {};
struct dummy2 {};

// un-commenting this line makes the above call to cout print '0'
// void user_method(dummy2);

void user_method(dummy)
{
  // user_method(dummy2) is declared after this point
  // this line prints '1', since magic falls back to the second adl_caller overload
  std::cout << "noexcept?: " << noexcept(magic(dummy2{})) << std::endl;
  std::cout << "dummy method called" << std::endl;
  // however, the first adl_caller overload is called here ...
  magic(dummy2{});
}

void user_method(dummy2)
{
  std::cout << "dummy2 method called" << std::endl;
}

int main()
{
  magic(dummy{});
}