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

   1 // PR c++/110006
   2 // { dg-do compile { target c++20 } }
   3
   4 template<typename T>
   5 class s;
   6
   7 template<typename T>
   8 void constraint(s<T> const&, int&);
   9
  10 template<typename U, typename T2>
  11 U function(s<T2> const x)
  12         requires requires (U& u) { constraint(x, u); };
  13
  14 template<typename T>
  15 class s
  16 {
  17         template<typename U, typename T2>
  18         friend U function(s<T2> const x)
  19                 requires requires (U& u) { constraint(x, u); };
  20 };
  21
  22 int f(s<int> q)
  23 {
  24         return function<int>(q); // { dg-bogus "ambiguous" }
  25 }