28 lines
708 B
C++
28 lines
708 B
C++
// 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(*)()>);
|
|
}
|
|
}
|