| // 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 |
| } |
