嵌套requires子句的约束表达式是否无效？多编译器编译差异问询

这段代码可在GCC 12.2和MSVC 19.33中编译通过，但无法在Clang 15或Clang主干版本中编译，请问嵌套required子句中的约束表达式是否无效？

原始代码示例：

struct t {
    constexpr auto b() const noexcept
    { return true; }
};

template<typename T>
concept c = requires(T t) {
    requires t.b();
};

static_assert(c<t>);

Clang编译时给出的错误信息：

<source>:11:1: error: static assertion failed
static_assert(c<t>);
^             ~~~~
<source>:11:15: note: because 't' does not satisfy 'c'
static_assert(c<t>);
              ^
<source>:8:14: note: because 't.b()' would be invalid: constraint variable 't'
cannot be used in an evaluated context
    requires t.b();
             ^

有趣的是，当用std::bool_constant包装t.b()的求值时，GCC也会出现编译错误，修改后的约束表达式如下：

template<typename T>
concept c = requires(T t) {
    requires std::bool_constant<t.b()>::value;
};

此时GCC给出的错误信息：

<source>:15:38: error: template argument 1 is invalid
   15 |     requires std::bool_constant<t.b()>::value;

根据C++标准，你的代码是无效的，原因如下：

• 在requires表达式的参数列表中声明的变量（比如这里的t）属于约束变量，这类变量的使用范围被标准严格限制：只能出现在requires表达式的简单要求（如t.b()）、类型要求或复合要求中，不能在需要常量求值的上下文里直接引用。
• 嵌套的requires t.b()属于嵌套约束表达式，此时t.b()需要被作为常量表达式求值，这直接违反了约束变量的使用规则，因此Clang的报错是符合标准的正确行为。
• GCC和MSVC能编译通过，属于编译器的非标准扩展或实现漏洞，并非代码本身符合标准。

而用std::bool_constant包装后GCC也报错的原因是：std::bool_constant的模板参数要求必须是编译期常量表达式，此时t作为约束变量无法在这个上下文完成常量求值，所以GCC此时的行为符合标准；而MSVC仍沿用了之前的非标准扩展，因此还能编译通过。

内容的提问来源于stack exchange，提问作者303