std::optional<T>::~optional (3) - Linux Man Pages
~optional(); (since C++17)
If the object contains a value and the type T is not trivially destructible (see std::is_trivially_destructible), destroys the contained value by calling its destructor, as if by value().T::~T().
Otherwise, does nothing.
If T is trivially-destructible, then this destructor is also trivial, so optional<T> is also trivially-destructible.