P0704R1 Fixing const-qualified pointers to members

Author: zygoloid

source/expressions.tex

@@ -4003,8 +4003,9 @@
 pointed to by \tcode{ptr_to_obj}.
 \end{example}
 In a \tcode{.*} expression whose object expression is an rvalue, the program is
-ill-formed if the second operand is a pointer to member function with
-\grammarterm{ref-qualifier} \tcode{\&}.
+ill-formed if the second operand is a pointer to member function
+whose \grammarterm{ref-qualifier} is \tcode{\&},
+unless its \grammarterm{cv-qualifier-seq} is \tcode{const}.
 In a \tcode{.*}
 expression whose object expression is an lvalue, the program is ill-formed if the second
 operand is a pointer to member function with \grammarterm{ref-qualifier} \tcode{\&\&}.