// run-pass
// pretty-expanded FIXME #23616

trait Foo<T> {
    type Bar;
    fn get_bar() -> <Self as Foo<T>>::Bar;
}

fn main() { }