CWG2381 Composite pointer type of pointers to plain and noexcept member functions

Author: Dawn Perchik

source/expressions.tex

@@ -380,8 +380,23 @@
 respectively;
 
 \item
-if \tcode{T1} is ``pointer to member of \tcode{C1} of type \cvqual{cv1} \tcode{U1}'' and \tcode{T2} is
-``pointer to member of \tcode{C2} of type \cvqual{cv2} \tcode{U2}'' where \tcode{C1} is
+if \tcode{T1} or \tcode{T2} is
+``pointer to member of \tcode{C1} of type function'',
+the other type is
+``pointer to member of \tcode{C2} of type \tcode{noexcept} function'', and
+\tcode{C1} is reference-related to \tcode{C1} or
+\tcode{C2} is reference-related to \tcode{C1}\iref{dcl.init.ref},
+where the function types are otherwise the same,
+``pointer to member of \tcode{C2} of type function'' or
+``pointer to member of \tcode{C1} of type function'', respectively;
+
+\item
+if \tcode{T1} is
+``pointer to member of \tcode{C1} of type \cvqual{cv1} \tcode{U}'' and
+\tcode{T2} is
+``pointer to member of \tcode{C2} of type \cvqual{cv2} \tcode{U}'',
+for some non-function type \tcode{U},
+where \tcode{C1} is
 reference-related to \tcode{C2} or \tcode{C2} is reference-related to
 \tcode{C1}\iref{dcl.init.ref}, the cv-combined type of \tcode{T2} and \tcode{T1} or the cv-combined type
 of \tcode{T1} and \tcode{T2}, respectively;
@@ -5901,9 +5916,11 @@
 \end{itemize}
 
 \pnum
-If at least one of the operands is a pointer to member, pointer-to-member
-conversions\iref{conv.mem} and qualification
-conversions\iref{conv.qual} are performed on both operands to bring them to
+If at least one of the operands is a pointer to member,
+pointer-to-member conversions\iref{conv.mem},
+function pointer conversions\iref{conv.fctptr}, and
+qualification conversions\iref{conv.qual}
+are performed on both operands to bring them to
 their composite pointer type\iref{expr.type}.
 Comparing pointers to members is defined as follows:
 
@@ -6275,8 +6292,10 @@
 pointer type.
 
 \item One or both of the second and third operands have pointer-to-member type;
-pointer to member conversions\iref{conv.mem} and qualification
-conversions\iref{conv.qual} are performed to bring them to their composite
+pointer to member conversions\iref{conv.mem},
+function pointer conversions\iref{conv.fctptr}, and
+qualification conversions\iref{conv.qual}
+are performed to bring them to their composite
 pointer type\iref{expr.type}. The result is of the composite pointer type.
 
 \item