Method ~optional

01.29-optional4/main.cpp:29–33

#A Only if not trivially destructible

  // #A Only if not trivially destructible
  ~optional()
    requires(not std::is_trivially_destructible_v<T>)
  {
    if(has_value) { value.as()->~T(); }
  }

  // #B If not trivially destructible and has Release method
  ~optional()