CWG2815 Overload resolution for references/pointers to noexcept functions

Author: burblebee

source/overloading.tex

@@ -2329,16 +2329,16 @@
 
 \item
 Otherwise,
-if \tcode{T} is a function type, or
 if the type of the argument is possibly cv-qualified \tcode{T}, or
 if \tcode{T} is an array type of unknown bound with element type \tcode{U} and
 the argument has an array type of known bound whose
 element type is possibly cv-qualified \tcode{U},
 the implicit conversion sequence is the identity conversion.
-\begin{note}
-When \tcode{T} is a function type,
-the type of the argument can differ only by the presence of \keyword{noexcept}.
-\end{note}
+
+\item
+Otherwise,
+if \tcode{T} is a function type,
+the implicit conversion sequence is a function pointer conversion.
 
 \item
 Otherwise, the implicit conversion sequence is a qualification conversion.
@@ -2351,6 +2351,11 @@
 int f(A&);
 int f(B&);
 int i = f(b);       // calls \tcode{f(B\&)}, an exact match, rather than \tcode{f(A\&)}, a conversion
+
+void g() noexcept;
+int h(void (&)() noexcept); // \#1
+int h(void (&)());          // \#2
+int j = h(g);               // calls \#1, an exact match, rather than \#2, a function pointer conversion
 \end{codeblock}
 \end{example}
 If the parameter binds directly to the result of
@@ -2835,15 +2840,11 @@
   b.f();                        // calls \tcode{X::f()}
 }
 
-int h1(int (&)[]);
-int h1(int (&)[1]);
-int h2(void (&)());
-int h2(void (&)() noexcept);
+int h(int (&)[]);
+int h(int (&)[1]);
 void g2() {
   int a[1];
-  h1(a);                        // calls \tcode{h1(int (\&)[1])}
-  extern void f2() noexcept;
-  h2(f2);                       // calls \tcode{h2(void (\&)() noexcept)}
+  h(a);                         // calls \tcode{h(int (\&)[1])}
 }
 \end{codeblock}
 \end{example}