From 41eee2052afbcda9edb7ddcfdb924f82aa69a862 Mon Sep 17 00:00:00 2001
From: Taiki Endo <te316e89@gmail.com>
Date: Sun, 8 Sep 2019 00:43:15 +0900
Subject: [PATCH] Add tests

---
 tests/ui/cfg/proper_unpin.rs              | 31 +++++++++++++++++++++++
 tests/ui/cfg/proper_unpin.stderr          | 17 +++++++++++++
 tests/ui/unsafe_unpin/proper_unpin.rs     | 21 +++++++++++++++
 tests/ui/unsafe_unpin/proper_unpin.stderr | 18 +++++++++++++
 4 files changed, 87 insertions(+)
 create mode 100644 tests/ui/cfg/proper_unpin.rs
 create mode 100644 tests/ui/cfg/proper_unpin.stderr
 create mode 100644 tests/ui/unsafe_unpin/proper_unpin.rs
 create mode 100644 tests/ui/unsafe_unpin/proper_unpin.stderr

diff --git a/tests/ui/cfg/proper_unpin.rs b/tests/ui/cfg/proper_unpin.rs
new file mode 100644
index 00000000..57b15db4
--- /dev/null
+++ b/tests/ui/cfg/proper_unpin.rs
@@ -0,0 +1,31 @@
+// compile-fail
+
+use pin_project::pin_project;
+use std::{marker::PhantomPinned, pin::Pin};
+
+#[pin_project]
+struct Foo<T> {
+    #[cfg(any())]
+    #[pin]
+    inner: T,
+    #[cfg(not(any()))]
+    inner: T,
+}
+
+#[pin_project]
+struct Bar<T> {
+    #[cfg(any())]
+    inner: T,
+    #[cfg(not(any()))]
+    #[pin]
+    inner: T,
+}
+
+fn is_unpin<T: Unpin>() {}
+
+fn baz<T, U>() {
+    is_unpin::<Foo<PhantomPinned>>(); // Ok
+    is_unpin::<Bar<PhantomPinned>>(); //~ ERROR E0277
+}
+
+fn main() {}
diff --git a/tests/ui/cfg/proper_unpin.stderr b/tests/ui/cfg/proper_unpin.stderr
new file mode 100644
index 00000000..4f1acef0
--- /dev/null
+++ b/tests/ui/cfg/proper_unpin.stderr
@@ -0,0 +1,17 @@
+error[E0277]: the trait bound `std::marker::PhantomPinned: std::marker::Unpin` is not satisfied in `UnpinStructBar<std::marker::PhantomPinned>`
+  --> $DIR/proper_unpin.rs:28:5
+   |
+24 | fn is_unpin<T: Unpin>() {}
+   | ----------------------- required by `is_unpin`
+...
+28 |     is_unpin::<Bar<PhantomPinned>>(); //~ ERROR E0277
+   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ within `UnpinStructBar<std::marker::PhantomPinned>`, the trait `std::marker::Unpin` is not implemented for `std::marker::PhantomPinned`
+   |
+   = help: the following implementations were found:
+             <std::marker::PhantomPinned as std::marker::Unpin>
+   = note: required because it appears within the type `UnpinStructBar<std::marker::PhantomPinned>`
+   = note: required because of the requirements on the impl of `std::marker::Unpin` for `Bar<std::marker::PhantomPinned>`
+
+error: aborting due to previous error
+
+For more information about this error, try `rustc --explain E0277`.
diff --git a/tests/ui/unsafe_unpin/proper_unpin.rs b/tests/ui/unsafe_unpin/proper_unpin.rs
new file mode 100644
index 00000000..41d9d664
--- /dev/null
+++ b/tests/ui/unsafe_unpin/proper_unpin.rs
@@ -0,0 +1,21 @@
+// compile-fail
+
+use pin_project::{pin_project, UnsafeUnpin};
+use std::{marker::PhantomPinned, pin::Pin};
+
+#[pin_project(UnsafeUnpin)]
+struct Foo<T, U> {
+    #[pin]
+    inner: T,
+    other: U,
+}
+
+unsafe impl<T: Unpin, U> UnsafeUnpin for Foo<T, U> {}
+
+fn is_unpin<T: Unpin>() {}
+
+fn bar<T, U>() {
+    is_unpin::<Foo<PhantomPinned, U>>(); //~ ERROR E0277
+}
+
+fn main() {}
diff --git a/tests/ui/unsafe_unpin/proper_unpin.stderr b/tests/ui/unsafe_unpin/proper_unpin.stderr
new file mode 100644
index 00000000..c93ee766
--- /dev/null
+++ b/tests/ui/unsafe_unpin/proper_unpin.stderr
@@ -0,0 +1,18 @@
+error[E0277]: the trait bound `std::marker::PhantomPinned: std::marker::Unpin` is not satisfied
+  --> $DIR/proper_unpin.rs:18:5
+   |
+15 | fn is_unpin<T: Unpin>() {}
+   | ----------------------- required by `is_unpin`
+...
+18 |     is_unpin::<Foo<PhantomPinned, U>>(); //~ ERROR E0277
+   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `std::marker::Unpin` is not implemented for `std::marker::PhantomPinned`
+   |
+   = help: the following implementations were found:
+             <std::marker::PhantomPinned as std::marker::Unpin>
+   = note: required because of the requirements on the impl of `pin_project::UnsafeUnpin` for `Foo<std::marker::PhantomPinned, U>`
+   = note: required because of the requirements on the impl of `pin_project::UnsafeUnpin` for `pin_project::__private::Wrapper<Foo<std::marker::PhantomPinned, U>>`
+   = note: required because of the requirements on the impl of `std::marker::Unpin` for `Foo<std::marker::PhantomPinned, U>`
+
+error: aborting due to previous error
+
+For more information about this error, try `rustc --explain E0277`.