1 pub trait Foo {
2     type Type;
3 }
4 
5 pub struct Bar<T>(<Self as Foo>::Type) where Self: ;
6 //~^ ERROR the trait bound `Bar<T>: Foo` is not satisfied
7 
main()8 fn main() {}
9