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
|
// RUN: %clang_cc1 -std=c++26 %s -verify
namespace hana_enable_if_idiom {
template<bool> struct A {};
template<typename, typename = A<true>> struct B;
template<typename T, bool N> struct B<T, A<N>> {};
template<typename T> struct B<T, A<T::value>> {};
struct C {
static const bool value = true;
};
B<C> b;
}
namespace GH132562 {
struct I {
int v = 0;
};
namespace t1 {
template <I... X> struct A;
template <I... X>
requires ((X.v == 0) ||...)
struct A<X...>;
} // namespace t1
namespace t2 {
template <I... X> struct A; // expected-note {{template is declared here}}
template <int... X> struct A<X...>;
// expected-error@-1 {{is not more specialized than the primary template}}
// expected-note@-2 {{no viable conversion from 'int' to 'I'}}
template <int... X> struct B; // expected-note {{template is declared here}}
template <I... X> struct B<X...>;
// expected-error@-1 {{is not more specialized than the primary template}}
// expected-note@-2 {{value of type 'const I' is not implicitly convertible to 'int'}}
} // namespace t2
namespace t3 {
struct J {
int v = 0;
constexpr J(int v) : v(v) {}
};
template <J... X> struct A;
template <int... X> struct A<X...>;
template <int... X> struct B; // expected-note {{template is declared here}}
template <J... X> struct B<X...>;
// expected-error@-1 {{is not more specialized than the primary template}}
// expected-note@-2 {{value of type 'const J' is not implicitly convertible to 'int'}}
} // namespace t3
} // namespace GH132562
namespace GH51866 {
template <class> struct Trait;
template <class T>
requires T::one
struct Trait<T> {}; // #gh51866-one
template <class T>
requires T::two
struct Trait<T> {}; // #gh51866-two
struct Y {
static constexpr bool one = true;
static constexpr bool two = true;
};
template <class T>
concept C = sizeof(Trait<T>) != 0;
static_assert(!C<Y>);
Trait<Y> t;
// expected-error@-1{{ambiguous partial specializations of 'Trait<GH51866::Y>'}}
// expected-note@#gh51866-one{{partial specialization matches}}
// expected-note@#gh51866-two{{partial specialization matches}}
}
|
