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