diff options
| author | Steven Le Rouzic <steven.lerouzic@gmail.com> | 2024-11-04 18:11:37 +0100 |
|---|---|---|
| committer | Steven Le Rouzic <steven.lerouzic@gmail.com> | 2024-12-20 15:35:58 +0100 |
| commit | cb5967d8f46fbba7c7e30f436032fef0ed671fe9 (patch) | |
| tree | 2039919b237f5ccc7b24f9eb81cd0f15b90b47ea /asl/tests/meta_tests.cpp | |
| parent | 5682cb422c39eea6b4d5d54c2f31260785dc256f (diff) | |
More work on span
Diffstat (limited to 'asl/tests/meta_tests.cpp')
| -rw-r--r-- | asl/tests/meta_tests.cpp | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/asl/tests/meta_tests.cpp b/asl/tests/meta_tests.cpp index 94edc50..5fc4ef4 100644 --- a/asl/tests/meta_tests.cpp +++ b/asl/tests/meta_tests.cpp @@ -181,6 +181,14 @@ static_assert(asl::convertible_from<C, D>); static_assert(!asl::convertible_from<C*, Derived*>);
static_assert(asl::convertible_from<E, Base>);
+static_assert(!asl::convertible_from<int16_t(&)[], int32_t(&)[]>);
+static_assert(asl::convertible_from<const int16_t(&)[], int16_t(&)[]>);
+static_assert(asl::convertible_from<const int16_t(&)[], const int16_t(&)[]>);
+static_assert(asl::convertible_from<int16_t(&)[], int16_t(&)[]>);
+static_assert(!asl::convertible_from<int32_t(&)[], int16_t(&)[]>);
+static_assert(!asl::convertible_from<int16_t(&)[], const int16_t(&)[]>);
+static_assert(!asl::convertible_from<C(&)[], D(&)[]>);
+
static_assert(asl::derived_from<Derived, Base>);
static_assert(!asl::derived_from<Base, Derived>);
static_assert(!asl::derived_from<D, C>);
|