template <typename T>
concept trivially_destructible = std::is_trivially_destructible_v<T>;

template <typename T>
class optional {
public:
~optional() requires trivially_destructible<T> = default;

~optional() {
if (_has_value) {
…