Skip to content

Commit 2b7cd6e

Browse files
authored
[expos.only.entity] Add/fix \expos for exposition-only names (#6924)
1 parent 2c0e044 commit 2b7cd6e

File tree

1 file changed

+5
-4
lines changed

1 file changed

+5
-4
lines changed

source/lib-intro.tex

Lines changed: 5 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -499,11 +499,11 @@
499499
namespace std {
500500
template<class T>
501501
requires @\libconcept{convertible_to}@<T, decay_t<T>>
502-
constexpr decay_t<T> @\placeholdernc{decay-copy}@(T&& v)
503-
noexcept(is_nothrow_convertible_v<T, decay_t<T>>) // \expos
502+
constexpr decay_t<T> @\placeholdernc{decay-copy}@(T&& v) // \expos
503+
noexcept(is_nothrow_convertible_v<T, decay_t<T>>)
504504
{ return std::forward<T>(v); }
505505

506-
constexpr auto @\placeholdernc{synth-three-way}@ =
506+
constexpr auto @\placeholdernc{synth-three-way}@ = // \expos
507507
[]<class T, class U>(const T& t, const U& u)
508508
requires requires {
509509
{ t < u } -> @\exposconcept{boolean-testable}@;
@@ -520,7 +520,8 @@
520520
};
521521

522522
template<class T, class U=T>
523-
using @\placeholdernc{synth-three-way-result}@ = decltype(@\placeholdernc{synth-three-way}@(declval<T&>(), declval<U&>()));
523+
using @\placeholdernc{synth-three-way-result}@ = // \expos
524+
decltype(@\placeholdernc{synth-three-way}@(declval<T&>(), declval<U&>()));
524525
}
525526
\end{codeblock}
526527

0 commit comments

Comments
 (0)