Add tests for slices being unsized and well-formed

Author: nathanwhit

tests/test/mod.rs

@@ -316,6 +316,7 @@ mod negation;
 mod projection;
 mod refs;
 mod scalars;
+mod slices;
 mod tuples;
 mod unify;
 mod wf_goals;

tests/test/slices.rs

@@ -0,0 +1,31 @@
+use super::*;
+
+#[test]
+fn slices_are_not_sized() {
+    test! {
+        program {
+            #[lang(sized)]
+            trait Sized { }
+        }
+
+        goal {
+            forall<T> { not { [T]: Sized } }
+        } yields {
+            "Unique; substitution [], lifetime constraints []"
+        }
+    }
+}
+
+#[test]
+fn slices_are_well_formed() {
+    test! {
+        program {
+        }
+
+        goal {
+            forall<T> { WellFormed([T]) }
+        } yields {
+            "Unique; substitution [], lifetime constraints []"
+        }
+    }
+}