[expr.ref] [class.access.base] Move the requirements

Author: frederick-vs-ja

source/classes.tex

@@ -4760,20 +4760,6 @@
 \end{example}
 \end{itemize}
 
-\pnum
-If a class member access operator, including an implicit
-``\tcode{this->}'',
-is used to access a non-static data member or non-static
-member function, the reference is ill-formed if the
-left operand is of type ``pointer to \cv{}~\tcode{D}'' (or \cv{}~\tcode{D}
-in the ``\tcode{.}'' operator case), the naming class of the right operand is
-\cv{}~\tcode{B}, and a prvalue of type ``pointer to \tcode{D}'' cannot be
-implicitly converted to ``pointer to \tcode{B}''.
-\begin{note}
-This requirement is in addition to the requirement that
-the member be accessible as named.
-\end{note}
-
 \rSec2[class.friend]{Friends}%
 \indextext{friend function!access and}%
 \indextext{access control!friend function}

source/expressions.tex

@@ -3636,14 +3636,24 @@
 whose value is the value of the enumerator.
 \end{itemize}
 
+\pnum
+If \tcode{E1} is of type \cv~\tcode{D} and the naming
+class\iref{class.access.base} of \tcode{E2} is \cv~\tcode{B}, the program is
+ill-formed if a prvalue of type ``pointer to \tcode{D}'' cannot be
+implicitly converted to ``pointer to \tcode{B}''.
+\begin{note}
+This requirement is in addition to the requirement that
+the member be accessible as named.
+\end{note}
+
 \pnum
 If \tcode{E2} is a non-static member,
 the program is ill-formed if the class of which \tcode{E2} is
 directly a member is an ambiguous base\iref{class.member.lookup} of
-the naming class\iref{class.access.base} of \tcode{E2}.
+the naming class of \tcode{E2}.
 \begin{note}
 The program is also ill-formed if the naming class is an ambiguous base of the class type
-of the object expression; see~\ref{class.access.base}.
+of the object expression.
 \end{note}
 
 \pnum