diff options
Diffstat (limited to 'tests/ui/pin_project/proper_unpin.rs')
-rw-r--r-- | tests/ui/pin_project/proper_unpin.rs | 38 |
1 files changed, 38 insertions, 0 deletions
diff --git a/tests/ui/pin_project/proper_unpin.rs b/tests/ui/pin_project/proper_unpin.rs new file mode 100644 index 0000000..e61789b --- /dev/null +++ b/tests/ui/pin_project/proper_unpin.rs @@ -0,0 +1,38 @@ +use pin_project::pin_project; +use std::marker::PhantomPinned; + +struct Inner<T> { + val: T, +} + +#[pin_project] +struct Foo<T, U> { + #[pin] + inner: Inner<T>, + other: U, +} + +#[pin_project] +struct TrivialBounds { + #[pin] + field1: PhantomPinned, +} + +#[pin_project] +struct Bar<'a, T, U> { + #[pin] + inner: &'a mut Inner<T>, + other: U, +} + +fn is_unpin<T: Unpin>() {} + +fn main() { + is_unpin::<Foo<PhantomPinned, ()>>(); //~ ERROR E0277 + is_unpin::<Foo<(), PhantomPinned>>(); // Ok + is_unpin::<Foo<PhantomPinned, PhantomPinned>>(); //~ ERROR E0277 + + is_unpin::<TrivialBounds>(); //~ ERROR E0277 + + is_unpin::<Bar<'_, PhantomPinned, PhantomPinned>>(); // Ok +} |