template <class T>
concept bool Semiregular =
Copyable<T> &&
DefaultConstructible<T>;
[ Note: The Semiregular concept is satisfied by types that behave similarly to built-in types like int, except that they may not be comparable with ==. — end note ]