Add tests ensuring refs are WF/Sized/Copy/Clone

Author: nathanwhit

tests/test/mod.rs

@@ -314,6 +314,7 @@ mod impls;
 mod misc;
 mod negation;
 mod projection;
+mod refs;
 mod scalars;
 mod tuples;
 mod unify;

tests/test/refs.rs

@@ -0,0 +1,62 @@
+use super::*;
+
+#[test]
+fn refs_are_well_formed() {
+    test! {
+        program { }
+
+        goal {
+            forall<'a, T> { WellFormed(&'a T) }
+        } yields {
+            "Unique; substitution [], lifetime constraints []"
+        }
+    }
+}
+
+#[test]
+fn refs_are_sized() {
+    test! {
+        program {
+            #[lang(sized)]
+            trait Sized { }
+        }
+
+        goal {
+            forall<'a, T> { &'a T: Sized }
+        } yields {
+            "Unique; substitution [], lifetime constraints []"
+        }
+    }
+}
+
+#[test]
+fn refs_are_copy() {
+    test! {
+        program {
+            #[lang(copy)]
+            trait Copy { }
+        }
+
+        goal {
+            forall<'a, T> { &'a T: Copy }
+        } yields {
+            "Unique; substitution [], lifetime constraints []"
+        }
+    }
+}
+
+#[test]
+fn refs_are_clone() {
+    test! {
+        program {
+            #[lang(clone)]
+            trait Clone { }
+        }
+
+        goal {
+            forall<'a, T> { &'a T: Clone }
+        } yields {
+            "Unique; substitution [], lifetime constraints []"
+        }
+    }
+}