From 216542b424f1e7e9dd32bf4c718d580fb6626faa Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jan=20Kokem=C3=BCller?= <jan.kokemueller@gmail.com>
Date: Tue, 31 Dec 2024 12:54:53 +0100
Subject: [PATCH] Add missing assignment operator from 'nullopt_t'

---
 include/beman/optional26/optional.hpp     |  8 ++++++++
 src/beman/optional26/tests/optional.t.cpp | 20 ++++++++++++++++++++
 2 files changed, 28 insertions(+)

diff --git a/include/beman/optional26/optional.hpp b/include/beman/optional26/optional.hpp
index 54ebd68..99bf73d 100644
--- a/include/beman/optional26/optional.hpp
+++ b/include/beman/optional26/optional.hpp
@@ -299,6 +299,8 @@ class optional {
         requires(!std::is_trivially_destructible_v<T>);
 
     // \ref{optional.assign}, assignment
+    constexpr optional& operator=(nullopt_t) noexcept;
+
     constexpr optional& operator=(const optional& rhs)
         requires std::is_copy_constructible_v<T> && std::is_copy_assignable_v<T> &&
                  (!std::is_trivially_copy_assignable_v<T>);
@@ -514,6 +516,12 @@ inline constexpr optional<T>::~optional()
 
 // 22.5.3.4 Assignment[optional.assign]
 
+template <class T>
+inline constexpr optional<T>& optional<T>::operator=(nullopt_t) noexcept {
+    reset();
+    return *this;
+}
+
 template <class T>
 inline constexpr optional<T>& optional<T>::operator=(const optional<T>& rhs)
     requires std::is_copy_constructible_v<T> && std::is_copy_assignable_v<T> &&
diff --git a/src/beman/optional26/tests/optional.t.cpp b/src/beman/optional26/tests/optional.t.cpp
index ca88391..0a8b4c5 100644
--- a/src/beman/optional26/tests/optional.t.cpp
+++ b/src/beman/optional26/tests/optional.t.cpp
@@ -868,3 +868,23 @@ TEST(OptionalTest, HashTest) {
         EXPECT_EQ(h1, h2);
     }
 }
+
+TEST(OptionalTest, CanHoldValueOfImmovableType) {
+    struct immovable {
+        explicit immovable()                   = default;
+        immovable(const immovable&)            = delete;
+        immovable& operator=(const immovable&) = delete;
+    };
+
+    beman::optional26::optional<immovable> o1(beman::optional26::in_place);
+    EXPECT_TRUE(o1);
+
+    // ...and can reset it with `nullopt`.
+    static_assert(noexcept(o1 = beman::optional26::nullopt));
+    o1 = beman::optional26::nullopt;
+    EXPECT_FALSE(o1);
+
+    // Also, can construct with `nullopt`.
+    beman::optional26::optional<immovable> o2 = beman::optional26::nullopt;
+    EXPECT_FALSE(o2);
+}