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
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
|
// RUN: %clang_cc1 -std=c++20 -verify %s
// RUN: %clang_cc1 -std=c++23 -verify %s
namespace PR52905 {
template <class> concept C = true;
struct A {
int begin();
int begin() const;
};
template <class T>
concept Beginable = requires (T t) {
{ t.begin } -> C;
// expected-note@-1 {{because 't.begin' would be invalid: reference to non-static member function must be called}}
};
static_assert(Beginable<A>); // expected-error {{static assertion failed}}
// expected-note@-1 {{does not satisfy 'Beginable'}}
} // namespace PR52905
namespace PR52909a {
template<class> constexpr bool B = true;
template<class T> concept True = B<T>;
template <class T>
int foo(T t) requires requires { // expected-note {{candidate template ignored: constraints not satisfied}}
{t.begin} -> True; // expected-note {{because 't.begin' would be invalid: reference to non-static member function must be called}}
}
{}
struct A { int begin(); };
auto x = foo(A()); // expected-error {{no matching function for call to 'foo'}}
} // namespace PR52909a
namespace PR52909b {
template<class> concept True = true;
template<class T> concept C = requires {
{ T::begin } -> True; // expected-note {{because 'T::begin' would be invalid: reference to overloaded function could not be resolved}}
};
struct A {
static void begin(int);
static void begin(double);
};
static_assert(C<A>); // expected-error {{static assertion failed}}
// expected-note@-1 {{because 'A' does not satisfy 'C'}}
} // namespace PR52909b
namespace PR53075 {
template<class> concept True = true;
template<class T> concept C = requires {
{ &T::f } -> True; // expected-note {{because '&T::f' would be invalid: reference to overloaded function could not be resolved}}
};
struct S {
int *f();
int *f() const;
};
static_assert(C<S>); // expected-error {{static assertion failed}}
// expected-note@-1 {{because 'S' does not satisfy 'C'}}
} // namespace PR53075
|
