Merge 2017-07 CWG Motion 5

Author: zygoloid

source/expressions.tex

@@ -4003,11 +4003,14 @@
 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{\&\&}.
+operand is
+a pointer to member function
+whose \grammarterm{ref-qualifier} is \tcode{\&\&}.
 The result of a \tcode{.*} expression
 whose second operand is a pointer to a data member is an lvalue if the first
 operand is an lvalue and an xvalue otherwise. The result of a \tcode{.*} expression whose