[class.access.base] No cv-qualification for access checking

Author: frederick-vs-ja

source/classes.tex

@@ -4765,10 +4765,10 @@
 ``\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 (considered as a pointer in the
+left operand is of type \cv{}~\tcode{D*} (or \cv{}~\tcode{D} in the
 ``\tcode{.}''
-operator case) cannot be implicitly converted to a
-pointer to the naming class of the right operand.
+operator case), the naming class of the right operand is \cv{}~\tcode{B},
+and a prvalue of type \tcode{D*} cannot be implicitly converted to \tcode{B*}.
 \begin{note}
 This requirement is in addition to the requirement that
 the member be accessible as named.