[lmi-commits] [lmi] odd/move_semantics 4c41e579 5/5: Expunge a semiotic nightmare

[Greg Chicares]

branch: odd/move_semantics
commit 4c41e5790e8d5928550fc96c3cf70e91967f8600
Author: Gregory W. Chicares <gchicares@sbcglobal.net>
Commit: Gregory W. Chicares <gchicares@sbcglobal.net>

    Expunge a semiotic nightmare
---
 sandbox_test.cpp | 22 ----------------------
 1 file changed, 22 deletions(-)

diff --git a/sandbox_test.cpp b/sandbox_test.cpp
index 77e3d9b1..66b0d7f4 100644
--- a/sandbox_test.cpp
+++ b/sandbox_test.cpp
@@ -62,19 +62,6 @@ template<typename T> concept equiplausibly_constructible =
 template<typename T> concept equiplausibly_assignable =
     !std::is_assignable_v<T,ambiguator<T>>;
 
-// This thing is mercifully unnecessary: unnecessary because nothing
-// in this file depends upon it, and mercifully so because there are
-// at least three different notions in the standard:
-//   std::is_copy_constructible
-//   std::copy_constructible
-//   std::copyable
-// and using the name of one as an alias for another is nightmarish.
-
-template<typename T> constexpr bool copyable()
-{
-    return std::is_copy_constructible_v<T>;
-}
-
 template<typename T> concept well_move_assignable =
        std::is_move_assignable_v<T>
     && equiplausibly_assignable<T>
@@ -219,7 +206,6 @@ void test_classes()
     static_assert( std::is_copy_constructible_v<A0000>);
     static_assert( std::is_move_constructible_v<A0000>);
     static_assert(!std::is_constructible_v<A0000,ambiguator<A0000>>);
-    static_assert( copyable<A0000>());
     static_assert( well_move_constructible<A0000>);
     static_assert( well_move_assignable<A0000>);
 
@@ -271,14 +257,6 @@ void test_classes()
     static_assert( equiplausibly_assignable<A0505>);
     static_assert( equiplausibly_assignable<A3030>);
 
-    static_assert( copyable<A0000>());
-    static_assert( copyable<A0101>());
-    static_assert( copyable<A0202>());
-    static_assert( copyable<A0303>());
-    static_assert( copyable<A0404>());
-    static_assert( copyable<A0505>());
-    static_assert(!copyable<A3030>());
-
     static_assert( well_move_constructible<A0000>);
     static_assert(!well_move_constructible<A0101>);
     static_assert(!well_move_constructible<A0202>);