about summary refs log tree commit diff
path: root/tests/ui/generator/non-static-is-unpin.rs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/ui/generator/non-static-is-unpin.rs')
-rw-r--r--tests/ui/generator/non-static-is-unpin.rs18
1 files changed, 18 insertions, 0 deletions
diff --git a/tests/ui/generator/non-static-is-unpin.rs b/tests/ui/generator/non-static-is-unpin.rs
new file mode 100644
index 00000000000..96d0a8e2833
--- /dev/null
+++ b/tests/ui/generator/non-static-is-unpin.rs
@@ -0,0 +1,18 @@
+// run-pass
+
+#![feature(generators, generator_trait)]
+
+use std::marker::{PhantomPinned, Unpin};
+
+fn assert_unpin<G: Unpin>(_: G) {
+}
+
+fn main() {
+    // Even though this generator holds a `PhantomPinned` in its environment, it
+    // remains `Unpin`.
+    assert_unpin(|| {
+        let pinned = PhantomPinned;
+        yield;
+        drop(pinned);
+    });
+}