// Checks that the impl trait can have generics without the inherent impl having generics.

use impl_trait::impl_trait;

struct Foo;
trait Bar<U> {
}

impl_trait! {
    impl Foo {
        impl trait<U> Bar<U> {
        }
    }
}

fn static_assert_1<T: Bar<U>, U>(_t: T, _u: U) {}

fn main() {
    static_assert_1(Foo, ());
}