namespace
{
template <typename T>
concept bool HasMemberStuff()
{
return requires( T t ) { t.stuff; };
}
void foo(const HasMemberStuff&) {}
struct Foo{};
struct FooWithStuff{int stuff;};
}
foo(FooWithStuff());
foo(Foo()); // constraints not satisfied void `foo(const HasMemberStuff&);`