Add tests ensuring slices are not Copy/Clone

rust-lang · May 9, 2020 · 4d440e9 · 4d440e9
1 parent ee4b03f
commit 4d440e9
Showing 1 changed file with 32 additions and 0 deletions.
diff --git a/tests/test/slices.rs b/tests/test/slices.rs
@@ -29,3 +29,35 @@ fn slices_are_well_formed() {
         }
     }
 }
+
+#[test]
+fn slices_are_not_copy() {
+    test! {
+        program {
+            #[lang(copy)]
+            trait Copy { }
+        }
+
+        goal {
+            forall<T> { not { [T]: Copy } }
+        } yields {
+            "Unique; substitution [], lifetime constraints []"
+        }
+    }
+}
+
+#[test]
+fn slices_are_not_clone() {
+    test! {
+        program {
+            #[lang(clone)]
+            trait Clone { }
+        }
+
+        goal {
+            forall<T> { not { [T]: Clone } }
+        } yields {
+            "Unique; substitution [], lifetime constraints []"
+        }
+    }
+}