[PATCH] D11027: [CONCEPTS] Creating Diagnostics for ill-formed function concept declaration

Nathan Wilson nwilson20 at gmail.com
Wed Jul 15 13:52:53 PDT 2015


nwilson added inline comments.

================
Comment at: include/clang/Basic/DiagnosticSemaKinds.td:1965-1966
@@ +1964,4 @@
+  "concept declarations may only appear in namespace scope">;
+def err_function_concept_not_defined : Error<
+  "function concept declaration must be a definition">;
+
----------------
rsmith wrote:
> Does this not also apply to variable concepts? For instance
> 
>   template<typename T> extern concept bool b;
Could we create a separate diagnostic for that?  i.e.:

def err_variable_concept_not_intialized : Error<
  "variable concept declaration requires initialization">;


http://reviews.llvm.org/D11027







More information about the cfe-commits mailing list