Концепция C++ 20 и предложения require не имеют никакого эффекта. ⇐ C++

[Anonymous]

Я был бы очень признателен, если бы кто-нибудь объяснил, как компиляторы C++ 20+ (в моем случае MSVC 2022) могут компилировать следующее, почему концепция Simple не имеет эффекта?
template
concept Simple = requires(T t)
{
std::is_trivial_v == true;
};

void foo(Simple auto s) {
std::cout

Подробнее здесь: https://stackoverflow.com/questions/699 ... -no-effect