Использование std :: Применение в концепции вызывает ошибку компиляции ⇐ C++

[Anonymous]

Я пытаюсь проверить, существует ли перегрузка функции для списка типов. Аргументы для функции связаны в кортеже, поэтому я использовал std :: Apply в концепции тестирования. К моему удивлению, концепция не может составить: < /p>

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

#include 
#include 
#include 

void foo(int) {}

template 
concept OverloadExists = requires(T x) {
std::apply(
[](auto const&... args) {
foo(args...);
}, x);
};
static_assert(OverloadExists || true);

Я смог достичь цели, извлекая кожуру распаковку вне концепции, но мне любопытно, почему эта концепция не компилируется?

Подробнее здесь: https://stackoverflow.com/questions/796 ... tion-error