add tests

Author: basil-cow

tests/test/generators.rs

@@ -32,7 +32,6 @@ fn generator_test() {
                 witnesses exists<'a, 'b> [SendAnyLifetime<'a, 'b, T>; u8]
             }
 
-
             generator not_send_resume_yield<>[resume = NotSend, yield = NotSend] {
                 upvars []
                 witnesses []
@@ -85,5 +84,13 @@ fn generator_test() {
         } yields {
             "Unique; substitution [], lifetime constraints []"
         }
+
+        goal {
+            forall<T> {
+                send_any_lifetime<T>: Send
+            }
+        } yields {
+            "No possible solution"
+        }
     }
 }

tests/test/unpin.rs

@@ -84,3 +84,47 @@ fn unpin_overwrite() {
         }
     }
 }
+
+#[test]
+fn generator_unpin() {
+    test! {
+        program {
+            #[auto] #[lang(unpin)] trait Unpin { }
+            struct A { }
+            impl !Unpin for A {}
+
+            generator static static_gen<>[resume = (), yield = ()] {
+                upvars []
+                witnesses []
+            }
+
+            generator movable_gen<>[resume = (), yield = ()] {
+                upvars []
+                witnesses []
+            }
+
+            generator movable_with_pin<>[resume = (), yield = ()] {
+                upvars [A]
+                witnesses []
+            }
+        }
+
+        goal {
+            static_gen: Unpin
+        } yields {
+            "No possible solution"
+        }
+
+        goal {
+            movable_gen: Unpin
+        } yields {
+            "Unique"
+        }
+
+        goal {
+            movable_with_pin: Unpin
+        } yields {
+            "Unique"
+        }
+    }
+}