diff --git a/source/concepts.tex b/source/concepts.tex index cfeae673ff..0de86496da 100644 --- a/source/concepts.tex +++ b/source/concepts.tex @@ -964,7 +964,7 @@ \begin{itemdecl} template concept @\defexposconcept{boolean-testable}@ = // \expos - @\exposconcept{boolean-testable-impl}@ && requires (T&& t) { + @\exposconcept{boolean-testable-impl}@ && requires(T&& t) { { !std::forward(t) } -> @\exposconcept{boolean-testable-impl}@; }; \end{itemdecl} diff --git a/source/iterators.tex b/source/iterators.tex index 6c2553109d..984c76a492 100644 --- a/source/iterators.tex +++ b/source/iterators.tex @@ -3287,7 +3287,7 @@ \begin{itemdecl} constexpr pointer operator->() const requires (is_pointer_v || - requires (const Iterator i) { i.operator->(); }); + requires(const Iterator i) { i.operator->(); }); \end{itemdecl} \begin{itemdescr} @@ -5002,7 +5002,7 @@ return tmp; \end{codeblock} Otherwise, if -\tcode{requires (I\& i) \{ \{ *i++ \} -> \exposconceptnc{can-reference}; \}} +\tcode{requires(I\& i) \{ \{ *i++ \} -> \exposconceptnc{can-reference}; \}} is \tcode{true} or \tcode{\libconceptx{constructible_\newline{}from}{constructible_from}, iter_reference_t>} is \tcode{false},