Add "str is not Copy/Clone" tests

Author: AzureMarker

tests/test/string.rs

@@ -24,9 +24,31 @@ fn str_is_well_formed() {
 fn str_is_not_sized() {
     test! {
         program {
-            #[lang(sized)] trait Sized { }
+            #[lang(sized)] trait Sized {}
         }
 
         goal { not { str: Sized } } yields { "Unique" }
     }
 }
+
+#[test]
+fn str_is_not_copy() {
+    test! {
+        program {
+            #[lang(copy)] trait Copy {}
+        }
+
+        goal { not { str: Copy } } yields { "Unique" }
+    }
+}
+
+#[test]
+fn str_is_not_clone() {
+    test! {
+        program {
+            #[lang(clone)] trait Clone {}
+        }
+
+        goal { not { str: Clone } } yields { "Unique" }
+    }
+}