trait Trait {
type Associated;
}



struct Base;

impl Trait for Base {
type Associated = u32;
}

#[derive(Copy, Clone)]
struct Foo<E: Trait> {
    s: E::Associated,
}


// just checks that T implement copy
fn assert_copy<T:Copy>(t:T) {}


fn main () {
assert_copy(Foo::<Base>{s:12})

}