1 files changed, 22 insertions, 0 deletions

diff --git a/src/test/ui/issues/issue-18188.rs b/src/test/ui/issues/issue-18188.rs
new file mode 100644
index 000000000..ce166724a
--- /dev/null
+++ b/src/test/ui/issues/issue-18188.rs
@@ -0,0 +1,22 @@
+// check-pass
+// pretty-expanded FIXME #23616
+
+pub trait Promisable: Send + Sync {}
+impl<T: Send + Sync> Promisable for T {}
+
+pub fn propagate<'a, T, E, F, G>(mut action: F)
+    -> Box<dyn FnMut(Result<T, E>) -> Result<T, E> + 'a>
+    where
+        T: Promisable + Clone + 'a,
+        E: Promisable + Clone + 'a,
+        F: FnMut(&T) -> Result<T, E> + Send + 'a,
+        G: FnMut(Result<T, E>) -> Result<T, E> + 'a {
+    Box::new(move |result: Result<T, E>| {
+        match result {
+            Ok(ref t) => action(t),
+            Err(ref e) => Err(e.clone()),
+        }
+    })
+}
+
+fn main() {}