trait T1 {
    fn func1<P: Copy>(&self) {}
}

struct O();

impl T1 for O{}


fn main() {
    let t = O();
    t.func1()
}