[#BloombergLP-bslstl-Function_InvokerUtil_IsExplicitlyConvertibleImp-03]
= xref:BloombergLP.adoc[BloombergLP]::xref:BloombergLP/bslstl.adoc[bslstl]::xref:BloombergLP/bslstl/Function_InvokerUtil_IsExplicitlyConvertibleImp-0d.adoc[Function&lowbar;InvokerUtil&lowbar;IsExplicitlyConvertibleImp]&lt;bslmf::VoidType&lt;decltype(static&lowbar;cast&lt;TO&gt;(std&colon;&colon;declval&lt;FROM&gt;()))&gt;::type, FROM, TO&gt;
:relfileprefix: ../../
:mrdocs:

This component&hyphen;private `struct` template provides a partial specialization of the `Function&lowbar;InvokerUtil&lowbar;IsExplicitlyConvertibleImp` metafunction&period; This specialization is instantiated when the specified `FROM` type is explicitly convertible to the specified `TO` type, and publicly inherits from `bsl&colon;&colon;true&lowbar;type`&period;

== Synopsis

Declared in `&lt;bslstl&lowbar;function&lowbar;invokerutil&period;h&gt;`

[source,cpp,subs="verbatim,replacements,macros,-callouts"]
----
template&lt;
    class FROM,
    class TO&gt;
struct xref:BloombergLP/bslstl/Function_InvokerUtil_IsExplicitlyConvertibleImp-0d.adoc[Function&lowbar;InvokerUtil&lowbar;IsExplicitlyConvertibleImp]&lt;bslmf::VoidType&lt;decltype(static&lowbar;cast&lt;TO&gt;(std&colon;&colon;declval&lt;FROM&gt;()))&gt;::type, FROM, TO&gt;
    : xref:bsl/true_type.adoc[bsl::true&lowbar;type]
----

== Base Classes

[cols="1,4"]
|===
| Name| Description
| `xref:bsl/true_type.adoc[bsl::true&lowbar;type]`
| Metafunction representing the boolean constant `true`&period;
|===


[.small]#Created with https://www.mrdocs.com[MrDocs]#
