Skip to content

Commit 3da6b0e

Browse files
committed
[const.iterators.{alias,iterators}] Add "exposition only" comments
Suggested by CD review feedback.
1 parent e38650d commit 3da6b0e

File tree

1 file changed

+6
-6
lines changed

1 file changed

+6
-6
lines changed

source/iterators.tex

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -4175,12 +4175,12 @@
41754175

41764176
\begin{itemdecl}
41774177
template<@\libconcept{indirectly_readable}@ It>
4178-
using iter_const_reference_t = common_reference_t<const iter_value_t<It>&&,
4179-
iter_reference_t<It>>;
4178+
using iter_const_reference_t =
4179+
common_reference_t<const iter_value_t<It>&&, iter_reference_t<It>>;
41804180

41814181
template<class It>
4182-
concept @\defexposconcept{constant-iterator}@ = @\libconcept{input_iterator}@<It> &&
4183-
@\libconcept{same_as}@<iter_const_reference_t<It>, iter_reference_t<It>>;
4182+
concept @\defexposconcept{constant-iterator}@ = // \expos
4183+
@\libconcept{input_iterator}@<It> && @\libconcept{same_as}@<iter_const_reference_t<It>, iter_reference_t<It>>;
41844184

41854185
template<@\libconcept{input_iterator}@ I>
41864186
using @\libglobal{const_iterator}@ = @\seebelow@;
@@ -4214,8 +4214,8 @@
42144214

42154215
template<@\libconcept{input_iterator}@ Iterator>
42164216
class @\libglobal{basic_const_iterator}@ {
4217-
Iterator @\exposid{current_}@ = Iterator();
4218-
using @\exposid{reference}@ = iter_const_reference_t<Iterator>; // \expos
4217+
Iterator @\exposidnc{current_}@ = Iterator(); // \expos
4218+
using @\exposidnc{reference}@ = iter_const_reference_t<Iterator>; // \expos
42194219

42204220
public:
42214221
using iterator_concept = @\seebelow@;

0 commit comments

Comments
 (0)