blob: c437c79d01fbb0d75ed5c5e8805f0779e2c6ffed (
plain)
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
|
// { dg-options "-std=c++17 -fconcepts" }
template<typename T>
concept bool Eq() { return requires(T t) { t == t; }; }
struct Nt {
template<Eq T> friend void f(T) { }
} nt;
template<typename T> struct S;
template<Eq T>
void proc(S<T>*);
template<typename T>
struct S {
friend bool operator==(S, S) requires Eq<T>() { return true; }
friend void proc<>(S*); // { dg-error "does not match any template declaration" }
};
struct X { } x;
int main() {
// f(0); // OK
f(nt); // { dg-error "cannot call" }
f(x); // { dg-error "3:'f' was not declared" }
S<int> si;
si == si; // OK
S<X> sx;
sx == sx; // { dg-error "no match" }
}
|