22 General utilities library [utilities]

22.8 Expected objects [expected]

22.8.7 Partial specialization of expected for void types [expected.void]

22.8.7.3 Destructor [expected.void.dtor]

constexpr ~expected();
Effects: If has_­value() is false, destroys unex.
Remarks: If is_­trivially_­destructible_­v<E> is true, then this destructor is a trivial destructor.