trait Clone2 {}
trait Copy2: Clone2 {}
impl<T: Copy2> Clone2 for T {}


impl Clone2 for i32 {}
impl Copy2 for u32 {}

fn is_copy<T: Copy2>(x: T) {}
fn is_clone<T: Clone2>(x: T) {}

fn main() {
    is_clone(1u32);
}