More work on option

1 files changed, 24 insertions, 2 deletions

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;

 }