1 // run-pass
2 // pretty-expanded FIXME #23616
3 
4 trait Foo<T> {
5     type Bar;
get_bar() -> <Self as Foo<T>>::Bar6     fn get_bar() -> <Self as Foo<T>>::Bar;
7 }
8 
main()9 fn main() { }
10