add test for ice future has no bound vars.
Fixes https://github.com/rust-lang/rust/issues/112347
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 0000000..dc4dc9e
--- /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();
+}
