1 2 3 4 5 6 7 8 9 10 11 12
// PR c++/97412 // { dg-do compile { target c++20 } } template <class T, class... TArgs> concept call_bar_with = requires(T t, TArgs... args) { t.bar(args...); }; template <class T, class... TArgs> concept foo = requires { requires call_bar_with<T, TArgs...>; };