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 with_assoc(f: impl FnOnce(Self::Assoc<'_>)); } impl Trait for () { type Assoc<'a> = i32; fn with_assoc(f: impl FnOnce(Self::Assoc<'_>)) { f(5i32) } } fn main() {}