// PR c++/97093
// { dg-do compile { target c++20 } }
// { dg-additional-options "-fconcepts-diagnostics-depth=3 --param=hash-table-verification-limit=10000" }

template <typename T>
concept C =  requires (T t)
{
  requires t.some_const < 2 || requires { t.some_fn (); };
};

template <unsigned, unsigned>
struct c
{};

template <typename T>
concept P = requires (T t, c <0, 1> v) { { t (v) }; }; // { dg-error "no match" }

template <P auto, P auto ...>
struct m
{
  constexpr auto operator () (C auto) const
  {};
};

struct pc
{
  constexpr auto operator () (C auto) const
  {};
};

constexpr auto cc = pc {};
constexpr auto mmcc = m <cc> {}; // { dg-error "not satisfied" }