From 27338f2fe01c4632aa32ba29f8f5c801afe26471 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Matthias=20Kr=C3=BCger?= <matthias.krueger@famsik.de>
Date: Sat, 27 Apr 2024 15:04:16 +0200
Subject: [PATCH] add test for ice future has no bound vars.

Fixes https://github.com/rust-lang/rust/issues/112347
---
 .../future-no-bound-vars-ice-112347.rs        | 29 +++++++++++++++++++
 1 file changed, 29 insertions(+)
 create mode 100644 tests/ui/impl-trait/future-no-bound-vars-ice-112347.rs

diff --git a/tests/ui/impl-trait/future-no-bound-vars-ice-112347.rs b/tests/ui/impl-trait/future-no-bound-vars-ice-112347.rs
new file mode 100644
index 00000000000..dc4dc9e220d
--- /dev/null
+++ b/tests/ui/impl-trait/future-no-bound-vars-ice-112347.rs
@@ -0,0 +1,29 @@
+// issue: rust-lang/rust#112347
+// ICE future has no bound vars
+//@ edition:2021
+//@ check-pass
+
+#![feature(type_alias_impl_trait)]
+
+use std::future::Future;
+
+type Fut<'a> = impl Future<Output = ()> + 'a;
+
+fn foo<'a>(_: &()) -> Fut<'_> {
+    async {}
+}
+
+trait Test {
+    fn hello();
+}
+
+impl Test for ()
+where
+    for<'a> Fut<'a>: Future<Output = ()>,
+{
+    fn hello() {}
+}
+
+fn main() {
+    <()>::hello();
+}