Почему эта концепция верна, хотя выражение, используемое для проверки, не компилируется? ⇐ C++

[Anonymous]

Это не компилируется:

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

std::get(std::tuple{});

Однако это соответствует истине.

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

template
concept HasV = requires () {
std::get(std::tuple{});
};

Насколько я понимаю, концепции, подобные приведенной выше, проверяют, является ли код компилируемым, и оцениваются как false, если это не так. Однако здесь, похоже, это не так.
Демо-версия здесь: https://godbolt.org/z/9rfrKo7aa

Подробнее здесь: https://stackoverflow.com/questions/791 ... does-not-c