[class] Introduce a subheading 'Properties of classes'.

Author: jensmaurer

source/classes.tex

@@ -80,6 +80,20 @@
 the \grammarterm{attribute-specifier-seq} are thereafter considered attributes of the class
 whenever it is named.
 
+\pnum
+If a \grammarterm{class-head-name} contains a \grammarterm{nested-name-specifier},
+the \grammarterm{class-specifier} shall refer to a class that was
+previously declared directly in the class or namespace to which the
+\grammarterm{nested-name-specifier} refers,
+or in an element of the inline namespace set\iref{namespace.def} of that namespace
+(i.e., not merely inherited or
+introduced by a \grammarterm{using-declaration}), and the
+\grammarterm{class-specifier} shall appear in a namespace enclosing the
+previous declaration.
+In such cases, the \grammarterm{nested-name-specifier} of the
+\grammarterm{class-head-name} of the
+definition shall not begin with a \grammarterm{decltype-specifier}.
+
 \pnum
 If a class is marked with the \grammarterm{class-virt-specifier} \tcode{final} and it appears
 as a \grammarterm{class-or-decltype} in a \grammarterm{base-clause}\iref{class.derived},
@@ -126,6 +140,8 @@
 Aggregates of class type are described in~\ref{dcl.init.aggr}.
 \end{note}
 
+\rSec1[class.prop]{Properties of classes}
+
 \pnum
 A \defnadj{trivially copyable}{class} is a class:
 
@@ -256,20 +272,6 @@
 \end{codeblock}
 \end{example}
 
-\pnum
-If a \grammarterm{class-head-name} contains a \grammarterm{nested-name-specifier},
-the \grammarterm{class-specifier} shall refer to a class that was
-previously declared directly in the class or namespace to which the
-\grammarterm{nested-name-specifier} refers,
-or in an element of the inline namespace set\iref{namespace.def} of that namespace
-(i.e., not merely inherited or
-introduced by a \grammarterm{using-declaration}), and the
-\grammarterm{class-specifier} shall appear in a namespace enclosing the
-previous declaration.
-In such cases, the \grammarterm{nested-name-specifier} of the
-\grammarterm{class-head-name} of the
-definition shall not begin with a \grammarterm{decltype-specifier}.
-
 \rSec1[class.name]{Class names}
 \indextext{definition!class name as type}%
 \indextext{structure tag|see{class name}}%