我有一个泛型函数，它可以接受至少有一个成员函数列表的类型。
我正在尝试写一个内联的requires表达式来验证这一点。
我下面有一个例子，它无法编译，因为我的类型都没有传递 requires 子句

#include <iostream>

struct Foo
{
    bool has_foo() const { return true; }
};

struct Bar
{
    bool has_bar() const { return true; }
};

template<typename T>
bool check(const T& t)
    requires requires (T t)
    {
        { t.has_foo() || t.has_bar() };
    }
{
    if constexpr (requires { t.has_foo(); })
    {
        if (t.has_foo())
            std::cout << "has foo\n";
        else
            std::cout << "no foo\n";
    }
    if constexpr (requires { t.has_bar(); })
    {
        if (t.has_bar())
            std::cout << "has bar\n";
        else
            std::cout << "no bar\n";
    }
    return true;
}

int main()
{
    check(Foo());
    check(Bar());
    return 0;
}

由于以下原因，构建失败：

test.cpp:40:10: error: no matching function for call to 'check(Foo)'
   40 |     check(Foo());
      |     ~~~~~^~~~~~~
test.cpp:15:6: note: candidate: 'template<class T> bool check(const T&) requires requires(T t) {{t.has_foo() || t.has_bar()};}'
   15 | bool check(const T& t)
      |      ^~~~~
test.cpp:15:6: note:   template argument deduction/substitution failed:
test.cpp:15:6: note: constraints not satisfied
test.cpp: In substitution of 'template<class T> bool check(const T&) requires requires(T t) {{t.has_foo() || t.has_bar()};} [with T = Foo]':
test.cpp:40:10:   required from here
test.cpp:15:6:   required by the constraints of 'template<class T> bool check(const T&) requires requires(T t) {{t.has_foo() || t.has_bar()};}'
test.cpp:16:14:   in requirements with 'T t' [with T = Foo]
test.cpp:18:23: note: the required expression '(t.has_foo() || t.has_bar())' is invalid, because
   18 |         { t.has_foo() || t.has_bar() };
      |           ~~~~~~~~~~~~^~~~~~~~~~~~~~
test.cpp:18:28: error: 'struct Foo' has no member named 'has_bar'
   18 |         { t.has_foo() || t.has_bar() };
      |                          ~~^~~~~~~

我怎样才能把我的requires表达式

requires (T t)
{
    { t.has_foo() || t.has_bar() };
}

转换成逻辑或表达式，这样满足表达式中 * 任一 * 的类型都是允许的？