diff options
Diffstat (limited to 'asl/option_tests.cpp')
| -rw-r--r-- | asl/option_tests.cpp | 26 |
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;
}
|