From 37942c475368ea606783faeed7e97811f053fe1e Mon Sep 17 00:00:00 2001
From: Yuki Okushi <huyuumi.dev@gmail.com>
Date: Thu, 11 Jul 2019 09:58:09 +0900
Subject: [PATCH] Add test for #49919

---
 src/test/ui/issues/issue-49919.rs     | 7 +++++++
 src/test/ui/issues/issue-49919.stderr | 9 +++++++++
 2 files changed, 16 insertions(+)
 create mode 100644 src/test/ui/issues/issue-49919.rs
 create mode 100644 src/test/ui/issues/issue-49919.stderr

diff --git a/src/test/ui/issues/issue-49919.rs b/src/test/ui/issues/issue-49919.rs
new file mode 100644
index 0000000000000..780f338681dd3
--- /dev/null
+++ b/src/test/ui/issues/issue-49919.rs
@@ -0,0 +1,7 @@
+fn foo<'a, T: 'a>(t: T) -> Box<dyn Fn() -> &'a T + 'a> {
+    let foo: Box<dyn for <'c> Fn() -> &'c T> = Box::new(move || &t);
+    //~^ ERROR: binding for associated type
+    unimplemented!()
+}
+
+fn main() {}
diff --git a/src/test/ui/issues/issue-49919.stderr b/src/test/ui/issues/issue-49919.stderr
new file mode 100644
index 0000000000000..8098be5cc4584
--- /dev/null
+++ b/src/test/ui/issues/issue-49919.stderr
@@ -0,0 +1,9 @@
+error[E0582]: binding for associated type `Output` references lifetime `'c`, which does not appear in the trait input types
+  --> $DIR/issue-49919.rs:2:39
+   |
+LL |     let foo: Box<dyn for <'c> Fn() -> &'c T> = Box::new(move || &t);
+   |                                       ^^^^^
+
+error: aborting due to previous error
+
+For more information about this error, try `rustc --explain E0582`.