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

   1 // PR c++/113966
   2 // { dg-do compile { target c++20 } }
   3
   4 template<class T> concept C = T::value;
   5
   6 template<class T>
   7 struct A {
   8   template<class U> requires U::value || requires { { T() } -> C; }
   9   friend void f(A, U) { }
  10
  11   template<class U> requires requires { { g(U()) } noexcept; }
  12   friend void f(A, U, U) { }
  13 };
  14
  15 template struct A<int>;