1 // RUN: %clang_cc1 -std=c++14 -fconcepts-ts -x c++ -verify %s 2 3 template<typename T> 4 concept bool fcpv(void) { return true; } 5 6 template<typename T> 7 concept bool fcpi(int i = 0) { return true; } // expected-error {{function concept cannot have any parameters}} 8 9 template<typename... Ts> 10 concept bool fcpp(Ts... ts) { return true; } // expected-error {{function concept cannot have any parameters}} 11 12 template<typename T> 13 concept bool fcpva(...) { return true; } // expected-error {{function concept cannot have any parameters}} 14 15 template<typename T> 16 concept const bool fcrtc() { return true; } // expected-error {{declared return type of function concept must be 'bool'}} 17 18 template<typename T> 19 concept int fcrti() { return 5; } // expected-error {{declared return type of function concept must be 'bool'}} 20 21 template<typename T> 22 concept float fcrtf() { return 5.5; } // expected-error {{declared return type of function concept must be 'bool'}} 23 24 template<typename T> 25 concept decltype(auto) fcrtd(void) { return true; } // expected-error {{declared return type of function concept must be 'bool'}} 26
