src/test/ui/generic-associated-types/issue-88459.rs


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

// check-pass

trait Trait {
    type Assoc<'a>;
}

fn f<T: Trait>(_: T, _: impl Fn(T::Assoc<'_>)) {}

struct Type;

impl Trait for Type {
    type Assoc<'a> = ();
}

fn main() {
    f(Type, |_|());
}