1 // RUN: %clang_cc1 -std=c++14 -fconcepts-ts -fcxx-exceptions -x c++ -verify %s 2 3 namespace A { 4 template<typename T> concept bool C1() { return true; } 5 6 template<typename T> concept bool C2 = true; 7 } 8 9 template<typename T> concept bool C3() { return (throw 0, true); } 10 static_assert(noexcept(C3<int>()), "function concept should be treated as if noexcept(true) specified"); 11 12 template<typename T> concept bool D1(); // expected-error {{function concept declaration must be a definition}} 13 14 struct B { 15 template<typename T> concept bool D2() { return true; } // expected-error {{concept declarations may only appear in namespace scope}} 16 }; 17 18 struct C { 19 template<typename T> static concept bool D3 = true; // expected-error {{concept declarations may only appear in namespace scope}} 20 }; 21 22 concept bool D4() { return true; } // expected-error {{'concept' can only appear on the definition of a function template or variable template}} 23 24 concept bool D5 = true; // expected-error {{'concept' can only appear on the definition of a function template or variable template}} 25 26 template<typename T> 27 concept bool D6; // expected-error {{variable concept declaration must be initialized}} 28 29 template<typename T> 30 concept bool D7() throw(int) { return true; } // expected-error {{function concept cannot have exception specification}} 31 32 // Tag 33 concept class CC1 {}; // expected-error {{'concept' can only appear on the definition of a function template or variable template}} 34 concept struct CS1 {}; // expected-error {{'concept' can only appear on the definition of a function template or variable template}} 35 concept union CU1 {}; // expected-error {{'concept' can only appear on the definition of a function template or variable template}} 36 concept enum CE1 {}; // expected-error {{'concept' can only appear on the definition of a function template or variable template}} 37 template <typename T> concept class TCC1 {}; // expected-error {{'concept' can only appear on the definition of a function template or variable template}} 38 template <typename T> concept struct TCS1 {}; // expected-error {{'concept' can only appear on the definition of a function template or variable template}} 39 template <typename T> concept union TCU1 {}; // expected-error {{'concept' can only appear on the definition of a function template or variable template}} 40 typedef concept int CI; // expected-error {{'concept' can only appear on the definition of a function template or variable template}} 41 void fpc(concept int i) {} // expected-error {{'concept' can only appear on the definition of a function template or variable template}} 42 43 concept bool; // expected-error {{'concept' can only appear on the definition of a function template or variable template}} 44 45 template <typename T> concept bool VCEI{ true }; 46 template concept bool VCEI<int>; // expected-error {{'concept' cannot be applied on an explicit instantiation}} 47 extern template concept bool VCEI<int>; // expected-error {{'concept' cannot be applied on an explicit instantiation}} 48 49 template <typename T> concept bool VCPS{ true }; 50 template <typename T> concept bool VCPS<T *>{ true }; // expected-error {{'concept' cannot be applied on an partial specialization}} 51 52 template <typename T> concept bool VCES{ true }; 53 template <> concept bool VCES<int>{ true }; // expected-error {{'concept' cannot be applied on an explicit specialization}} 54 55 template <typename T> concept bool FCEI() { return true; } 56 template concept bool FCEI<int>(); // expected-error {{'concept' cannot be applied on an explicit instantiation}} 57 extern template concept bool FCEI<int>(); // expected-error {{'concept' cannot be applied on an explicit instantiation}} 58 59 template <typename T> concept bool FCES() { return true; } 60 template <> concept bool FCES<bool>() { return true; } // expected-error {{'concept' cannot be applied on an explicit specialization}} 61
