Skip to content

Commit d299950

Browse files
committed
[meta.rel] Move new paragraph to the correct subclause
A misapplication of P1317R2.
1 parent 0c75091 commit d299950

File tree

1 file changed

+7
-7
lines changed

1 file changed

+7
-7
lines changed

source/meta.tex

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -921,13 +921,6 @@
921921
\tcode{true_type} if the corresponding condition is \tcode{true}, otherwise
922922
\tcode{false_type}.
923923

924-
\pnum
925-
Let \tcode{\placeholdernc{ELEMS-OF}(T)} be the parameter pack
926-
\tcode{get<\exposid{N}>(declval<T>())}, where \exposid{N} is the pack of
927-
\tcode{size_t} template arguments of the specialization of
928-
\tcode{index_sequence} denoted by
929-
\tcode{make_index_sequence<tuple_size_v<remove_reference_t<T>>>}.
930-
931924
\rSec3[meta.unary.cat]{Primary type categories}
932925

933926
\pnum
@@ -1765,6 +1758,13 @@
17651758
\tcode{true_type} if the corresponding condition is true, otherwise
17661759
\tcode{false_type}.
17671760

1761+
\pnum
1762+
Let \tcode{\placeholdernc{ELEMS-OF}(T)} be the parameter pack
1763+
\tcode{get<\exposid{N}>(declval<T>())}, where \exposid{N} is the pack of
1764+
\tcode{size_t} template arguments of the specialization of
1765+
\tcode{index_sequence} denoted by
1766+
\tcode{make_index_sequence<tuple_size_v<remove_reference_t<T>>>}.
1767+
17681768
\begin{libreqtab3f}{Type relationship predicates}{meta.rel}
17691769
\\ \topline
17701770
\lhdr{Template} & \chdr{Condition} & \rhdr{Comments} \\ \capsep

0 commit comments

Comments
 (0)