From 1a14315975224951bc993455783678154afade09 Mon Sep 17 00:00:00 2001
From: Jack Huey <jack.huey@umassmed.edu>
Date: Mon, 5 Apr 2021 00:10:09 -0400
Subject: Don't concatenate binders across types

---
 src/test/ui/lifetimes/issue-83737-binders-across-types.rs | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 src/test/ui/lifetimes/issue-83737-binders-across-types.rs

(limited to 'src')

diff --git a/src/test/ui/lifetimes/issue-83737-binders-across-types.rs b/src/test/ui/lifetimes/issue-83737-binders-across-types.rs
new file mode 100644
index 00000000000..e130561e466
--- /dev/null
+++ b/src/test/ui/lifetimes/issue-83737-binders-across-types.rs
@@ -0,0 +1,14 @@
+// build-pass
+// compile-flags: --edition 2018
+// compile-flags: --crate-type rlib
+
+use std::future::Future;
+
+async fn handle<F>(slf: &F)
+where
+    F: Fn(&()) -> Box<dyn Future<Output = ()> + Unpin>,
+{
+    (slf)(&()).await;
+}
+
+fn main() {}
-- 
cgit 1.4.1-3-g733a5