diff options
| author | Steven Le Rouzic <steven.lerouzic@gmail.com> | 2025-03-20 19:28:56 +0100 |
|---|---|---|
| committer | Steven Le Rouzic <steven.lerouzic@gmail.com> | 2025-03-20 19:29:08 +0100 |
| commit | a665c590d5089bb4bcb72193542b60ef571409a3 (patch) | |
| tree | 9e6a47c4332d25fcb64280bc0742d27b6a0f3291 /asl/base/meta_tests.cpp | |
| parent | 7023c0cc9a7c6d2085f018d5524df6a726d6e487 (diff) | |
Add decay
Diffstat (limited to 'asl/base/meta_tests.cpp')
| -rw-r--r-- | asl/base/meta_tests.cpp | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/asl/base/meta_tests.cpp b/asl/base/meta_tests.cpp index 490b453..bcd9775 100644 --- a/asl/base/meta_tests.cpp +++ b/asl/base/meta_tests.cpp @@ -189,6 +189,10 @@ static_assert(!asl::is_array<void>); static_assert(!asl::is_array<void(int)>); static_assert(!asl::is_array<int(float) const && noexcept>); +static_assert(asl::same_as<int, asl::remove_extent_t<int>>); +static_assert(asl::same_as<int, asl::remove_extent_t<int[]>>); +static_assert(asl::same_as<int, asl::remove_extent_t<int[67]>>); + static_assert(asl::same_as<int, asl::un_ref_t<int>>); static_assert(asl::same_as<int, asl::un_ref_t<int&>>); static_assert(asl::same_as<int, asl::un_ref_t<int&&>>); @@ -318,3 +322,13 @@ static_assert(asl::same_as<asl::copy_cref_t<const int&, const float>, const floa static_assert(asl::same_as<asl::copy_cref_t<const int&, float&&>, const float&>); static_assert(asl::same_as<asl::copy_cref_t<const int&, const float&>, const float&>); +static_assert(asl::same_as<asl::decay_t<int>, int>); +static_assert(!asl::same_as<asl::decay_t<int>, float>); +static_assert(asl::same_as<asl::decay_t<int&>, int>); +static_assert(asl::same_as<asl::decay_t<int&&>, int>); +static_assert(asl::same_as<asl::decay_t<const int&>, int>); +static_assert(asl::same_as<asl::decay_t<int[2]>, int*>); +static_assert(!asl::same_as<asl::decay_t<int[4][2]>, int*>); +static_assert(!asl::same_as<asl::decay_t<int[4][2]>, int**>); +static_assert(asl::same_as<asl::decay_t<int[4][2]>, int(*)[2]>); +static_assert(asl::same_as<asl::decay_t<int(int)>, int(*)(int)>); |