@@ -28,5 +28,6 @@ members = [
 [dependencies]
 
 [dev-dependencies]
-rustversion = "1.0"
-trybuild = "1.0"
+rustversion = "1"
+static_assertions = "1"
+trybuild = "1"
@@ -0,0 +1,12 @@
+#![allow(dead_code, unused_macros)]
+
+macro_rules! assert_unpin {
+    ($ty:ty) => {
+        static_assertions::assert_impl_all!($ty: Unpin);
+    };
+}
+macro_rules! assert_not_unpin {
+    ($ty:ty) => {
+        static_assertions::assert_not_impl_all!($ty: Unpin);
+    };
+}
@@ -0,0 +1,49 @@
+#![warn(rust_2018_idioms, single_use_lifetimes)]
+#![allow(dead_code)]
+
+#[macro_use]
+mod auxiliary;
+
+pub mod default {
+    use pin_project_lite::pin_project;
+    use std::marker::PhantomPinned;
+
+    struct Inner<T> {
+        f: T,
+    }
+
+    assert_unpin!(Inner<()>);
+    assert_not_unpin!(Inner<PhantomPinned>);
+
+    pin_project! {
+        struct Foo<T, U> {
+            #[pin]
+            f1: Inner<T>,
+            f2: U,
+        }
+    }
+
+    assert_unpin!(Foo<(), ()>);
+    assert_unpin!(Foo<(), PhantomPinned>);
+    assert_not_unpin!(Foo<PhantomPinned, ()>);
+    assert_not_unpin!(Foo<PhantomPinned, PhantomPinned>);
+
+    pin_project! {
+        struct TrivialBounds {
+            #[pin]
+            f: PhantomPinned,
+        }
+    }
+
+    assert_not_unpin!(TrivialBounds);
+
+    pin_project! {
+        struct Bar<'a, T, U> {
+            #[pin]
+            f1: &'a mut Inner<T>,
+            f2: U,
+        }
+    }
+
+    assert_unpin!(Bar<'_, PhantomPinned, PhantomPinned>);
+}
@@ -1,6 +1,9 @@
 #![warn(rust_2018_idioms, single_use_lifetimes)]
 #![allow(dead_code)]
 
+#[macro_use]
+mod auxiliary;
+
 use core::{marker::PhantomPinned, pin::Pin};
 use pin_project_lite::pin_project;
 
@@ -260,6 +263,8 @@ fn trivial_bounds() {
             f: PhantomPinned,
         }
     }
+
+    assert_not_unpin!(NoGenerics);
 }
 
 #[test]
Original file line number	Diff line number	Diff line change
`@@ -1,6 +1,9 @@`
`1`	`1`	`#![warn(rust_2018_idioms, single_use_lifetimes)]`
`2`	`2`	`#![allow(dead_code)]`
`3`	`3`
	`4`	`+#[macro_use]`
	`5`	`+mod auxiliary;`
	`6`	`+`
`4`	`7`	`use core::{marker::PhantomPinned, pin::Pin};`
`5`	`8`	`use pin_project_lite::pin_project;`
`6`	`9`
`@@ -260,6 +263,8 @@ fn trivial_bounds() {`
`260`	`263`	`f: PhantomPinned,`
`261`	`264`	`}`
`262`	`265`	`}`
	`266`	`+`
	`267`	`+ assert_not_unpin!(NoGenerics);`
`263`	`268`	`}`
`264`	`269`
`265`	`270`	`#[test]`