aboutsummaryrefslogtreecommitdiff
path: root/tests/ui/not_unpin/assert-not-unpin.rs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/ui/not_unpin/assert-not-unpin.rs')
-rw-r--r--tests/ui/not_unpin/assert-not-unpin.rs40
1 files changed, 0 insertions, 40 deletions
diff --git a/tests/ui/not_unpin/assert-not-unpin.rs b/tests/ui/not_unpin/assert-not-unpin.rs
deleted file mode 100644
index b8f8238..0000000
--- a/tests/ui/not_unpin/assert-not-unpin.rs
+++ /dev/null
@@ -1,40 +0,0 @@
-use pin_project::pin_project;
-use std::marker::PhantomPinned;
-
-struct Inner<T> {
- val: T,
-}
-
-#[pin_project(!Unpin)]
-struct Foo<T, U> {
- #[pin]
- inner: Inner<T>,
- other: U,
-}
-
-#[pin_project(!Unpin)]
-struct TrivialBounds {
- #[pin]
- field1: PhantomPinned,
-}
-
-#[pin_project(!Unpin)]
-struct Bar<'a, T, U> {
- #[pin]
- inner: &'a mut Inner<T>,
- other: U,
-}
-
-fn is_unpin<T: Unpin>() {}
-
-fn main() {
- is_unpin::<Foo<(), ()>>(); //~ ERROR E0277
- is_unpin::<Foo<PhantomPinned, ()>>(); //~ ERROR E0277
- is_unpin::<Foo<(), PhantomPinned>>(); //~ ERROR E0277
- is_unpin::<Foo<PhantomPinned, PhantomPinned>>(); //~ ERROR E0277
-
- is_unpin::<TrivialBounds>(); //~ ERROR E0277
-
- is_unpin::<Bar<'_, (), ()>>(); //~ ERROR E0277
- is_unpin::<Bar<'_, PhantomPinned, PhantomPinned>>(); //~ ERROR E0277
-}