construction(T *, U &amp;&amp;) noexcept</code></a> with <code>this</code> and the input.</p>

<p><em>Requires</em>: <code>predicate::enable_compatible_conversion&lt;A, B, void, C&gt;</code> is true.</p>

<p><em>Complexity</em>: Same as for the move constructors of the underlying types. Constexpr, triviality and noexcept of underlying operations is propagated.</p>

<p><em>Guarantees</em>: If an exception is thrown during the operation, the object is left in a partially completed state, as per the normal rul