Требуется предложение и инъекция друга ⇐ C++

[Anonymous]

Я пытаюсь развлечься с инъекцией друзей и предложением require, но у меня возникли проблемы:

Код: Выделить всё

template
struct MaximumValue{};

template
auto injectMaximumValue(MaximumValue);

template
struct MaximumValueInjector {
template requires(U == X)
friend auto injectMaximumValue(MaximumValue) {}
};

int main() {
MaximumValueInjector _;
injectMaximumValue(MaximumValue{});
}

Этот код не компилируется с этой ошибкой:

prog.cc:16:5: error: function ' injectMaximumValue' с выведенным типом возвращаемого значения не может использоваться до его определения
16 | injectMaximumValue(MaximumValue{});
| ^
prog.cc:5:6: примечание: здесь объявлено 'injectMaximumValue'
5 | auto injectMaximumValue(MaximumValue);
| ^
Сгенерирована 1 ошибка.

И на gcc, и на clang
Однако, если я удалю require(U == X)он компилируется нормально.
Поскольку для меня 0 == 0, я не понимаю проблемы.
Кто-нибудь может помочь меня?
(Я знаю, что обходной путь — сделать injectMaximumValue другом MaximumValue )

Подробнее здесь: https://stackoverflow.com/questions/790 ... -injection