[expr.const] Move p7 next to p3.

Author: cpplearner

source/expressions.tex

@@ -5584,6 +5584,27 @@
 and as alignments~(\ref{dcl.align}).
 \end{note}
 
+\pnum
+If an expression of literal class type is used in a context where an
+integral constant expression is required, then that expression is
+contextually implicitly converted (Clause~\ref{conv}) to an integral or unscoped
+enumeration type
+and the selected conversion function shall be \tcode{constexpr}. \begin{example}
+\begin{codeblock}
+struct A {
+  constexpr A(int i) : val(i) { }
+  constexpr operator int() const { return val; }
+  constexpr operator long() const { return 42; }
+private:
+  int val;
+};
+template<int> struct X { };
+constexpr A a = alignof(int);
+alignas(a) int n;              // error: ambiguous conversion
+struct B { int n : a; };       // error: ambiguous conversion
+\end{codeblock}
+\end{example}
+
 \pnum
 A \defnx{converted constant expression}{expression!converted constant}
 of type \tcode{T} is an
@@ -5668,26 +5689,5 @@
 }
 \end{codeblock}
 It is unspecified whether the value of \tcode{f()} will be \tcode{true} or \tcode{false}.
-\end{example} \end{note}
-
-\pnum
-If an expression of literal class type is used in a context where an
-integral constant expression is required, then that expression is
-contextually implicitly converted (Clause~\ref{conv}) to an integral or unscoped
-enumeration type
-and the selected conversion function shall be \tcode{constexpr}. \begin{example}
-\begin{codeblock}
-struct A {
-  constexpr A(int i) : val(i) { }
-  constexpr operator int() const { return val; }
-  constexpr operator long() const { return 42; }
-private:
-  int val;
-};
-template<int> struct X { };
-constexpr A a = alignof(int);
-alignas(a) int n;              // error: ambiguous conversion
-struct B { int n : a; };       // error: ambiguous conversion
-\end{codeblock}
-\end{example}%
+\end{example} \end{note}%
 \indextext{expression|)}