// check-pass

#![allow(unused)]

trait Foo {
    type Bar;
    type Baz: Bar<Self::Bar>;
}

trait Bar<T> {}

fn x<T: Foo<Bar = U>, U>(t: &T) {}

fn main() {}