gcc/testsuite/g++.dg/cpp2a/concepts-recursive-sat4.C


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

// Verify we diagnose constraint recursion.
// PR c++/96840
// { dg-do compile { target c++20 } }

template <class T, class U> concept C = requires(T t, U u) { t * u; };
// { dg-message "required for the satisfaction of 'C<T, Rep>' .with T = Int<int>; Rep = int." "" { target *-*-* } .-1 }
// { dg-error "depends on itself" "" { target *-*-* } .-2 }

template <class Rep> struct Int {
  Int(); // make the class non-aggregate in light of PR99599 fix
  template <class T> requires C<T, Rep> friend void operator*(T, Int) { }
  template <class T> requires C<T, Rep> friend void operator*(Int, T) { }
};

void f() { 0 * Int<int>{}; }