// { dg-do compile { target c++20 } }

template <class T> concept C = requires(T t) { t; };

template <class T> using A = decltype((T{}, int{}));

template <class T> concept D = C<A<T>>;

template <class T> void f() requires D<T>;

template <class, class>
void g() { f<int>(); }