//@ check-pass
//@ pretty-expanded FIXME #23616
trait Foo<T> {
type Bar;
fn get_bar() -> <Self as Foo<T>>::Bar;
}
fn main() { }