// 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...>;
};