Additional notes (CWG 2026-09-01)

CWG considers this a language design question and requests EWG input via paper issue #2875.

Suggested resolution of submitter:

Change in 13.7.9 [temp.concept] as follows:

The first declared template parameter of a concept definition is its prototype parameter. It shall not have a default argument (13.2 [temp.param]). A type concept is a concept whose prototype parameter is a type template parameter.

(From submission #951.)

It is design-unclear whether the prototype parameter of a concept definition is allowed to have a default argument. That default argument would be used only in situations where a concept-id appears as a boolean expression. Example:

   template <typename T = int>
   concept C2 = true;
   static_assert(C2<>);

   template<C2 U>      // U is not required to be int
   void f(U);