gcc/testsuite/g++.dg/cpp2a/concepts-friend16.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

// PR c++/110006
// { dg-do compile { target c++20 } }

template<typename T>
class s;

template<typename T>
void constraint(s<T> const&, int&);

template<typename U, typename T2>
U function(s<T2> const x)
	requires requires (U& u) { constraint(x, u); };

template<typename T>
class s
{
	template<typename U, typename T2>
	friend U function(s<T2> const x)
		requires requires (U& u) { constraint(x, u); };
};

int f(s<int> q)
{
	return function<int>(q); // { dg-bogus "ambiguous" }
}