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()19fn main() {} 20