// issue: rust-lang/rust#112347
// ICE future has no bound vars
//@ edition:2021
//@ check-pass

#![feature(type_alias_impl_trait)]

use std::future::Future;

mod foo {
    use std::future::Future;
    pub type Fut<'a> = impl Future<Output = ()> + 'a;

    fn foo<'a>(_: &()) -> Fut<'_> {
        async {}
    }
}
use foo::*;

trait Test {
    fn hello();
}

impl Test for ()
where
    for<'a> Fut<'a>: Future<Output = ()>,
{
    fn hello() {}
}

fn main() {
    <()>::hello();
}