// { dg-do compile { target c++2a } }
// { dg-additional-options "-fconcepts-ts" }

namespace X
{
  template<class> constexpr bool x = true;
}

template<int> using helper = void;

template<typename T>
concept bool C =
  requires
  {
    requires X::x<T>;
    typename helper<T{}>;
  };

static_assert(C<int>);