[PATCH] D13357: [Concepts] Add diagnostic; specializations of variable and function concepts

[Hubert Tong via cfe-commits]

hubert.reinterpretcast added inline comments.

================
Comment at: test/CXX/concepts-ts/dcl.dcl/dcl.spec/dcl.concept/p7.cpp:13
@@ +12,3 @@
+template<typename T> concept bool FCEI() { return true; }
+template concept bool FCEI<int>(); // expected-error {{function concept cannot be explicitly instantiated}}
+
----------------
"extern template" is a form of explicit instantiation as well. I suggest testing that for both the function concept and variable concept cases.


http://reviews.llvm.org/D13357