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
|
// RUN: %clang_cc1 -std=c++2a -x c++ -verify %s
// expected-no-diagnostics
template<typename T, typename U>
constexpr static bool is_same_v = false;
template<typename T>
constexpr static bool is_same_v<T, T> = true;
namespace PR56154 {
template <int N> concept C0 = (N == 0);
template <int N, int N2> concept C0x = C0<N>;
template <int N1, int N2> concept C00 = C0x<N1, N2> && C0<N2>;
template<int N1, int N2>
struct A {
void f() requires C00<N1, N2>;
void f() requires C0x<N1, N2> = delete;
static short g() requires C00<N1, N2>;
static int g() requires C0x<N1, N2>;
};
void h(A<0, 0> a) {
a.f();
static_assert(is_same_v<decltype(&A<0, 0>::g), short(*)()>);
}
}
|
