1 2 3 4 5 6 7 8
// check-pass pub trait Foo { type Assoc<'c>; fn function() -> for<'x> fn(Self::Assoc<'x>); } fn main() {}