`basic_outcome(success_type<T> &&)`

Implicit value-from-success-type-sugar move constructor used to disambiguate the construction of the value type.
Note that if `T = void`

, `value_type`

will be default constructed. Calls `void on_outcome_move_construction(T *, U &&) noexcept`

with `this`

and `success_type<T> &&`

.

*Requires*: `predicate::enable_compatible_conversion<T, void, void>`

is true, or `T`

is `void`

.

*Complexity*: Same as for the `value_type`

constructor which accepts `T`

, or the `value_type`

default constructor if `T`

is `void`

. Constexpr, triviality and noexcept of underlying operations is propagated.