Function main

01.28-optional3/main.cpp:58–68

static_assert(std::is_trivially_destructible_v<storage_t<int>>);

int main()
{
  static_assert(
    not std::is_copy_constructible_v<optional<NotCopyable>>);
  static_assert(std::is_copy_constructible_v<optional<int>>);

  static_assert(not std::is_trivially_destructible_v<
                optional<Not_TriviallyDestructible>>);
  static_assert(
    std::is_trivially_destructible_v<optional<int>>);
}