1 // check-pass
2 
3 #![feature(generic_associated_types)]
4 
5 trait Trait {
6     type Assoc<'a>;
7 
with_assoc(f: impl FnOnce(Self::Assoc<'_>))8     fn with_assoc(f: impl FnOnce(Self::Assoc<'_>));
9 }
10 
11 impl Trait for () {
12     type Assoc<'a> = i32;
13 
with_assoc(f: impl FnOnce(Self::Assoc<'_>))14     fn with_assoc(f: impl FnOnce(Self::Assoc<'_>)) {
15         f(5i32)
16     }
17 }
18 
main()19 fn main() {}
20