blob: b91f1ae95116a985c0677b5c323a4c087fcf4c33 (
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
|
// { dg-options "-std=c++17 -fconcepts" }
template<typename T>
concept bool Class() { return __is_class(T); }
template<Class T> void f(T) { }
template<typename T> void fn(T) { }
auto p1 = &f<int>; // { dg-error "no matches" }
void (*p2)(int) = &f<int>; // { dg-error "no matches" }
void (*p3)(int) = &f; // { dg-error "no matches" }
struct S {
template<Class T> int f(T) { return 0; }
};
auto p4 = &S::template f<int>; // { dg-error "no matches" }
int (S::*p6)(int) = &S::template f<int>; // { dg-error "no matches" }
int (S::*p7)(int) = &S::f; // { dg-error "no matches" }
template<typename T>
void g(T x) { }
int main () {
g(&f<int>); // { dg-error "no matches" }
}
|