tests/ui/associated-type-bounds/higher-ranked.rs


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

//@ check-pass

trait A<'a> {
    type Assoc: ?Sized;
}

impl<'a> A<'a> for () {
    type Assoc = &'a ();
}

fn hello() -> impl for<'a> A<'a, Assoc: Sized> {
    ()
}

fn main() {}