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
33
34
|
// RUN: %clang_cc1 -std=c++20 -verify %s
template<class T, class U>
concept C = true;
class non_temp {
template<C<non_temp> T>
friend void f();
non_temp();
};
template<C<non_temp> T>
void f() {
auto v = non_temp();
}
template<class A>
class temp {
template<C<temp> T>
friend void g(); // expected-error {{friend declaration with a constraint that depends on an enclosing template parameter must be a definition}}
temp();
};
template<C<temp<int>> T>
void g() {
auto v = temp<T>();
}
void h() {
f<int>();
g<int>();
}
|
