hubert.reinterpretcast added inline comments. ================ Comment at: test/CXX/concepts-ts/dcl.dcl/dcl.spec/dcl.spec.concept/p5.cpp:7 @@ +6,2 @@ +template<typename T> +concept bool fcpi(int i = 0) { return true; } // expected-error {{function concept cannot have any parameters}} ---------------- hubert.reinterpretcast wrote: > Do we diagnose for the following? > template<typename... T> > concept bool fcpp(T ...t) { return true; } > > This is ill-formed as well since either [dcl.spec.concept]p5 is violated or > [temp.res]p8 (same paragraph reference in C++14 as in N4527) is. Also test: template<typename T> concept bool fcpva(...) { return true; }
http://reviews.llvm.org/D14352 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits