Add static assertions on nature of Slice special member functions

Author: dtolnay

src/cxx.cc

@@ -169,6 +169,17 @@ static_assert(std::is_trivially_copy_assignable<Str>::value,
               "trivial operator=(const Str &)");
 static_assert(std::is_trivially_destructible<Str>::value, "trivial ~Str()");
 
+static_assert(std::is_trivially_copy_constructible<Slice<const uint8_t>>::value,
+              "trivial Slice(const Slice &)");
+static_assert(std::is_trivially_move_constructible<Slice<const uint8_t>>::value,
+              "trivial Slice(Slice &&)");
+static_assert(std::is_trivially_copy_assignable<Slice<const uint8_t>>::value,
+              "trivial Slice::operator=(const Slice &) for const slices");
+static_assert(std::is_trivially_move_assignable<Slice<const uint8_t>>::value,
+              "trivial Slice::operator=(Slice &&)");
+static_assert(std::is_trivially_destructible<Slice<const uint8_t>>::value,
+              "trivial ~Slice()");
+
 extern "C" {
 const char *cxxbridge1$error(const char *ptr, size_t len) {
   char *copy = new char[len];