CWG2092 Deduction failure and overload resolution

Author: Dawn Perchik

source/expressions.tex

@@ -2162,10 +2162,10 @@
 the postfix expression shall be either an lvalue that refers to a
 function (in which case the function-to-pointer standard
 conversion\iref{conv.func} is suppressed on the postfix expression),
-or it shall have function pointer type. Calling a function through an
-expression whose function type is different
-from the function type of the called function's
-definition results in undefined behavior\iref{dcl.link}. For a call to a non-static
+or it shall have function pointer type.
+
+\pnum
+For a call to a non-static
 member function,
 the postfix expression shall be an
 implicit~(\ref{class.mfct.non-static}, \ref{class.static}) or explicit
@@ -2179,9 +2179,11 @@
 A member function call of the form \tcode{f()} is interpreted as
 \tcode{(*this).f()} (see~\ref{class.mfct.non-static}).
 \end{note}
-If a function or member function name is used, the name can be
-overloaded\iref{over}, in which case the appropriate function
-shall be selected according to the rules in~\ref{over.match}. If the selected
+
+\pnum
+If a function or member function name is used,
+the appropriate function and the validity of the call are determined
+according to the rules in~\ref{over.match}. If the selected
 function is non-virtual, or if the \grammarterm{id-expression} in the class
 member access expression is a \grammarterm{qualified-id}, that function is
 called. Otherwise, its final overrider\iref{class.virtual} in the dynamic type
@@ -2212,6 +2214,12 @@
 \indextext{type!incomplete}%
 This return type shall be an object type, a reference type or \cv{}~\tcode{void}.
 
+\pnum
+Calling a function through an
+expression whose function type is different
+from the function type of the called function's
+definition results in undefined behavior\iref{dcl.link}.
+
 \pnum
 \indextext{function argument|see{argument}}%
 \indextext{function parameter|see{parameter}}%

source/overloading.tex

@@ -18,10 +18,11 @@
 cannot be overloaded.
 
 \pnum
-When an overloaded function name is used in a call, which overloaded function
-declaration is being referenced is determined by comparing the types
+When a function name is used in a call, which function
+declaration is being referenced and the validity of the call
+are determined by comparing the types
 of the arguments at the point of use with the types of the parameters
-in the overloaded declarations that are visible at the point of use.
+in the declarations that are visible at the point of use.
 This function selection process is called
 \defn{overload resolution} and is defined in~\ref{over.match}.
 \begin{example}

source/templates.tex

@@ -8629,9 +8629,8 @@
 
 \pnum
 \indextext{overloading!resolution!function template}%
-A function template can be overloaded either by (non-template) functions of its
-name or by (other) function templates of the same name.
-When a call to that name is written (explicitly, or implicitly using the
+When a call to the name of a function or function template
+is written (explicitly, or implicitly using the
 operator notation), template argument deduction\iref{temp.deduct}
 and checking of any explicit template arguments\iref{temp.arg} are performed
 for each function template to find the template argument values (if any) that