From 088abc5204d79979954433f92852e49e79b4ac9a Mon Sep 17 00:00:00 2001
From: Esteban Kuber <esteban@kuber.com.ar>
Date: Thu, 14 Oct 2021 18:32:20 +0000
Subject: [PATCH] Side-step ICE on `RePlaceholder` in `eval_verify_bound`

Address #76168.
---
 compiler/rustc_borrowck/src/region_infer/mod.rs |  4 ++++
 src/test/ui/lifetimes/issue-76168.rs            | 17 +++++++++++++++++
 src/test/ui/lifetimes/issue-76168.stderr        | 11 +++++++++++
 3 files changed, 32 insertions(+)
 create mode 100644 src/test/ui/lifetimes/issue-76168.rs
 create mode 100644 src/test/ui/lifetimes/issue-76168.stderr

diff --git a/compiler/rustc_borrowck/src/region_infer/mod.rs b/compiler/rustc_borrowck/src/region_infer/mod.rs
index 734a5b4972bcc..82c4eba482795 100644
--- a/compiler/rustc_borrowck/src/region_infer/mod.rs
+++ b/compiler/rustc_borrowck/src/region_infer/mod.rs
@@ -1167,6 +1167,10 @@ impl<'tcx> RegionInferenceContext<'tcx> {
                 self.scc_values.elements_contained_in(lower_bound_scc).next().is_none()
             }
 
+            // FIXME: this is likely to be incorrect, but it side-steps stable ICE #76168,
+            // without any changes to what we accept (or reject for that matter).
+            VerifyBound::OutlivedBy(ty::RePlaceholder(..)) => false,
+
             VerifyBound::OutlivedBy(r) => {
                 let r_vid = self.to_region_vid(r);
                 self.eval_outlives(r_vid, lower_bound)
diff --git a/src/test/ui/lifetimes/issue-76168.rs b/src/test/ui/lifetimes/issue-76168.rs
new file mode 100644
index 0000000000000..614835d5d9a5f
--- /dev/null
+++ b/src/test/ui/lifetimes/issue-76168.rs
@@ -0,0 +1,17 @@
+// edition:2018
+#![feature(unboxed_closures)]
+use std::future::Future;
+
+async fn wrapper<F>(f: F)
+where for<'a> F: FnOnce<(&'a mut i32,)>,
+    for<'a> <F as FnOnce<(&'a mut i32,)>>::Output: Future<Output=()> + 'a
+{ //~ ERROR `<F as FnOnce<(&'a mut i32,)>>::Output` does not live long enough
+    let mut i = 41;
+    f(&mut i).await;
+}
+
+async fn add_one(i: &mut i32) {
+    *i = *i + 1;
+}
+
+fn main() {}
diff --git a/src/test/ui/lifetimes/issue-76168.stderr b/src/test/ui/lifetimes/issue-76168.stderr
new file mode 100644
index 0000000000000..bb79c6ede036a
--- /dev/null
+++ b/src/test/ui/lifetimes/issue-76168.stderr
@@ -0,0 +1,11 @@
+error: `<F as FnOnce<(&'a mut i32,)>>::Output` does not live long enough
+  --> $DIR/issue-76168.rs:8:1
+   |
+LL | / {
+LL | |     let mut i = 41;
+LL | |     f(&mut i).await;
+LL | | }
+   | |_^
+
+error: aborting due to previous error
+