From e4fa906c44b5f746107d1bbfc648a2edeb29b627 Mon Sep 17 00:00:00 2001
From: Yuki Okushi <huyuumi.dev@gmail.com>
Date: Fri, 9 Oct 2020 18:32:53 +0900
Subject: [PATCH] Add a regression test for issue-70292

---
 .../ui/associated-type-bounds/issue-70292.rs  | 21 +++++++++++++++++++
 1 file changed, 21 insertions(+)
 create mode 100644 src/test/ui/associated-type-bounds/issue-70292.rs

diff --git a/src/test/ui/associated-type-bounds/issue-70292.rs b/src/test/ui/associated-type-bounds/issue-70292.rs
new file mode 100644
index 00000000000..945d7688ce6
--- /dev/null
+++ b/src/test/ui/associated-type-bounds/issue-70292.rs
@@ -0,0 +1,21 @@
+// check-pass
+
+#![feature(associated_type_bounds)]
+
+fn foo<F>(_: F)
+where
+    F: for<'a> Trait<Output: 'a>,
+{
+}
+
+trait Trait {
+    type Output;
+}
+
+impl<T> Trait for T {
+    type Output = ();
+}
+
+fn main() {
+    foo(());
+}