From 80b18cc979fcb1e772e5b7c7d45aa72602d461d7 Mon Sep 17 00:00:00 2001
From: Steven Le Rouzic <steven.lerouzic@gmail.com>
Date: Fri, 20 Dec 2024 15:35:55 +0100
Subject: More work on option

---
 asl/option_tests.cpp | 26 ++++++++++++++++++++++++--
 1 file changed, 24 insertions(+), 2 deletions(-)

(limited to 'asl/option_tests.cpp')

diff --git a/asl/option_tests.cpp b/asl/option_tests.cpp
index ff63e1a..38bce2e 100644
--- a/asl/option_tests.cpp
+++ b/asl/option_tests.cpp
@@ -4,9 +4,31 @@
 static_assert(asl::trivially_destructible<asl::option<TriviallyDestructible>>);
 static_assert(!asl::trivially_destructible<asl::option<HasDestructor>>);
 
+static_assert(asl::copy_constructible<asl::option<int>>);
+static_assert(asl::copy_constructible<asl::option<CopyConstructible>>);
+static_assert(!asl::copy_constructible<asl::option<MoveConstructible>>);
+static_assert(!asl::copy_constructible<asl::option<NonMoveConstructible>>);
+
+static_assert(asl::move_constructible<asl::option<int>>);
+static_assert(asl::move_constructible<asl::option<CopyConstructible>>);
+static_assert(asl::move_constructible<asl::option<MoveConstructible>>);
+static_assert(!asl::move_constructible<asl::option<NonMoveConstructible>>);
+
+static_assert(asl::copy_assignable<asl::option<int>>);
+static_assert(asl::copy_assignable<asl::option<CopyAssignable>>);
+static_assert(!asl::copy_assignable<asl::option<MoveAssignable>>);
+static_assert(!asl::copy_assignable<asl::option<NonMoveAssignable>>);
+
+static_assert(asl::move_assignable<asl::option<int>>);
+static_assert(asl::move_assignable<asl::option<CopyAssignable>>);
+static_assert(!asl::move_assignable<asl::option<NonMoveAssignable>>);
+
 int main()
 {
-    asl::option<HasDestructor> a;
-    asl::option<TriviallyDestructible> b;
+    asl::option<int> a;
+    asl::option<int> b;
+
+    a = ASL_MOVE(b);
+    
     return 0;
 }
-- 
cgit