tests/ui/impl-trait/in-trait/issue-102301.rs


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

//@ check-pass

trait Foo<T> {
    fn foo<F2: Foo<T>>(self) -> impl Foo<T>;
}

struct Bar;

impl Foo<u8> for Bar {
    fn foo<F2: Foo<u8>>(self) -> impl Foo<u8> {
        self
    }
}

fn main() {}