More work on option

1 files changed, 12 insertions, 0 deletions

diff --git a/asl/tests/meta_tests.cpp b/asl/tests/meta_tests.cpp
index 5de4f8d..4397763 100644
--- a/asl/tests/meta_tests.cpp
+++ b/asl/tests/meta_tests.cpp
@@ -168,3 +168,15 @@ static_assert(!asl::trivially_copyable<HasDestructor>);
 static_assert(!asl::trivially_copyable<CopyAssignable>);

 static_assert(asl::trivially_copyable<DefaultConstructible>);

 static_assert(asl::trivially_copyable<TriviallyDefaultConstructible>);

+

+class Base {};

+class Derived : public Base {};

+class C {};

+class D { public: operator C() { return c; } C c; };

+class E { public: template<class T> E(T&&) {} };

+

+static_assert(asl::convertible<Derived*, Base*>);

+static_assert(!asl::convertible<Base*, Derived*>);

+static_assert(asl::convertible<D, C>);

+static_assert(!asl::convertible<Derived*, C*>);

+static_assert(asl::convertible<Base, E>);