Skip to content

Commit 61a1a7c

Browse files
committed
[range.subrange.general,range.adaptors] Use present only if condition is true
1 parent 9ce105b commit 61a1a7c

File tree

1 file changed

+4
-4
lines changed

1 file changed

+4
-4
lines changed

source/ranges.tex

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1813,7 +1813,7 @@
18131813
I @\exposid{begin_}@ = I(); // \expos
18141814
S @\exposid{end_}@ = S(); // \expos
18151815
@\exposidnc{make-unsigned-like-t}@<iter_difference_t<I>> @\exposid{size_}@ = 0; // \expos; present only
1816-
// when \exposid{StoreSize} is \tcode{true}
1816+
// if \exposid{StoreSize} is \tcode{true}
18171817
public:
18181818
subrange() requires @\libconcept{default_initializable}@<I> = default;
18191819

@@ -6415,7 +6415,7 @@
64156415
V @\exposid{base_}@ = V(); // \expos
64166416

64176417
@\exposidnc{non-propagating-cache}@<remove_cv_t<@\exposidnc{InnerRng}@>> @\exposid{inner_}@; // \expos, present only
6418-
// when \tcode{!is_reference_v<\exposid{InnerRng}>}
6418+
// if \tcode{is_reference_v<\exposid{InnerRng}>} is \tcode{false}
64196419

64206420
public:
64216421
join_view() requires @\libconcept{default_initializable}@<V> = default;
@@ -6904,7 +6904,7 @@
69046904

69056905
V @\exposid{base_}@ = V(); // \expos
69066906
@\exposid{non-propagating-cache}@<remove_cv_t<@\exposid{InnerRng}@>> @\exposid{inner_}@; // \expos, present only
6907-
// when \tcode{!is_reference_v<\exposid{InnerRng}>}
6907+
// if \tcode{is_reference_v<\exposid{InnerRng}>} is \tcode{false}
69086908
Pattern @\exposid{pattern_}@ = Pattern(); // \expos
69096909

69106910
// \ref{range.join.with.iterator}, class template \tcode{join_with_view::\exposid{iterator}}
@@ -7491,7 +7491,7 @@
74917491
Pattern @\exposid{pattern_}@ = Pattern(); // \expos
74927492

74937493
@\exposidnc{non-propagating-cache}@<iterator_t<V>> @\exposid{current_}@; // \expos, present only
7494-
// if \tcode{!\libconcept{forward_range}<V>}
7494+
// if \tcode{\libconcept{forward_range}<V>} is \tcode{false}
74957495

74967496
// \ref{range.lazy.split.outer}, class template \tcode{lazy_split_view::\exposid{outer-iterator}}
74977497
template<bool> struct @\exposidnc{outer-iterator}@; // \expos

0 commit comments

Comments
 (0)