One of the constructor hooks for basic_outcome<T, EC, EP, NoValuePolicy> , generally invoked by the converting move constructors of basic_outcome (NOT the standard move constructor). See each constructor’s documentation to see which specific hook it invokes.

Requires: Always available.

Guarantees: Never throws an exception.