gcc/testsuite/g++.dg/cpp2a/concepts-pr97093.C


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32

// 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" }