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