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)
pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy