6 fn do_something(&self);
9 trait ForAnyLifetime: for<'f> Base<'f> {}
11 impl<T> ForAnyLifetime for T where T: for<'f> Base<'f> {}
13 trait CanBeDynamic: ForAnyLifetime + for<'f> Base<'f, Assoc = ()> {}
15 fn foo(a: &dyn CanBeDynamic) {
21 impl<'a> Base<'a> for S {
24 fn do_something(&self) {}
27 impl CanBeDynamic for S {}