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




_______________________________________________
cfe-commits mailing list
cfe-commits@cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits

Reply via email to