8 fn _ice(param: Box<dyn for <'a> Trait1<<() as Trait2<'a>>::Ty>>) {
9 //~^ the trait bound `for<'a> (): Trait2<'a>` is not satisfied
10 let _e: (usize, usize) = unsafe{mem::transmute(param)};
16 impl<'a> Lifetime<'a> for () {
19 fn foo<'a>(x: &'a ()) -> <() as Lifetime<'a>>::Out {
23 fn takes_lifetime(_f: for<'a> fn(&'a ()) -> <() as Lifetime<'a>>::Out) {