1 files changed, 23 insertions, 0 deletions
diff --git a/tests/ui/type-alias-impl-trait/issue-89686.rs b/tests/ui/type-alias-impl-trait/issue-89686.rs
new file mode 100644
index 000000000..058417bdb
--- /dev/null
+++ b/tests/ui/type-alias-impl-trait/issue-89686.rs
@@ -0,0 +1,23 @@
+// edition:2018
+
+#![feature(type_alias_impl_trait)]
+
+use std::future::Future;
+
+type G<'a, T> = impl Future<Output = ()> + 'a;
+
+trait Trait {
+    type F: Future<Output = ()>;
+
+    fn f(&self) -> Self::F;
+
+    fn g<'a>(&'a self) -> G<'a, Self>
+    where
+        Self: Sized,
+    {
+        async move { self.f().await }
+        //~^ ERROR: the trait bound `T: Trait` is not satisfied
+    }
+}
+
+fn main() {}