[class.this] Member functions are not cv-qualified.

Author: jensmaurer

source/classes.tex

@@ -1094,9 +1094,10 @@
 non-static data members.
 
 \pnum
-A cv-qualified member function can be called on an
-object-expression\iref{expr.ref} only if the object-expression is as
-cv-qualified or less-cv-qualified than the member function.
+A member function whose type has a \grammarterm{cv-qualifier-seq} \cvqual{cv1}
+can be called on an
+object expression\iref{expr.ref} of type \cvqual{cv2} \tcode{T} only
+if \cvqual{cv1} is the same as or more cv-qualified than \cvqual{cv2}\iref{basic.type.qualifier}.
 \begin{example}
 \begin{codeblock}
 void k(s& x, const s& y) {
@@ -1109,7 +1110,7 @@
 
 The call \tcode{y.g()} is ill-formed because \tcode{y} is \tcode{const}
 and \tcode{s::g()} is a non-const member function, that is,
-\tcode{s::g()} is less-qualified than the object-expression \tcode{y}.
+\tcode{s::g()} is less-qualified than the object expression \tcode{y}.
 \end{example}
 
 \pnum