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
|
// testcase from P2113
// { dg-do compile { target c++20 } }
template <typename> constexpr bool True = true;
template <typename T> concept C = True<T>;
void f(C auto &, auto &) = delete;
template <C Q> void f(Q &, C auto &);
void g(struct A *ap, struct B *bp) {
f(*ap, *bp); // OK: Can use different methods to produce template parameters
}
template <typename T, typename U> struct X {};
template <typename T1, C U1, typename V1>
bool operator==(X<T1, U1>, V1) = delete;
// In P2113 this candidate is reversed.
template <C T2, C U2, C V2>
bool operator==(X<T2, U2>, V2);
void h() {
X<void *, int>{} == 0; // OK
}
|
