trait A { } struct B<'a, T:'a>(&'a (dyn A + 'a)); trait X { } impl<'a, T> X for B<'a, T> {} fn i<'a, T, U>(v: Box+'a>) -> Box { Box::new(B(&*v)) as Box //~ ERROR E0759 } fn main() {}