\item the context is an initialization by conversion function for direct

reference binding\iref{over.match.ref} of a reference to function type, the

\begin{example}

\begin{codeblock}

template <class T> struct A {

or, if not that,

is not a function template specialization and

is a

function template

specialization, or, if not that,

and

are

function template specializations,

and the function template

for

is more specialized than the template for

according to the partial ordering rules described in~\ref{temp.func.order},

or, if not that,

\begin{itemize}

they have the same non-object-parameter-type-lists\iref{dcl.fct}, and

if both are non-static member functions,

they have the same types for their object parameters, and

according to the partial ordering of constraints described in

\end{itemize}

\begin{example}

\begin{codeblock}

template <typename T = int>

}

\end{codeblock}

\end{example}

for all arguments

\begin{example}

\begin{codeblock}

struct A {

or, if not that,

\begin{example}

\begin{codeblock}

struct S {

or, if not that,

with reversed order of parameters

\begin{example}

\begin{codeblock}

struct S {

bool b = 1 < S(); // calls \#2

\end{codeblock}

\end{example}

from class template argument deduction\iref{over.match.class.deduct}

for a class \tcode{D}, and

from inheriting constructors from a base class of \tcode{D}

for each explicit function argument,

are either both ellipses or have the same type,

or, if not that,

\grammarterm{deduction-guide}\iref{over.match.class.deduct}

\begin{example}

\begin{codeblock}

template <class T> struct A {