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>);