[readable.traits] Replace improper \placeholder with \exposid

Author: frederick-vs-ja

source/iterators.tex

@@ -832,10 +832,10 @@
 
 \indexlibraryglobal{indirectly_readable_traits}%
 \begin{codeblock}
-template<class> struct @\placeholder{cond-value-type}@ { };     // \expos
+template<class> struct @\exposid{cond-value-type}@ { };     // \expos
 template<class T>
   requires is_object_v<T>
-struct @\placeholder{cond-value-type}@<T> {
+struct @\exposid{cond-value-type}@<T> {
   using value_type = remove_cv_t<T>;
 };
 
@@ -849,7 +849,7 @@
 
 template<class T>
 struct indirectly_readable_traits<T*>
-  : @\placeholder{cond-value-type}@<T> { };
+  : @\exposid{cond-value-type}@<T> { };
 
 template<class I>
   requires is_array_v<I>
@@ -863,11 +863,11 @@
 
 template<@\exposconcept{has-member-value-type}@ T>
 struct indirectly_readable_traits<T>
-  : @\placeholder{cond-value-type}@<typename T::value_type> { };
+  : @\exposid{cond-value-type}@<typename T::value_type> { };
 
 template<@\exposconcept{has-member-element-type}@ T>
 struct indirectly_readable_traits<T>
-  : @\placeholder{cond-value-type}@<typename T::element_type> { };
+  : @\exposid{cond-value-type}@<typename T::element_type> { };
 
 template<@\exposconcept{has-member-value-type}@ T>
   requires @\exposconcept{has-member-element-type}@<T>
@@ -877,7 +877,7 @@
   requires @\exposconcept{has-member-element-type}@<T> &&
            @\libconcept{same_as}@<remove_cv_t<typename T::element_type>, remove_cv_t<typename T::value_type>>
 struct indirectly_readable_traits<T>
-  : @\placeholder{cond-value-type}@<typename T::value_type> { };
+  : @\exposid{cond-value-type}@<typename T::value_type> { };
 
 template<class T> using iter_value_t = @\seebelow@;
 \end{codeblock}