pub trait Foo {
    type Type;
}

pub struct Bar<T>(<Self as Foo>::Type)
where
    Self: ;

fn main() {}