src/test/ui/traits/impl_trait_as_trait_return_position.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

// check-pass

trait A {
    type Foo;
}

impl<T> A for T {
    type Foo = ();
}

fn foo() -> impl std::borrow::Borrow<<u8 as A>::Foo> {
    ()
}

fn main() {
    foo();
}