blob: d849e9129a3b3935f5e5ad0eea7acb724e832935 (
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
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
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
|
// PR c++/113191
// CWG 2789
// { dg-do compile { target c++20 } }
// { dg-additional-options "-Wno-error=c++23-extensions" { target c++20_only } }
template<typename> struct S;
template<typename T = void>
struct B {
constexpr int f() const requires true { return 5; }
constexpr operator int () const requires true { return 5; }
constexpr int g(this S<T>&&) requires true { return 5; }
// { dg-warning "explicit object" "" { target c++20_only } .-1 }
constexpr int h() requires true { return 5; }
};
template<typename = void>
struct S : B<> {
using B::f;
using B::g;
using B::h;
constexpr int f() const { return 10; }
constexpr operator int () const { return 10; }
constexpr int g() { return 10; }
constexpr int h(this S&&) { return 10; }
// { dg-warning "explicit object" "" { target c++20_only } .-1 }
};
// ambiguous, constraints aren't considered since the candidates
// come from different classes
static_assert(S<>{}.f() == 5); // { dg-error "ambiguous" }
static_assert(S<>{}.g() == 5); // { dg-error "ambiguous" }
static_assert(S<>{}.h() == 5); // { dg-error "ambiguous" }
template <typename = void>
struct C {
constexpr int f() const { return 15; }
constexpr operator int () const { return 15; }
};
template <typename = void>
struct S2: B<>, C<> { };
// ambiguous as above
static_assert(S2<>{} == 5); // { dg-error "ambiguous" }
// ambiguous lookup, so we never actually compare the candidates
// if we did, implicit object parms don't match due to different classes
// so constraints aren't considered and it would still be ambiguous
static_assert(S2<>{}.f() == 5); // { dg-error "ambiguous" }
template <typename = void>
struct S3 : B<> {
using B::f;
constexpr int f() volatile { return 10; }
};
static_assert(S3<>{}.f() == 5); // { dg-error "ambiguous" }
template <typename = void>
struct S4 : B<> {
using B::f;
constexpr int f() const & { return 10; }
};
static_assert(S4<>{}.f() == 5); // { dg-error "ambiguous" }
template <typename = void>
struct C2 {
constexpr operator int () volatile { return 15; }
};
template <typename = void>
struct S5: B<>, C2<> { };
// implicit object parms don't match due to different cv-quals
static_assert(S5<>{} == 5); // { dg-error "ambiguous" }
namespace N1 {
template <class = void> struct B;
template <class = void>
struct A {
constexpr bool operator==(B<>&) { return false; }
};
template <class>
struct B {
constexpr bool operator==(A<>&) requires true { return true; }
};
A<> a;
B<> b;
// A op== and B op== are defined in different classes so constraints
// aren't considered, and the tie is broken via reversedness.
static_assert (!(a == b));
}
|
