hubert.reinterpretcast added a comment.
Please add tests for `const bool` for both the function and variable cases
(should get the error).
================
Comment at: test/CXX/concepts-ts/dcl.dcl/dcl.spec/dcl.spec.concept/p5.cpp:22
@@ +21,3 @@
+template<typename T>
+concept auto fcrta(void) -> bool { return true; } // expected-error {{declared
return type of function concept must be 'bool'}}
+
----------------
The declared return type here //is// `bool` (N4567 subclause 7.1.6.4
[dcl.spec.auto] paragraph 2).
================
Comment at: test/Parser/cxx-concept-declaration.cpp:17
@@ -16,3 @@
-template<typename T, int = 0>
-concept auto C4(void) -> bool { return true; }
-
----------------
This is valid.
http://reviews.llvm.org/D16163
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
