An
expression
E of class type
C appearing in such a
context is said to be
contextually implicitly converted to a specified type
T and is
well-formed if and only if
E can be implicitly converted to a type
T
that is determined as follows:
C is searched for non-explicit conversion functions
whose return type is
cv T or reference to
cv
T such that
T is allowed by the context
.