1 pub type Ty0 = dyn for<'any> FnOnce(&'any str) -> bool;
3 pub type Ty1<'obj> = dyn std::fmt::Display + 'obj;
5 pub type Ty2 = dyn for<'a, 'r> Container<'r, Item<'a, 'static> = ()>;
7 pub type Ty3<'s> = &'s dyn ToString;
9 pub fn func0(_: &(dyn Fn() + '_)) {}
11 pub fn func1<'func>(_: &(dyn Fn() + 'func)) {}
13 pub trait Container<'r> {
17 pub trait Shape<'a> {}