tests/ui/impl-trait/in-trait/shorthand-projection-in-rpitit-bound.rs


1
2
3
4
5
6
7
8
9
10
11
12
13

//@ check-pass

// Ensure that we can resolve a shorthand projection in an item bound in an RPITIT.

pub trait Bar {
    type Foo;
}

pub trait Baz {
    fn boom<X: Bar>() -> impl Bar<Foo = X::Foo>;
}

fn main() {}