77 lines · cpp
1// RUN: %clang_cc1 -fsyntax-only -std=c++20 -verify %s2// RUN: %clang_cc1 -fsyntax-only -std=c++20 -verify %s -fexperimental-new-constant-interpreter3 4template <typename Iterator> class normal_iterator {};5 6template <typename From, typename To> struct is_convertible {};7 8template <typename From, typename To>9inline constexpr bool is_convertible_v = is_convertible<From, To>::value; // expected-error {{no member named 'value' in 'is_convertible<bool, bool>'}}10 11template <typename From, typename To>12concept convertible_to = is_convertible_v<From, To>; // #113 14template <typename IteratorL, typename IteratorR>15 requires requires(IteratorL lhs, IteratorR rhs) { // #216 { lhs == rhs } -> convertible_to<bool>; // #317 }18constexpr bool compare(normal_iterator<IteratorL> lhs, normal_iterator<IteratorR> rhs) { // #419 return false;20}21 22class Object;23 24void function() {25 normal_iterator<Object *> begin, end;26 compare(begin, end); // expected-error {{no matching function for call to 'compare'}} #527}28 29// expected-note@#1 {{in instantiation of variable template specialization 'is_convertible_v<bool, bool>' requested here}}30// expected-note@#1 {{substituting template arguments into constraint expression here}}31// expected-note@#3 {{checking the satisfaction of concept 'convertible_to<bool, bool>'}}32// expected-note@#2 {{substituting template arguments into constraint expression here}}33// expected-note@#5 {{checking constraint satisfaction for template 'compare<Object *, Object *>'}}34// expected-note@#5 {{while substituting deduced template arguments into function template 'compare' [with IteratorL = Object *, IteratorR = Object *]}}35 36// expected-note@#4 {{candidate template ignored: constraints not satisfied [with IteratorL = Object *, IteratorR = Object *]}}37// We don't know exactly the substituted type for `lhs == rhs`, thus a placeholder 'expr-type' is emitted.38// expected-note@#3 {{because 'convertible_to<expr-type, bool>' would be invalid}}39 40namespace GH131530 {41 42class foo {43 struct bar {}; // expected-note {{implicitly declared private}}44};45 46template <typename T>47concept is_foo_concept = __is_same(foo::bar, T);48// expected-error@-1 {{'bar' is a private member of 'GH131530::foo'}}49 50}51 52namespace GH138820 {53int a;54template<typename T>55concept atomicish = requires() {56 { // expected-note {{to match this '{'}}57 a58 ... // expected-error {{expected '}'}}59 };60};61atomicish<int> f(); // expected-error {{expected 'auto' or 'decltype(auto)' after concept name}}62} // namespace GH13882063 64namespace GH138823 {65 template <typename T> void foo();66 template <class... Ts>67 concept ConceptA = requires { foo<Ts>(); };68 // expected-error@-1 {{expression contains unexpanded parameter pack 'Ts'}}69 70 template <class>71 concept ConceptB = ConceptA<int>;72 73 template <ConceptB Foo> void bar(Foo);74 75 void test() { bar(1); }76}77