blob: c2550c930d3b134a8b45e04dc3f5a2894f3df5ab [file] [log] [blame]
//@ check-pass
trait Foo<T> {
type Bar;
fn get_bar() -> <Self as Foo<T>>::Bar;
}
fn main() { }