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