From fc8be08a8e786514819ffff7c4239879afb8ea3c Mon Sep 17 00:00:00 2001
From: Yuki Okushi <huyuumi.dev@gmail.com>
Date: Mon, 9 Mar 2020 09:11:58 +0900
Subject: [PATCH] Add test for issue-57200

---
 src/test/ui/impl-trait/issue-57200.rs     | 14 ++++++++++++++
 src/test/ui/impl-trait/issue-57200.stderr |  8 ++++++++
 2 files changed, 22 insertions(+)
 create mode 100644 src/test/ui/impl-trait/issue-57200.rs
 create mode 100644 src/test/ui/impl-trait/issue-57200.stderr

diff --git a/src/test/ui/impl-trait/issue-57200.rs b/src/test/ui/impl-trait/issue-57200.rs
new file mode 100644
index 000000000000..9a7290b3b752
--- /dev/null
+++ b/src/test/ui/impl-trait/issue-57200.rs
@@ -0,0 +1,14 @@
+// Regression test for #57200
+
+#![feature(impl_trait_in_bindings)]
+#![allow(incomplete_features)]
+
+fn bug<'a, 'b, T>()
+where
+    'a: 'b,
+{
+    let f: impl Fn(&'a T) -> &'b T = |x| x;
+    //~^ ERROR: lifetimes in impl Trait types in bindings are not currently supported
+}
+
+fn main() {}
diff --git a/src/test/ui/impl-trait/issue-57200.stderr b/src/test/ui/impl-trait/issue-57200.stderr
new file mode 100644
index 000000000000..42fd0045315c
--- /dev/null
+++ b/src/test/ui/impl-trait/issue-57200.stderr
@@ -0,0 +1,8 @@
+error: lifetimes in impl Trait types in bindings are not currently supported
+  --> $DIR/issue-57200.rs:10:12
+   |
+LL |     let f: impl Fn(&'a T) -> &'b T = |x| x;
+   |            ^^^^^^^^^^^^^^^^^^^^^^^
+
+error: aborting due to previous error
+