#![feature(unboxed_closures)]

trait Tt {}

struct S<A: Copy> {
    fuck: A
}

fn add<'a, A: Copy + 'a>(fuck: A) -> Box<dyn Tt + 'a> {
    Box::new(S::<A> { fuck })
}

impl<A: Copy> Tt for S<A> {}