CWG2789 Overload resolution with implicit and explicit object member functions

Author: burblebee

source/overloading.tex

@@ -1786,10 +1786,35 @@
 or, if not that,
 
 \item
-\tcode{F1} and \tcode{F2} are non-template functions with the same
-parameter-type-lists, and  \tcode{F1} is more constrained than \tcode{F2}
+\tcode{F1} and \tcode{F2} are non-template functions and
+\begin{itemize}
+\item
+they have the same non-object-parameter-type-lists\iref{dcl.fct}, and
+\item
+if they are member functions, both are direct members of the same class, and
+\item
+if both are non-static member functions,
+they have the same types for their object parameters, and
+\item
+\tcode{F1} is more constrained than \tcode{F2}
 according to the partial ordering of constraints described in
-\ref{temp.constr.order}, or if not that,
+\ref{temp.constr.order},
+\end{itemize}
+or if not that,
+\begin{example}
+\begin{codeblock}
+template <typename T = int>
+struct S {
+  constexpr void f();                       // \#1
+  constexpr void f(this S&) requires true;  // \#2
+};
+
+void test() {
+  S<> s;
+  s.f();                // calls \#2
+}
+\end{codeblock}
+\end{example}
 
 \item
 \tcode{F1} is a constructor for a class \tcode{D},