92 lines · cpp
1// RUN: %clang_cc1 -std=c++20 -verify %s2 3namespace N0 {4 template<int I>5 concept C = I >= 4;6 7 template<int I>8 concept D = I < 8;9 10 template<int I>11 struct A { // #defined-here12 constexpr static int f() { return 0; }13 constexpr static int f() requires C<I> && D<I> { return 1; }14 constexpr static int f() requires C<I> { return 2; }15 16 constexpr static int g() requires C<I> { return 0; } // #candidate-017 constexpr static int g() requires D<I> { return 1; } // #candidate-118 19 constexpr static int h() requires C<I> { return 0; } // expected-note {{member declaration nearly matches}}20 };21 22 template<>23 constexpr int A<2>::f() { return 3; }24 25 template<>26 constexpr int A<4>::f() { return 4; }27 28 template<>29 constexpr int A<8>::f() { return 5; }30 31 static_assert(A<3>::f() == 0);32 static_assert(A<5>::f() == 1);33 static_assert(A<9>::f() == 2);34 static_assert(A<2>::f() == 3);35 static_assert(A<4>::f() == 4);36 static_assert(A<8>::f() == 5);37 38 template<>39 constexpr int A<0>::g() { return 2; }40 41 template<>42 constexpr int A<8>::g() { return 3; }43 44 template<>45 constexpr int A<6>::g() { return 4; } // expected-error {{ambiguous member function specialization 'N0::A<6>::g' of 'N0::A::g'}}46 // expected-note@#candidate-0 {{member function specialization matches 'g'}}47 // expected-note@#candidate-1 {{member function specialization matches 'g'}}48 49 static_assert(A<9>::g() == 0);50 static_assert(A<1>::g() == 1);51 static_assert(A<0>::g() == 2);52 static_assert(A<8>::g() == 3);53 54 template<>55 constexpr int A<4>::h() { return 1; }56 57 template<>58 constexpr int A<0>::h() { return 2; } // expected-error {{out-of-line definition of 'h' does not match any declaration in 'N0::A<0>'}}59 // expected-note@#defined-here {{defined here}}60 61 static_assert(A<5>::h() == 0);62 static_assert(A<4>::h() == 1);63} // namespace N064 65namespace N1 {66 template<int I>67 concept C = I > 0;68 69 template<int I>70 concept D = I > 1;71 72 template<int I>73 concept E = I > 2;74 75 template<int I>76 struct A {77 void f() requires C<I> && D<I>; // expected-note {{member function specialization matches 'f'}}78 void f() requires C<I> && E<I>; // expected-note {{member function specialization matches 'f'}}79 void f() requires C<I> && D<I> && true; // expected-note {{member function specialization matches 'f'}}80 81 void g() requires C<I> && E<I>; // expected-note {{member function specialization matches 'g'}}82 void g() requires C<I> && D<I>; // expected-note {{member function specialization matches 'g'}}83 void g() requires C<I> && D<I> && true; // expected-note {{member function specialization matches 'g'}}84 };85 86 template<>87 void A<3>::f(); // expected-error {{ambiguous member function specialization 'N1::A<3>::f' of 'N1::A::f'}}88 89 template<>90 void A<3>::g(); // expected-error {{ambiguous member function specialization 'N1::A<3>::g' of 'N1::A::g'}}91} // namespace N192