34a1daae83
Make sure to mark a concept decl as being invalid if the constraint is invalid. Fixes #138823
77 lines
2.8 KiB
C++
77 lines
2.8 KiB
C++
// RUN: %clang_cc1 -fsyntax-only -std=c++20 -verify %s
|
|
// RUN: %clang_cc1 -fsyntax-only -std=c++20 -verify %s -fexperimental-new-constant-interpreter
|
|
|
|
template <typename Iterator> class normal_iterator {};
|
|
|
|
template <typename From, typename To> struct is_convertible {};
|
|
|
|
template <typename From, typename To>
|
|
inline constexpr bool is_convertible_v = is_convertible<From, To>::value; // expected-error {{no member named 'value' in 'is_convertible<bool, bool>'}}
|
|
|
|
template <typename From, typename To>
|
|
concept convertible_to = is_convertible_v<From, To>; // #1
|
|
|
|
template <typename IteratorL, typename IteratorR>
|
|
requires requires(IteratorL lhs, IteratorR rhs) { // #2
|
|
{ lhs == rhs } -> convertible_to<bool>; // #3
|
|
}
|
|
constexpr bool compare(normal_iterator<IteratorL> lhs, normal_iterator<IteratorR> rhs) { // #4
|
|
return false;
|
|
}
|
|
|
|
class Object;
|
|
|
|
void function() {
|
|
normal_iterator<Object *> begin, end;
|
|
compare(begin, end); // expected-error {{no matching function for call to 'compare'}} #5
|
|
}
|
|
|
|
// expected-note@#1 {{in instantiation of variable template specialization 'is_convertible_v<bool, bool>' requested here}}
|
|
// expected-note@#1 {{substituting template arguments into constraint expression here}}
|
|
// expected-note@#3 {{checking the satisfaction of concept 'convertible_to<bool, bool>'}}
|
|
// expected-note@#2 {{substituting template arguments into constraint expression here}}
|
|
// expected-note@#5 {{checking constraint satisfaction for template 'compare<Object *, Object *>'}}
|
|
// expected-note@#5 {{while substituting deduced template arguments into function template 'compare' [with IteratorL = Object *, IteratorR = Object *]}}
|
|
|
|
// expected-note@#4 {{candidate template ignored: constraints not satisfied [with IteratorL = Object *, IteratorR = Object *]}}
|
|
// We don't know exactly the substituted type for `lhs == rhs`, thus a placeholder 'expr-type' is emitted.
|
|
// expected-note@#3 {{because 'convertible_to<expr-type, bool>' would be invalid}}
|
|
|
|
namespace GH131530 {
|
|
|
|
class foo {
|
|
struct bar {}; // expected-note {{implicitly declared private}}
|
|
};
|
|
|
|
template <typename T>
|
|
concept is_foo_concept = __is_same(foo::bar, T);
|
|
// expected-error@-1 {{'bar' is a private member of 'GH131530::foo'}}
|
|
|
|
}
|
|
|
|
namespace GH138820 {
|
|
int a;
|
|
template<typename T>
|
|
concept atomicish = requires() {
|
|
{ // expected-note {{to match this '{'}}
|
|
a
|
|
... // expected-error {{expected '}'}}
|
|
};
|
|
};
|
|
atomicish<int> f(); // expected-error {{expected 'auto' or 'decltype(auto)' after concept name}}
|
|
} // namespace GH138820
|
|
|
|
namespace GH138823 {
|
|
template <typename T> void foo();
|
|
template <class... Ts>
|
|
concept ConceptA = requires { foo<Ts>(); };
|
|
// expected-error@-1 {{expression contains unexpanded parameter pack 'Ts'}}
|
|
|
|
template <class>
|
|
concept ConceptB = ConceptA<int>;
|
|
|
|
template <ConceptB Foo> void bar(Foo);
|
|
|
|
void test() { bar(1); }
|
|
}
|