|
1705 | 1705 | Given the exposition-only function:
|
1706 | 1706 | \begin{codeblock}
|
1707 | 1707 | template<class T, class Tuple, size_t... I>
|
1708 |
| -constexpr T @\placeholdernc{make-from-tuple-impl}@(Tuple&& t, index_sequence<I...>) { // exposition only |
| 1708 | +constexpr T @\placeholdernc{make-from-tuple-impl}@(Tuple&& t, index_sequence<I...>) { // \expos |
1709 | 1709 | return T(get<I>(std::forward<Tuple>(t))...);
|
1710 | 1710 | }
|
1711 | 1711 | \end{codeblock}
|
|
7924 | 7924 |
|
7925 | 7925 | \begin{itemdecl}
|
7926 | 7926 | template<class I>
|
7927 |
| -concept @\placeholdernc{no-throw-input-iterator}@ = // exposition only |
| 7927 | +concept @\placeholdernc{no-throw-input-iterator}@ = // \expos |
7928 | 7928 | input_iterator<I> &&
|
7929 | 7929 | is_lvalue_reference_v<iter_reference_t<I>> &&
|
7930 | 7930 | same_as<remove_cvref_t<iter_reference_t<I>>, iter_value_t<I>>;
|
|
7947 | 7947 |
|
7948 | 7948 | \begin{itemdecl}
|
7949 | 7949 | template<class S, class I>
|
7950 |
| -concept @\placeholdernc{no-throw-sentinel}@ = sentinel_for<S, I>; // exposition only |
| 7950 | +concept @\placeholdernc{no-throw-sentinel}@ = sentinel_for<S, I>; // \expos |
7951 | 7951 | \end{itemdecl}
|
7952 | 7952 |
|
7953 | 7953 | \begin{itemdescr}
|
|
7966 | 7966 |
|
7967 | 7967 | \begin{itemdecl}
|
7968 | 7968 | template<class R>
|
7969 |
| -concept @\placeholdernc{no-throw-input-range}@ = // exposition only |
| 7969 | +concept @\placeholdernc{no-throw-input-range}@ = // \expos |
7970 | 7970 | range<R> &&
|
7971 | 7971 | @\placeholder{no-throw-input-iterator}@<iterator_t<R>> &&
|
7972 | 7972 | @\placeholdernc{no-throw-sentinel}@<sentinel_t<R>, iterator_t<R>>;
|
|
7981 | 7981 |
|
7982 | 7982 | \begin{itemdecl}
|
7983 | 7983 | template<class I>
|
7984 |
| -concept @\placeholdernc{no-throw-forward-iterator}@ = // exposition only |
| 7984 | +concept @\placeholdernc{no-throw-forward-iterator}@ = // \expos |
7985 | 7985 | @\placeholder{no-throw-input-iterator}@<I> &&
|
7986 | 7986 | forward_iterator<I> &&
|
7987 | 7987 | @\placeholdernc{no-throw-sentinel}@<I, I>;
|
|
7997 | 7997 |
|
7998 | 7998 | \begin{itemdecl}
|
7999 | 7999 | template<class R>
|
8000 |
| -concept @\placeholdernc{no-throw-forward-range}@ = // exposition only |
| 8000 | +concept @\placeholdernc{no-throw-forward-range}@ = // \expos |
8001 | 8001 | @\placeholder{no-throw-input-range}@<R> &&
|
8002 | 8002 | @\placeholder{no-throw-forward-iterator}@<iterator_t<R>>;
|
8003 | 8003 | \end{itemdecl}
|
|
0 commit comments