An expression $E$ can be

\defnx{implicitly converted}{conversion!implicit} to a type \tcode{T} if and only if the

variable \tcode{t}\iref{dcl.init}.

Certain language constructs require that an expression be converted to a Boolean

value. An expression $E$ appearing in such a context is said to be

\defnx{contextually converted to \tcode{bool}}{conversion!contextual to \tcode{bool}} and is well-formed if and only if

variable \tcode{t}\iref{dcl.init}.

The effect of any implicit

conversion is the same as performing the corresponding declaration and initialization

The result is an lvalue if \tcode{T} is an lvalue reference

type or an rvalue reference to function type\iref{dcl.ref},

an xvalue if \tcode{T} is an rvalue reference to object type,

\begin{codeblock}

T t(@$E$@);

\end{codeblock}

Otherwise, the result object is direct-initialized from $E$.

\begin{note}

The conversion is ill-formed when attempting to convert an